1141 search results - page 112 / 229 » Compiler-Directed Performance Model Construction for Paralle... |
122
click to vote
IPPS
2006
IEEE
15 years 8 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 5 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...
135
Voted
SPIN
2010
Springer
15 years 4 days 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...
157
click to vote
JSAC
2008
15 years 22 days 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...
133
click to vote
NCA
2006
IEEE
15 years 8 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...