3256 search results - page 439 / 652 » Integrated Environment for Embedded Control Systems Design |
135
click to vote
DANCE
2002
IEEE
15 years 9 months ago
2002
IEEE
Janos is an operating system for active network nodes whose primary focus is strong resource management and control of untrusted active applications written in Java. Janos include...
143
click to vote
ICAC
2006
IEEE
15 years 10 months ago
2006
IEEE
— In this short paper, we give a brief overview a simulation environment, SimEAC, which was designed for testing algorithms with strong autonomic features. SimEAC enables a user ...
174
click to vote
CJ
2002
15 years 4 months ago
2002
monitoring indicators at different levels of abstraction. At the application level, it instruments the Java Virtual Machine (JVM) to notify several different types of events trigge...
118
click to vote
LOPSTR
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...
154
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...