9626 search results - page 1237 / 1926 » Invariant Based Programming |
204
click to vote
BTW
2003
Springer
16 years 20 days ago
2003
Springer
: XML is the upcoming standard for internet data. Java is the most important programming language for internet applications. Nevertheless, in today’s languages and tools there is...
247
click to vote
CP
2003
Springer
16 years 20 days ago
2003
Springer
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...
198
click to vote
ESOP
2003
Springer
16 years 20 days ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
199
click to vote
FOSSACS
2003
Springer
16 years 20 days ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
228
click to vote
MICRO
2002
IEEE
16 years 11 days ago
2002
IEEE
Pre-execution attacks cache misses for which conventional address-prediction driven prefetching is ineffective. In pre-execution, copies of cache miss computations are isolated fr...