14360 search results - page 2659 / 2872 » Time Modeling in MARTE |
174
click to vote
INFOCOM
2005
IEEE
16 years 2 days ago
2005
IEEE
— In this paper we consider packet networks loaded by admissible traffic patterns, i.e. by traffic patterns that, if optimally routed, do not overload network resources. In the...
159
click to vote
ISCA
2005
IEEE
16 years 2 days ago
2005
IEEE
The importance of pushing the performance envelope of disk drives continues to grow, not just in the server market but also in numerous consumer electronics products. One of the m...
199
click to vote
KBSE
2005
IEEE
16 years 2 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
177
click to vote
VISUALIZATION
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper presents a novel method for computing simulated x-ray images, or DRRs (digitally reconstructed radiographs), of tetrahedral meshes with higher-order attenuation functio...
164
click to vote
VISUALIZATION
2005
IEEE
16 years 2 days ago
2005
IEEE
The evacuation of buildings in the event of a fire requires careful planning of ventilation and evacuation routes during early architectural design stages. Different designs are ...