1837 search results - page 119 / 368 » Abstraction and the C Machine Model |
179
click to vote
TC
1998
15 years 6 months ago
1998
—This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable emory MultiProcessor (S3.mp) at three levels of abstracti...
213
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
177
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
209
click to vote
EDUTAINMENT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a data-driven shape model for reconstructing human body models from one or more 2D photos. One of the key tasks in reconstructing the 3D model from image data ...
159
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose novel algorithms for organizing large image and video datasets using both the visual content and the associated sideinformation, such as time, location, authorship, and...