10568 search results - page 1849 / 2114 » Computer Intelligence and Formalization |
121
click to vote
CLUSTER
2007
IEEE
15 years 10 months ago
2007
IEEE
— The thermal environment of data centers plays a significant role in affecting the energy efficiency and the reliability of data center operation. A dominant problem associate...
137
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
164
click to vote
CMSB
2007
Springer
15 years 10 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
128
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
136
Voted
ESA
2007
Springer
15 years 10 months ago
2007
Springer
We review recent progress in the study of arrangements in computational and combinatorial geometry, and discuss several open problems and areas for further research. In this talk I...