882 search results - page 70 / 177 » Analysis of Composite Corridors |
WACV
2005
IEEE
14 years 2 months ago
2005
IEEE
A novel inversion technique is proposed to compute parametric maps showing the temperature, density and chemical composition of cosmic hot gas from X-ray hyper-spectral images. Th...
ENTCS
2007
13 years 8 months ago
2007
In this paper I present a game model for the semantical analysis of handshake circuits. I show how the model captures effectively the composition of circuits in an associative wa...
PASTE
2010
ACM
14 years 11 days ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
APN
1992
Springer
14 years 25 days ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
DAC
2007
ACM
14 years 21 days ago
2007
ACM
It is now widely believed that FlexRay will emerge as the predominant protocol for in-vehicle automotive communication systems. As a result, there has been a lot of recent interes...