Sciweavers

3387 search results - page 49 / 678

» Model-Checking for Real-Time Systems

24

RTSS
1992
IEEE

131views Control Systems» more RTSS 1992»

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

13 years 11 months ago

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

Download www.cad.zju.edu.cn

Tei-Wei Kuo, Aloysius K. Mok

claim paper

Read More »

22

RTSS
1995
IEEE

83views Control Systems» more RTSS 1995»

Real-Time Computing with Lock-Free Shared Objects

13 years 11 months ago

Real-Time Computing with Lock-Free Shared Objects

Download www.hh.se

James H. Anderson, Srikanth Ramamurthy, Kevin Jeff...

claim paper

Read More »

24

RTSS
1995
IEEE

85views Control Systems» more RTSS 1995»

Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software

13 years 11 months ago

Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software

Download www.csee.umbc.edu

Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe

claim paper

Read More »

21

ECRTS
2009
IEEE

143views Embedded Systems» more ECRTS 2009»

Refactoring Asynchronous Event Handling in the Real-Time Specification for Java

13 years 5 months ago

Refactoring Asynchronous Event Handling in the Real-Time Specification for Java

Download d3s.mff.cuni.cz

MinSeong Kim, Andy J. Wellings

claim paper

Read More »

30

ECRTS
2004
IEEE

148views Embedded Systems» more ECRTS 2004»

Energy-Efficient Policies for Request-Driven Soft Real-Time Systems

13 years 11 months ago

Energy-Efficient Policies for Request-Driven Soft Real-Time Systems

Download www.cs.pitt.edu

Computing systems, ranging from small battery-operated embedded systems to more complex general purpose systems, are designed to satisfy various computation demands in some accept...

Cosmin Rusu, Ruibin Xu, Rami G. Melhem, Daniel Mos...

claim paper

Read More »

« Prev « First page 49 / 678 Last » Next »