4940 search results - page 531 / 988 » On the Complexity of Universal Programs |
172
click to vote
COMPSAC
2006
IEEE
16 years 27 days ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
141
click to vote
HPCC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
157
click to vote
VSTTE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
171
click to vote
ADAEUROPE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
206
click to vote
ESOP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...