1141 search results - page 112 / 229 » Compiler-Directed Performance Model Construction for Paralle... |
106
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
HPCN
1995
Springer
15 years 4 months ago
1995
Springer
The Mermaid project focuses on the construction of simulation models for MIMD multi-computers in order to evaluate them and to give estimates of the system’s performance. A multi...
124
Voted
SPIN
2010
Springer
14 years 10 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
142
Voted
JSAC
2008
14 years 11 months ago
2008
In this paper we design a cognitive radio that can coexist with multiple parallel WLAN channels while abiding by an interference constraint. The interaction between both systems is...
106
click to vote
NCA
2006
IEEE
15 years 6 months ago
2006
IEEE
Geant4 is a very large, highly accurate toolkit for Monte Carlo simulation of particle-matter interaction. It has been applied to high-energy physics, cosmic ray modeling, radiati...