2838 search results - page 128 / 568 » Verifying Controlled Components |
CAINE
2009
13 years 11 months ago
2009
We have constructed a synthetic in silico model for representing the dynamics of leukocyte rolling, activation, and adhesion on substrate-coated flow chambers. Software components...
GECCO
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, a genetic algorithm (GA) is used to design faulttolerant analog controllers for a piezoelectric micro-robot. Firstorder and second-order functions are developed to ...
CADE
2008
Springer
14 years 10 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
OSDI
2006
ACM
14 years 10 months ago
2006
ACM
XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodit...
RTCSA
2008
IEEE
14 years 4 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...