3565 search results - page 476 / 713 » Modeling a system controller for timing analysis |
156
click to vote
ICMCS
1999
IEEE
15 years 9 months ago
1999
IEEE
Existing multimedia document models like HTML, MHEG, SMIL, and HyTime lack appropriate modeling primitives to fit the needs of next generation multimedia applications which bring ...
128
click to vote
POLICY
2005
Springer
15 years 10 months ago
2005
Springer
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
178
click to vote
FPL
2007
Springer
15 years 11 months ago
2007
Springer
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
157
click to vote
BROADNETS
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...
117
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...