2482 search results - page 254 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
125
click to vote
APCSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. Post-link and dynamic optimizations have become important to achieve program performance. A major challenge in post-link and dynamic optimizations is the acquisition of r...
ISMAR
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we describe the Augmented Reality (AR) authoring system "PowerSpace" which allows fast and comfortable generation of AR worlds. The system presented uses t...
112
click to vote
ICALP
2001
Springer
15 years 7 months ago
2001
Springer
We work with an extension of Resolution, called Res(2), that allows clauses with conjunctions of two literals. In this system there are rules to introduce and eliminate such conju...
105
Voted
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Speck1 is a system that accelerates powerful security checks on commodity hardware by executing them in parallel on multiple cores. Speck provides an infrastructure that allows se...
106
Voted
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Software evolution is an inevitable process when developing a system of any notable size and is the most costly stage in the life cycle of a system. Automating parts of this proces...