150 search results - page 24 / 30 » tse 2008 |
TSE
2010
14 years 8 months ago
2010
—Voting is the process through which a democratic society determines its government. Therefore, voting systems are as important as other well-known critical systems, such as air ...
TSE
2010
14 years 8 months ago
2010
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
We show that the diversity-multiplexing tradeoff of a half-duplex single-relay channel with identically distributed Rayleigh fading channel gains meets the 2 by 1 MISO bound. We ge...
IJBC
2008
14 years 10 months ago
2008
Intermittent instability is commonly observed in switching power supplies during the design and development phase. It manifests as symmetrical period-doubling bifurcation in the ti...
TSE
2008
14 years 9 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...