Search Sciweavers | Sciweavers

512 search results - page 7 / 103

» Distributed synthesis of real-time computer systems

163

click to vote

BROADNETS
2004
IEEE

127views Computer Networks» more BROADNETS 2004»

Distributed Hybrid Agent Based Intrusion Detection and Real Time Response System

15 years 10 months ago

Download www.itsec.gov.cn

Vaidehi Kasarekar, Byrav Ramamurthy

claim paper

Read More »

152

click to vote

IPPS
1994
IEEE

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

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

15 years 11 months ago

Download www.csee.umbc.edu

Sunondo Ghosh, Rami G. Melhem, Daniel Mossé

claim paper

Read More »

184

click to vote

CONCUR
1995
Springer

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

Compositional Model Checking of Real Time Systems

15 years 10 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

143

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 5 months ago

Download www.ipdps.org

Guoqiang Li, Xiaojuan Cai, Shoji Yuen

claim paper

Read More »

137

click to vote

PDCAT
2004
Springer

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

Tuning Genetic Algorithms for Real Time Systems Using a Grid

16 years 12 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers