Search Sciweavers | Sciweavers

19700 search results - page 196 / 3940

» DNA-Based Computation Times

151

click to vote

IPPS
2000
IEEE

95views Distributed And Parallel Com...» more IPPS 2000»

Power-Aware Replication of Data Structures in Distributed Embedded Real-Time Systems

15 years 9 months ago

Download ipdps.cc.gatech.edu

Osman S. Unsal, Israel Koren, C. Mani Krishna

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

ICDCS
1995
IEEE

74views Distributed And Parallel Com...» more ICDCS 1995»

A New Protocol for Bandwidth Regulation of Real-Time Traffic Classes in Internetworks

15 years 9 months ago

Download www.cs.virginia.edu

Jörg Liebeherr, Ian F. Akyildiz, Debapriya Sa...

claim paper

Read More »

112

click to vote

MFCS
1995
Springer

66views Theoretical Computer Science» more MFCS 1995»

From Timed Automata to Logic - and Back

15 years 9 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen...

claim paper

Read More »

118

click to vote

STACS
1995
Springer

110views Theoretical Computer Science» more STACS 1995»

On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers