Search Sciweavers | Sciweavers

512 search results - page 7 / 103

» Distributed synthesis of real-time computer systems

142

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

Download www.itsec.gov.cn

Vaidehi Kasarekar, Byrav Ramamurthy

claim paper

Read More »

128

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

Download www.csee.umbc.edu

Sunondo Ghosh, Rami G. Melhem, Daniel Mossé

claim paper

Read More »

151

click to vote

CONCUR
1995
Springer

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

Compositional Model Checking of Real Time Systems

15 years 9 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

116

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

Download www.ipdps.org

Guoqiang Li, Xiaojuan Cai, Shoji Yuen

claim paper

Read More »

106

click to vote

PDCAT
2004
Springer

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

Tuning Genetic Algorithms for Real Time Systems Using a Grid

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers