78 search results - page 10 / 16 » Automatic generation of path conditions for concurrent timed... |
ICRA
1999
IEEE
15 years 1 months ago
1999
IEEE
We consider the problem of automatically generating viewpoint motions for a virtual camera tracking a moving target. Given the target's trajectory, we plan the motion of a ca...
104
click to vote
SEKE
2010
Springer
14 years 8 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
ICCAD
1998
IEEE
15 years 1 months ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
IJCSA
2006
14 years 9 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
CASES
2003
ACM
15 years 2 months ago
2003
ACM
Software thread integration (STI) is a compilation technique which enables the efficient use of an application’s fine-grain idle time on generic processors without special hardw...