2236 search results - page 405 / 448 » Language Independence and Language Tolerance in Logic Progra... |
165
click to vote
LCTRTS
2009
Springer
16 years 5 days ago
2009
Springer
Register file (RF) is extremely vulnerable to soft errors, and traditional redundancy based schemes to protect the RF are prohibitive not only because RF is often in the timing c...
187
click to vote
LCTRTS
2010
Springer
15 years 3 months ago
2010
Springer
Chip multiprocessors (CMPs) are expected to be the building blocks for future computer systems. While architecting these emerging CMPs is a challenging problem on its own, program...
159
click to vote
CADE
2003
Springer
16 years 5 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
140
click to vote
ICWS
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Several approaches have been proposed to introduce self-management capabilities for web service compositions. However, most of these works are limited as they are not ex...
125
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...