Sciweavers

544 search results - page 73 / 109
» On the Complexity of Loop Fusion
Sort
View
ATAL
2006
Springer
14 years 17 days ago
Synergistic integration of agent technologies for military simulation
To perform large-scale coordination in real-world environments requires that many individually complex technologies come together to form integrated solutions. In this paper, we p...
Sean Owens, Paul Scerri, Robin Glinton, Bin Yu, Ka...
WSC
2008
13 years 11 months ago
Experience in the broadening of a single-purpose simulation model
Simulation models are often developed for a single purpose. However, once a model is accepted by management and other stake-holders, it is quite common and desirable to wish to br...
Reid L. Kress, Pete Bereolos, Karen Bills, James C...
CORR
2010
Springer
111views Education» more  CORR 2010»
13 years 9 months ago
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
Guido de Caso, Diego Garbervetsky, Daniel Gor&iacu...
RAS
2002
105views more  RAS 2002»
13 years 8 months ago
Visually guided manipulation tasks
In this paper, we present a framework for a robotic system with the ability to perform real-world manipulation tasks. The complexity of such tasks determines the precision and fre...
Danica Kragic, Lars Petersson, Henrik I. Christens...
SP
2002
IEEE
165views Security Privacy» more  SP 2002»
13 years 8 months ago
NINJA: Java for high performance numerical computing
When Java was first introduced, there was a perception that its many benefits came at a significant performance cost. In the particularly performance-sensitive field of numerical ...
José E. Moreira, Samuel P. Midkiff, Manish ...