Search Sciweavers | Sciweavers

9842 search results - page 28 / 1969

» Compositional timing analysis

210

click to vote

RTAS
2003
IEEE

127views Embedded Systems» more RTAS 2003»

VEST: An Aspect-Based Composition Tool for Real-Time Systems

15 years 11 months ago

Download www.cs.virginia.edu

Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, i...

John A. Stankovic, Ruiqing Zhu, Ram Poornalingam, ...

claim paper

Read More »

122

click to vote

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

15 years 11 months ago

Download se.ethz.ch

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...

claim paper

Read More »

132

click to vote

ASWSD
2004
Springer

112views Software Engineering» more ASWSD 2004»

A Compositional Framework for Real-Time Guarantees

15 years 11 months ago

Download aswsd.ucsd.edu

Insik Shin, Insup Lee

claim paper

Read More »

112

click to vote

ICNP
1997
IEEE

91views Computer Networks» more ICNP 1997»

A Compositional Approach for Designing Multifunction Time-Dependent Protocols

15 years 10 months ago

Download www.ieee-icnp.org

Jun-Cheol Park, Raymond E. Miller

claim paper

Read More »

127

click to vote

CAV
1997
Springer

81views Hardware» more CAV 1997»

STARI: A Case Study in Compositional and Hierarchical Timing Verification

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers