9626 search results - page 1549 / 1926 » Invariant Based Programming |
190
click to vote
ICS
2005
Tsinghua U.
16 years 8 days ago
2005
Tsinghua U.
In an out-of-order issue processor, instructions are dynamically reordered and issued to function units in their dataready order rather than their original program order to achiev...
161
click to vote
LPAR
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We distill Penrose’s argument against the “artificial intelligence premiss”, and analyze its logical alternatives. We then clarify the different positions one can...
193
click to vote
OOPSLA
2005
Springer
16 years 8 days ago
2005
Springer
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspec...
213
click to vote
HT
2004
ACM
16 years 6 days ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
189
click to vote
VRCAI
2004
ACM
16 years 6 days ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...