14360 search results - page 198 / 2872 » Time Modeling in MARTE |
ASPDAC
2008
ACM
14 years 8 days ago
2008
ACM
In the nanometer manufacturing region, process variation causes significant uncertainty for circuit performance verification. Statistical static timing analysis (SSTA) is thus dev...
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
Complex applications implemented as Systems on Chip (SoCs) demand extensive use of system level modeling and validation. Their implementation gathers a large number of complex IP ...
WSC
2001
13 years 11 months ago
2001
It is readily apparent how important the Internet is to modern life. The exponential growth in its use requires good tools for analyzing congestion. Much has been written recently...
CVPR
2005
IEEE
15 years 8 days ago
2005
IEEE
We present a new method to robustly and efficiently analyze foreground when we detect background for a fixed camera view by using mixture of Gaussians models and multiple cues. Th...
MICCAI
2009
Springer
14 years 11 months ago
2009
Springer
Patient-specific biomechanical models implemented using specialized nonlinear (i.e. taking into account material and geometric nonlinearities) finite element procedures were applie...