2271 search results - page 331 / 455 » Scalable Software Libraries |
150
Voted
HIPC
2004
Springer
16 years 4 days 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...
186
Voted
IPSN
2004
Springer
16 years 3 days 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...
167
click to vote
LCPC
2004
Springer
16 years 3 days 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...
165
Voted
OOPSLA
2004
Springer
16 years 3 days 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...
164
click to vote
TACAS
2004
Springer
16 years 3 days 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...