6740 search results - page 1001 / 1348 » Using Classification as a Programming Language |
161
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
218
click to vote
AGTIVE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Aspect-orientation has gained increasing popularity, especially within the programming domain, with textual-based approaches such as AspectJ. Aspect-orientation provides ...
177
click to vote
IWMM
2007
Springer
16 years 1 months ago
2007
Springer
Numerous optimizations exist for improving the performance of nondeferred reference-counting (RC) garbage collection. Their designs are ad hoc, intended to exploit different count...
184
click to vote
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
This paper presents a software architecture for hardware fault tolerance based on loosely-synchronized, redundant virtual machines (LSRVM). LSRVM will provide high levels of relia...
190
click to vote
CSFW
2005
IEEE
16 years 21 days ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...