2916 search results - page 227 / 584 » The simulation power of automod |
145
click to vote
WDAG
2004
Springer
15 years 12 months ago
2004
Springer
We study the power of reliable anonymous distributed systems, where processes do not fail, do not have identifiers, and run identical programmes. We are interested specifically i...
152
click to vote
DAC
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents an automated, layout-aware RF LCoscillator design tool, called CYCLONE that delivers an accurate and optimal LC-oscillator design, from specification to layout...
157
click to vote
WSC
2000
15 years 7 months ago
2000
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...
158
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We define and construct efficient depth-universal and almostsize-universal quantum circuits. Such circuits can be viewed as generalpurpose simulators for central classes ...
164
click to vote
DSRT
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper describes an experimental web-based environment for teaching and testing. The application named Nautilus has been developed using Virtual Reality Modeling Language (VRML...