Search Sciweavers | Sciweavers

2811 search results - page 130 / 563

» Real-Time Component-Based 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 1 months 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 1 months 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 1 months 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 1 months 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 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers