3256 search results - page 117 / 652 » Applications of Formal Methods to System Design and Verifica... |
164
click to vote
ECBS
2010
IEEE
15 years 8 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
131
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
A new generation of intelligent applications can be enabled by broad-coverage knowledge repositories about everyday objects. We distill lessons in design of intelligent user inter...
138
click to vote
RECOMB
2009
Springer
16 years 5 months ago
2009
Springer
The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor...
131
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
128
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
The scaling of CMOS technology into the nanometer era enables the fabrication of highly integrated systems, which increasingly contain analog and/or RF parts. However, scaling into...