1640 search results - page 8 / 328 » Transistor-Level Timing Analysis Using Embedded Simulation |
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
14 years 10 days ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
CGF
2008
13 years 11 months ago
2008
The powerful yet conceptually simple notions of Finite-Time Lyapunov Exponent (FTLE) and Lagrangian Coherent Structures provide a powerful framework for the analysis and visualiza...
ECRTS
2003
IEEE
14 years 4 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
DSD
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
ICRA
2009
IEEE
14 years 5 months ago
2009
IEEE
— We have investigated the deformation of a soft fingertip when it slides. This process was first simulated using the non-linear Finite Element Analysis (FEA) method. Based on ...