146 search results - page 8 / 30 » C Templates as Partial Evaluation |
WSC
2000
15 years 1 months ago
2000
This paper describes the development of a traffic-modeling tool as an Arena template and two applications of it: one to evaluate alternative designs for the road network on the pr...
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
106
click to vote
DAGSTUHL
1996
15 years 1 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
—Communication between cars can be exploited for various applications. Security enhancements as well as interactive games played by occupants of different cars are only two examp...
ICIP
2010
IEEE
14 years 9 months ago
2010
IEEE
Failure of tracking algorithms is inevitable in real and online tracking systems. The online estimation of the track quality is therefore desirable for detecting tracking failures...