Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

100

CODES
1999
IEEE

110views Software Engineering» more CODES 1999»

Worst-case analysis of discrete systems based on conditional abstractions

15 years 7 months ago

Worst-case analysis of discrete systems based on conditional abstractions

Download www.cecs.uci.edu

se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories

Felice Balarin

Real-time Traffic

Abstractions Felice Balarin | CODES 1999 | Discrete Observable Signals | Software Engineering | Worst-case Analysis |

claim paper

Related Content

» Automatic Abstraction for WorstCase Analysis of Discrete Systems

» Automatic Identification of Timing Anomalies for CycleAccurate WorstCase Execution Time An...

» Abstraction of assembler programs for symbolic worst case execution time analysis

» Stars in VCC Complementing Simulation with WorstCase Analysis

» Worst case delay analysis for memory interference in multicore systems

» Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems

» Application layer optimization for efficient video streaming over IEEE 80211 based wireles...

» Using optimistic execution techniques as a parallelisation tool for general purpose comput...

» WCET estimation for executables in the presence of data caches

Post Info
More Details (n/a)

Added	02 Aug 2010
Updated	02 Aug 2010
Type	Conference
Year	1999
Where	CODES
Authors	Felice Balarin

Comments (0)