2615 search results - page 125 / 523 » Analysis of Real Time Operating System Based Applications |
122
click to vote
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
Dataflow models are often used for analysing streaming applications. The recently introduced scenario-aware extension of the synchronous dataflow model can capture the dynamism ...
124
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
158
Voted
ASPDAC
2001
ACM
15 years 7 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
132
Voted
SWAT
1992
Springer
15 years 7 months ago
1992
Springer
This paper presents parallel algorithms for priority queue operations on a p-processor EREWPRAM. The algorithms are based on a new data structure, the Min-path Heap (MH), which is...
132
Voted
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
Multi-core chips have been increasingly adopted by microprocessor industry. For real-time systems to safely harness the potential of multi-core computing, designers must be able t...