Sciweavers

8177 search results - page 1314 / 1636
» Detecting System Emulators
Sort
View
TOOLS
2008
IEEE
16 years 1 months ago
A Comparison of State-Based Modelling Tools for Model Validation
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
Emine G. Aydal, Mark Utting, Jim Woodcock
DATE
2007
IEEE
174views Hardware» more  DATE 2007»
16 years 1 months ago
ATLAS: a chip-multiprocessor with transactional memory support
Chip-multiprocessors are quickly becoming popular in embedded systems. However, the practical success of CMPs strongly depends on addressing the difficulty of multithreaded appli...
Njuguna Njoroge, Jared Casper, Sewook Wee, Yuriy T...
DFT
2007
IEEE
135views VLSI» more  DFT 2007»
16 years 1 months ago
Fault Secure Encoder and Decoder for Memory Applications
We introduce a reliable memory system that can tolerate multiple transient errors in the memory words as well as transient errors in the encoder and decoder (corrector) circuitry....
Helia Naeimi, André DeHon
DSN
2007
IEEE
16 years 1 months ago
Failure Resilience for Device Drivers
Studies have shown that device drivers and extensions contain 3–7 times more bugs than other operating system code and thus are more likely to fail. Therefore, we present a fail...
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Ho...
GLOBECOM
2007
IEEE
16 years 1 months ago
Cognitive Radio Networks: How Much Spectrum Sharing is Optimal?
Abstract—We explore the performance tradeoff between opportunistic and regulated access inherent in the design of multiuser cognitive radio networks. We consider a cognitive radi...
Sudhir Srinivasa, Syed Ali Jafar
« Prev « First page 1314 / 1636 Last » Next »