6274 search results - page 549 / 1255 » Proofs, Programs, Processes |
200
click to vote
CP
2004
Springer
16 years 26 days ago
2004
Springer
Many backtracking algorithms exhibit heavy-tailed distributions, in which their running time is often much longer than their median. We analyze the behavior of two natural variant...
245
click to vote
IFIP
2004
Springer
16 years 25 days ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
235
click to vote
ISSAC
2004
Springer
16 years 25 days ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
209
click to vote
CSFW
2003
IEEE
16 years 23 days ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
197
click to vote
DISCEX
2003
IEEE
16 years 23 days ago
2003
IEEE
Under sponsorship of the Defense Advanced Research Projects Agency’s (DARPA) Fault Tolerant Networks (FTN) program, The Johns Hopkins University Applied Physics Laboratory (JHU/...