2271 search results - page 331 / 455 » Scalable Software Libraries |
113
Voted
HIPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The Cosmic Microwave Background (CMB) is a snapshot of the Universe some 400,000 years after the Big Bang. The pattern of anisotropies in the CMB carries a wealth of info...
131
Voted
IPSN
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
129
Voted
LCPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
112
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
124
Voted
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...