Sciweavers

15644 search results - page 26 / 3129

» Brittle System Analysis

87

ECRTS
1998
IEEE

91views Embedded Systems» more ECRTS 1998»

Feasibility analysis of recurring branching tasks

15 years 2 months ago

Feasibility analysis of recurring branching tasks

Download www.arl.wustl.edu

Sanjoy K. Baruah

claim paper

Read More »

68

LCPC
1997
Springer

130views System Software» more LCPC 1997»

Analysis and Optimization of Explicitly Parallel Programs Using the Parallel Program Graph Representation

15 years 1 months ago

Analysis and Optimization of Explicitly Parallel Programs Using the Parallel Program Graph Representation

Download www.cs.rice.edu

Vivek Sarkar

claim paper

Read More »

62

ECRTS
2004
IEEE

95views Embedded Systems» more ECRTS 2004»

Worst-Case Execution Time Analysis for Dynamic Branch Predictors

15 years 1 months ago

Worst-Case Execution Time Analysis for Dynamic Branch Predictors

Download www.cs.york.ac.uk

Iain Bate, Ralf Reutemann

claim paper

Read More »

68

LCR
2000
Springer

125views System Software» more LCR 2000»

Static Analysis for Guarded Code

15 years 1 months ago

Static Analysis for Guarded Code

Download hal.archives-ouvertes.fr

Ping Hu

claim paper

Read More »

77

HASE
2008
IEEE

146views Control Systems» more HASE 2008»

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions

14 years 11 months ago

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions

Download www.eecs.berkeley.edu

Sumit Kumar Jha, Susmit Jha

posted by susmitjha

Read More »

« Prev « First page 26 / 3129 Last » Next »