5863 search results - page 966 / 1173 » Calculating Functional Programs |
112
Voted
TAICPART
2006
IEEE
15 years 8 months ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
121
Voted
DAGM
2003
Springer
15 years 7 months ago
2003
Springer
Compared to their ancestors in the early 1970s, present day computer games are of incredible complexity and show magnificent graphical performance. However, in programming intelli...
111
Voted
ISCA
2010
IEEE
15 years 7 months ago
2010
IEEE
Aggressive technology scaling into the nanometer regime has led to a host of reliability challenges in the last several years. Unlike onchip caches, which can be efficiently prot...
141
Voted
POPL
1999
ACM
15 years 7 months ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
153
Voted
ICALP
1993
Springer
15 years 6 months ago
1993
Springer
The divide-and-conquer principle is a majoi paradigm of algorithms design. Corresponding cost functions satisfy recurrences that directly reflect the decomposition mechanism used i...