Search Sciweavers | Sciweavers

512 search results - page 7 / 103

» Distributed synthesis of real-time computer systems

click to vote

BROADNETS
2004
IEEE

127views Computer Networks» more BROADNETS 2004»

Distributed Hybrid Agent Based Intrusion Detection and Real Time Response System

14 years 10 days ago

Download www.itsec.gov.cn

Vaidehi Kasarekar, Byrav Ramamurthy

claim paper

Read More »

click to vote

IPPS
1994
IEEE

85views Distributed And Parallel Com...» more IPPS 1994»

Fault-Tolerant Scheduling on a Hard Real-Time Multiprocessor System

14 years 21 days ago

Download www.csee.umbc.edu

Sunondo Ghosh, Rami G. Melhem, Daniel Mossé

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 4 days ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

click to vote

IPPS
2010
IEEE

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

Modeling and analysis of real -time systems with mutex components

13 years 6 months ago

Download www.ipdps.org

Guoqiang Li, Xiaojuan Cai, Shoji Yuen

claim paper

Read More »

click to vote

PDCAT
2004
Springer

103views Distributed And Parallel Com...» more PDCAT 2004»

Tuning Genetic Algorithms for Real Time Systems Using a Grid

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers