1816 search results - page 144 / 364 » Case study in modeling and simulation validation methodology |
135
Voted
WSC
2008
15 years 7 months ago
2008
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...
154
click to vote
ISCA
2003
IEEE
15 years 10 months ago
2003
IEEE
With power density and hence cooling costs rising exponentially, processor packaging can no longer be designed for the worst case, and there is an urgent need for runtime processo...
169
click to vote
HASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
131
click to vote
CN
2006
15 years 4 months ago
2006
Previous multicast research often makes commonly accepted but unverified assumptions on network topologies and group member distribution in simulation studies. In this paper, we p...
112
click to vote
IJES
2008
15 years 4 months ago
2008
: Current and future SoC designs will contain an increasing number of programmable units. To be able to tailor and debug these processors in their system context at the highest pos...