Sciweavers

3863 search results - page 408 / 773
» Function in Device Representation
Sort
View
APSEC
2005
IEEE
16 years 12 days ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
DEXAW
2005
IEEE
127views Database» more  DEXAW 2005»
16 years 12 days ago
A Key Establishment IP-Core for Ubiquitous Computing
A most critical and complex issue with regard to constrained devices in the ubiquitous and pervasive computing setting is secure key exchange. The restrictions motivate the invest...
Markus Volkmer, Sebastian Wallner
160
Voted
FCCM
2005
IEEE
93views VLSI» more  FCCM 2005»
16 years 11 days ago
Register File Architecture Optimization in a Coarse-Grained Reconfigurable Architecture
This paper investigates the impact of the local and global register file architecture on a reconfigurable system based on the ADRES architecture [3]. The register files consume a s...
Zion Kwok, Steven J. E. Wilton
GLVLSI
2005
IEEE
158views VLSI» more  GLVLSI 2005»
16 years 11 days ago
Quantum-dot cellular automata SPICE macro model
This paper describes a SPICE model development methodology for Quantum-Dot Cellular Automata (QCA) cells and presents a SPICE model for QCA cells. The model is validated by simula...
Rui Tang, Fengming Zhang, Yong-Bin Kim
HAPTICS
2005
IEEE
16 years 11 days ago
The Effect of Quantization and Coulomb Friction on the Stability of Haptic Rendering
Rendering stiff virtual objects remains a core challenge in the field of haptics. A study of this problem is presented, which relates the maximum achievable object stiffness to t...
Nicola Diolaiti, Günter Niemeyer, Federico Ba...