3771 search results - page 251 / 755 » Subobject Transformation Systems |
114
click to vote
GCC
2009
Springer
15 years 1 months ago
2009
Springer
The design and development of a complex system as well as the simulation of its dynamic behavior are usually involved in multidisciplinary field knowledge. HLA-based collaborative ...
165
click to vote
IGARSS
2009
15 years 1 months ago
2009
In this study, the authors investigate the use of hyperspectral imaging for food crop monitoring and contamination detection and characterization. The authors investigate the use ...
253
click to vote
FAST
2011
14 years 7 months ago
2011
We present Anticipatory Memory Allocation (AMA), a new method to build kernel code that is robust to memoryallocation failures. AMA avoids the usual difficulties in handling allo...
156
click to vote
SOFSEM
2012
Springer
13 years 11 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
139
click to vote
QOSA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...