Search Sciweavers | Sciweavers

9210 search results - page 140 / 1842

» Analyzing Real-Time Systems

click to vote

FMCAD
2006
Springer

87views Formal Methods» more FMCAD 2006»

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

14 years 24 days ago

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

click to vote

CAV
2001
Springer

93views Hardware» more CAV 2001»

TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems

14 years 24 days ago

Download www-verimag.imag.fr

Etienne Closse, Michel Poize, Jacques Pulou, Josep...

claim paper

Read More »

click to vote

CODES
2001
IEEE

114views Software Engineering» more CODES 2001»

Optimal acyclic fine-grain scheduling with cache effects for embedded and real time systems

14 years 24 days ago

Download www.prism.uvsq.fr

Sid Ahmed Ali Touati

claim paper

Read More »

click to vote

IPPS
2000
IEEE

95views Distributed And Parallel Com...» more IPPS 2000»

Power-Aware Replication of Data Structures in Distributed Embedded Real-Time Systems

14 years 22 days ago

Download ipdps.cc.gatech.edu

Osman S. Unsal, Israel Koren, C. Mani Krishna

claim paper

Read More »

click to vote

CONCUR
1995
Springer

140views Distributed And Parallel Com...» more CONCUR 1995»

Compositional Model Checking of Real Time Systems

14 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers