Sciweavers

950 search results - page 76 / 190
» Type Specialization in Aldor
Sort
View
VALUETOOLS
2006
ACM
132views Hardware» more  VALUETOOLS 2006»
14 years 2 months ago
Zero-automatic networks
We continue the study of zero-automatic queues first introduced in [3]. These queues are characterized by a special buffering mechanism evolving like a random walk on some infi...
Thu-Ha Dao-Thi, Jean Mairesse
COMPSAC
2005
IEEE
14 years 2 months ago
Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures
The use of several distinct recovery procedures is one of the techniques that can be used to ensure high availability and fault-tolerance of computer systems. This method has been...
Sergiy A. Vilkomir, David Lorge Parnas, Veena B. M...
DATE
2005
IEEE
109views Hardware» more  DATE 2005»
14 years 2 months ago
Design Method for Constant Power Consumption of Differential Logic Circuits
Side channel attacks are a major security concern for smart cards and other embedded devices. They analyze the variations on the power consumption to find the secret key of the en...
Kris Tiri, Ingrid Verbauwhede
VL
2005
IEEE
123views Visual Languages» more  VL 2005»
14 years 2 months ago
A Visually-Specified Code Generator for Simulink/Stateflow
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizh...
SI3D
2005
ACM
14 years 2 months ago
A lighting model for general participating media
Efficient and visually compelling reproduction of effects due to multiple scattering in participating media remains one of the most difficult tasks in computer graphics. Althoug...
Kyle Hegeman, Michael Ashikhmin, Simon Premoze