1102 search results - page 81 / 221 » Generalizing Updates: From Models to Programs |
134
Voted
CASES
2006
ACM
15 years 6 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
104
Voted
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative s...
98
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
141
Voted
ICARCV
2002
IEEE
15 years 5 months ago
2002
IEEE
In this paper, we propose solutions to real time simulation and interaction of deformable objects in virtual reality. Firstly, we present LEM - Long Element Method, a method creat...
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— An adaptive handover algorithm for wireless comn systems is addressed in this extended abstract. Moving from the Generalized Extended Least Square handover algorithm in...