1312 search results - page 53 / 263 » Embedded contract languages |
120
click to vote
CAINE
2003
15 years 1 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
117
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
FDL
2007
IEEE
15 years 3 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
ICCV
2003
IEEE
16 years 1 months ago
2003
IEEE
This paper presents a method for evaluating multiple feature spaces while tracking, and for adjusting the set of features used to improve tracking performance. Our hypothesis is t...
VLSID
2004
IEEE
16 years 7 days ago
2004
IEEE
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...