4084 search results - page 691 / 817 » Constraints in spatial structures |
119
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
109
Voted
ICWS
2009
IEEE
16 years 21 days ago
2009
IEEE
Accurate estimation of quality of online services is both an important and difficult problem, since a service has many interdependent quality attributes influenced by several co...
127
click to vote
ICCD
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract— Microcode enables programmability of (micro) architectural structures to enhance functionality and to apply patches to an existing design. As more features get added to...
107
click to vote
ICCD
2004
IEEE
16 years 13 days ago
2004
IEEE
The increasing clock frequencies in high-end industrial circuits bring new routing challenges that can not be handled by traditional algorithms. An important design automation pro...
154
click to vote
TLDI
2010
ACM
16 years 12 days ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...