MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Nicholas Nethercote" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 10 documents found, showing 1 through 10.
ATOM RSS
  • Redux: A dynamic dataflow tracer  
  • by Nicholas Nethercote, Alan Mycroft — 2003 — Electronic Notes in Theoretical Computer Science
  • …Abstract Redux is a tool that generates dynamic dataflow graphs. It generates these graphs by tracing a program's execution and recording every value-producing operation that takes place, building up a complete computational history of every value produced. For that execution, by considering the par…
  • Cited by 13 (5 self) – Add To MetaCart
  • Convergent compilation applied to loop unrolling  
  • by Nicholas Nethercote, Doug Burger, Kathryn S. Mckinley — HiPEAC Journal
  • …Abstract. Well-engineered compilers use a carefully selected set of optimizations, heuristic optimization policies, and a phase ordering. Designing a single optimization heuristic that works well with other optimization phases is a challenging task. Although compiler designers evaluate heuristics an…
  • Cited by 3 (3 self) – Add To MetaCart
  • Self-evaluating compilation applied to loop unrolling  
  • by Nicholas Nethercote, Doug Burger, Kathryn S. Mckinley — 2006
  • …Abstract. Well-engineered compilers use a carefully selected set of optimizations, heuristic optimization policies, and a phase ordering to produce good machine code. Designing a compiler with one heuristic per optimization that works well with other optimization phases is a challenging task. Althou…
  • Cited by 2 (0 self) – Add To MetaCart
  • The Cache Behaviour of Large Lazy Functional  
  • by Programs On Stock, Nicholas Nethercote, Alan Mycroft — 2002 — In Proceedings of the ACM SIGPLAN Workshop on Memory System Performance (MSP 2002
  • …Lazy functional programs behave differently from imperative programs and these differences extend to cache behaviour. We use hardware counters and a simple yet accurate execution cost model to analyse some large Haskell programs on the x86 architecture. The programs do not interact well with modern …
  • Add To MetaCart
  • MiniZinc: Towards a standard CP modelling language  
  • by Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack — 2007 — In: Proc. of 13th International Conference on Principles and Practice of Constraint Programming
  • …There is no standard modelling language for constraint programming (CP) problems. Most solvers have their own modelling language. This makes it difficult for modellers to experiment with different solvers for a problem. In this paper we present MiniZinc, a simple but expressive CP modelling language…
  • Cited by 3 (1 self) – Add To MetaCart
  • The Design of the Zinc Modelling Language  
  • by Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Maria Garcia, De La Banda, Mark Wallace
  • …Abstract. Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematicallike notation. To do so it supports overloaded functions and predicates and automatic coercion and provides ar…
  • Add To MetaCart
  • Building Constraint Solvers with HAL  
  • by María García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur — 2001
  • …Experience using constraint programming to solve real-life problems has shown that nding an ecient solution to a problem often requires experimentation with dierent constraint solvers or even building a problem-specic solver. HAL is a new constraint logic programming language expressly designed …
  • Add To MetaCart
Help! Showing 1 through 10.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB