1638 search results - page 271 / 328 » A General Semantics for Evaluation Logic |
181
click to vote
ICALP
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
150
click to vote
MIDDLEWARE
2007
Springer
16 years 13 days ago
2007
Springer
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...
166
click to vote
MICRO
2006
IEEE
16 years 9 days ago
2006
IEEE
We present and evaluate the idea of adaptive processor cache management. Specifically, we describe a novel and general scheme by which we can combine any two cache management alg...
163
click to vote
ASPLOS
2004
ACM
15 years 11 months ago
2004
ACM
Recent studies have suggested that the soft-error rate in microprocessor logic will become a reliability concern by 2010. This paper proposes an efficient error detection techniqu...
177
click to vote
DOLAP
2004
ACM
15 years 11 months ago
2004
ACM
CRM is a strategy that integrates the concepts of Knowledge Management, Data Mining, and Data Warehousing in order to support the organization’s decision-making process to retai...