1809 search results - page 205 / 362 » Software Model Checking Using Linear Constraints |
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
— Decoupling capacitors (decaps) are typically used to reduce the noise in the power supply network. Because the delay of gates and interconnects is affected by the supply voltag...
SAC
2003
ACM
14 years 2 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
LCPC
2005
Springer
14 years 3 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
ISMS
2004
Springer
14 years 3 months ago
2004
Springer
A 3D biomechanical model of the tongue is presented here. Its goal is to evaluate the speech control model. This model was designed considering three constraints: speech movement s...
EWSN
2008
Springer
14 years 9 months ago
2008
Springer
Wireless Sensor Networks (WSNs) are increasingly being proposed in scenarios whose requirements cannot be fully predicted, or where the system functionality must adapt to changing ...