4870 search results - page 760 / 974 » Challenges of component-based development |
190
click to vote
SAS
2010
Springer
15 years 4 months ago
2010
Springer
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
147
click to vote
SIAMSC
2010
15 years 4 months ago
2010
A significant amount of the computational time in large Monte Carlo simulations of lattice field theory is spent inverting the discrete Dirac operator. Unfortunately, traditional...
167
click to vote
SPE
2010
15 years 4 months ago
2010
This paper surveys the research on power management techniques for high performance systems. These include both commercial high performance clusters and scientific high performanc...
190
click to vote
SWARM
2010
SPRINGER
15 years 4 months ago
2010
SPRINGER
In the past few years there has been a lot of research on the application of swarm intelligence to the problem of adaptive routing in telecommunications networks. A large number of...
164
click to vote
TKDE
2010
15 years 4 months ago
2010
Abstract—The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context informa...