Search Sciweavers | Sciweavers

3565 search results - page 30 / 713

» Modeling a system controller for timing analysis

169

click to vote

ECBS
2009
IEEE

113views Hardware» more ECBS 2009»

Modeling and Analysis of Probabilistic Timed Systems

16 years 1 months ago

Download www.isis.vanderbilt.edu

Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...

Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Te...

claim paper

Read More »

185

Voted

EMSOFT
2006
Springer

135views Software Engineering» more EMSOFT 2006»

Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems

15 years 8 months ago

Download www.cecs.uci.edu

Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...

Venkita Subramonian, Christopher D. Gill, Cé...

claim paper

Read More »

131

click to vote

IPPS
2010
IEEE

113views Distributed And Parallel Com...» more IPPS 2010»

Modeling and analysis of real -time systems with mutex components

15 years 4 months ago

Download www.ipdps.org

Guoqiang Li, Xiaojuan Cai, Shoji Yuen

claim paper