435 search results - page 71 / 87 » Timing analysis of asynchronous circuits using timed automat... |
99
Voted
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
SIGMETRICS
2008
ACM
15 years 5 days ago
2008
ACM
OSprof is a versatile, portable, and efficient profiling methodology based on the analysis of latency distributions. Although OSprof has offers several unique benefits and has bee...
107
Voted
RTAS
2009
IEEE
15 years 7 months ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
103
click to vote
ALENEX
2004
15 years 1 months ago
2004
In previous work we described a method for compactly representing graphs with small separators, which makes use of small separators, and presented preliminary experimental results...
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
The simulation of on-chip inductance using PEEC-based circuit analysis methods often requires the solution of a subproblem where an extracted inductance matrix must be multiplied ...