932 search results - page 104 / 187 » Verifying Progress in Timed Systems |
133
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
146
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
More and more the system verification makes use of hardware emulation techniques that allow a speed up in simulation performance up to thousand times. Typically, a design is comp...
135
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper, we investigate synchronization in a small-world network of coupled nonlinear oscillators. This network is constructed by introducing random shortcuts in a neares...
166
click to vote
HPCNCS
2007
15 years 5 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
138
click to vote
CC
2010
Springer
15 years 1 months ago
2010
Springer
We describe a randomized algorithm that, given an integer a, produces a certificate that the integer is not a pure power of an integer in expected (log a)1+o(1) bit operations unde...