Search Sciweavers | Sciweavers

5180 search results - page 41 / 1036

» Concurrency, Time, and Constraints

167

click to vote

DEXAW
1996
IEEE

155views Database» more DEXAW 1996»

Real-Time Scheduling for Semantic Concurrency Control of Object-Oriented Database Systems

15 years 10 months ago

Download www.dee.ufcg.edu.br

Yoshihiko Murakami, Mayumi Nishikaku, Tsukasa Okad...

claim paper

Read More »

133

click to vote

DAC
1996
ACM

92views Computer Architecture» more DAC 1996»

Concurrent Analysis Techniques for Data Path Timing Optimization

15 years 10 months ago

Download bears.ece.ucsb.edu

Chuck Monahan, Forrest Brewer

claim paper

Read More »

141

click to vote

RTSS
1992
IEEE

131views Control Systems» more RTSS 1992»

Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications

15 years 10 months ago

Download www.cad.zju.edu.cn

Tei-Wei Kuo, Aloysius K. Mok

claim paper

Read More »

143

click to vote

FORTE
1994

98views Formal Methods» more FORTE 1994»

Verifying timing properties of concurrent algorithms

15 years 7 months ago

Download groups.csail.mit.edu

Victor Luchangco, Ekrem Söylemez, Stephen J. ...

claim paper

Read More »

111

click to vote

ENTCS
2010

88views more ENTCS 2010»

Coinduction in Concurrent Timed Systems

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers