1640 search results - page 39 / 328 » Transistor-Level Timing Analysis Using Embedded Simulation |
129
click to vote
ECRTS
2006
IEEE
15 years 8 months ago
2006
IEEE
FlexRay will very likely become the de-facto standard for in-vehicle communications. However, before it can be successfully used for safety-critical applications that require pred...
115
Voted
CGF
2005
15 years 2 months ago
2005
A data-driven approach for real-time processing of clothes, particularly suitable for simulating dresses worn by virtual characters, is proposed. It starts, prior to realtime simu...
115
click to vote
ICECCS
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
144
click to vote
FMOODS
2007
15 years 3 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
106
Voted
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...