5838 search results - page 1074 / 1168 » A File System for System Programming in Ubiquitous Computing |
149
click to vote
WFLP
2000
Springer
15 years 7 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
121
Voted
DAC
2005
ACM
15 years 5 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
147
Voted
PARCO
2003
15 years 4 months ago
2003
Three different partial differential equation (PDE) solver kernels are analyzed in respect to cache memory performance on a simulated shared memory computer. The kernels implement...
119
click to vote
ISMB
1993
15 years 4 months ago
1993
Experiment design and execution is a central activity in the natural sciences. The SeqERsystem provides a general architecture for the integration of automated planning techniques...
151
Voted
CEC
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— Locality - how well neighbouring genotypes correspond to neighbouring phenotypes - has been described as a key element in Evolutionary Computation. Grammatical Evolutio...