8627 search results - page 1474 / 1726 » Software Engineering Using RATionale |
167
click to vote
ISPASS
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper proposes a specialized memory structure called CA-RAM (Content Addressable Random Access Memory) to accelerate search operations present in many important real-world ap...
193
click to vote
PPDP
2007
Springer
16 years 23 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
162
click to vote
VMCAI
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
156
click to vote
AUIC
2006
IEEE
16 years 21 days ago
2006
IEEE
Graphical rewrite rules are often used in programming environments for children. These rules consist of two parts: a left-hand side, which is visually matched in the environment, ...
162
click to vote
CGO
2006
IEEE
16 years 21 days ago
2006
IEEE
The phase-ordering problem is a long standing issue for compiler writers. Most optimizing compilers typically have numerous different code-improving phases, many of which can be a...