Search Sciweavers | Sciweavers

11436 search results - page 167 / 2288

» Modeling Real Reasoning

103

click to vote

ICPADS
1998
IEEE

87views Distributed And Parallel Com...» more ICPADS 1998»

Real-Time Gang Schedulings with Workload Models for Parallel Computers

15 years 7 months ago

Download www.iis.sinica.edu.tw

Jenq Kuen Lee, Chung-Der Lin, Yar-Wen Chang, Wei K...

claim paper

Read More »

click to vote

IPPS
1998
IEEE

81views Distributed And Parallel Com...» more IPPS 1998»

A Tree-Driven Multiple-Rate Model of Time Measuring in Object-Oriented Real-Time Systems

15 years 7 months ago

Download ipdps.cc.gatech.edu

Vesna Mincev, Dragan Milicev

claim paper

Read More »

115

click to vote

RTSS
1998
IEEE

93views Control Systems» more RTSS 1998»

A General Model for Recurring Real-Time Tasks

15 years 7 months ago

Download www.arl.wustl.edu

Sanjoy K. Baruah

claim paper

Read More »

141

click to vote

FTRTFT
1998
Springer

123views Formal Methods» more FTRTFT 1998»

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)

15 years 7 months ago

Download www-verimag.imag.fr

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Ol...

claim paper

Read More »

106

click to vote

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers