6960 search results - page 60 / 1392 » Continuity Analysis of Programs |
CSL
2004
Springer
15 years 3 months ago
2004
Springer
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard call-by-value CPS translation, Danvy ...
108
click to vote
ECBS
2010
IEEE
15 years 2 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
AOSD
2007
ACM
15 years 1 months ago
2007
ACM
The last couple of years, various idioms used in the 15 MLOC C code base of ASML, the world's biggest lithography machine manufacturer, have been unmasked as crosscutting con...
COR
2008
14 years 10 months ago
2008
The typical inventory routing problem deals with the repeated distribution of a single product from a single facility with an unlimited supply to a set of customers that can all b...
TOG
2012
13 years 7 days ago
2012
Interactive, task-guided character controllers must be agile and responsive to user input, while retaining the flexibility to be readily authored and modified by the designer. C...