1888 search results - page 333 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
123
click to vote
VECPAR
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Matter in the universe mainly consists of plasma. The dynamics of plasmas is controlled by magnetic fields. To simulate the evolution of magnetised plasma, we solve the e...
113
click to vote
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
155
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
132
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Models of simulation program with integrated circuit emphasis (SPICE) are currently playing a central role in the connection between circuit design and chip fabrication communitie...
140
Voted
ICS
2010
Tsinghua U.
15 years 5 months ago
2010
Tsinghua U.
Existing supercomputers have hundreds of thousands of processor cores, and future systems may have hundreds of millions. Developers need detailed performance measurements to tune ...