7195 search results - page 812 / 1439 » On Computing Power |
179
click to vote
FOSSACS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Graph logic (GL) is a spatial logic for querying graphs introduced by Cardelli et al. It has been observed that in terms of expressive power, this logic is a fragment of ...
181
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
NBTI (Negative Bias Temperature Instability) has emerged as the dominant PMOS device failure mechanism for sub100nm VLSI designs. There is little research to quantify its impact o...
216
click to vote
SEUS
2009
IEEE
16 years 2 months ago
2009
IEEE
Future embedded systems are expected to use chip-multiprocessors to provide the execution power for increasingly demanding applications. Multiprocessors increase the pressure on th...
177
click to vote
SSDBM
2009
IEEE
16 years 2 months ago
2009
IEEE
As the size of scientific and commercial datasets grows, it becomes imperative that an expressive metadata framework to be developed to facilitate access to the semantics of the d...
199
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...