Search Sciweavers | Sciweavers

14360 search results - page 150 / 2872

» Time Modeling in MARTE

click to vote

RTAS
2000
IEEE

107views Embedded Systems» more RTAS 2000»

Scheduling Distributed Real-Time Tasks in the DGMF Model

14 years 2 months ago

Download www.arl.wustl.edu

Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah

claim paper

Read More »

click to vote

RTSS
2000
IEEE

135views Control Systems» more RTSS 2000»

Modeling Complex Flows for Worst-Case Execution Time Analysis

14 years 2 months ago

Download www.cs.ucla.edu

Jakob Engblom, Andreas Ermedahl

claim paper

Read More »

click to vote

SAC
2000
ACM

87views Applied Computing» more SAC 2000»

Modeling of Time and Document Aging for Request Prediction - One Step Further

14 years 2 months ago

Download wiki.uni.lu

Ernst Georg Haffner, Uwe Roth, Thomas Engel, Chris...

claim paper

Read More »

click to vote

ICRA
1999
IEEE

118views Robotics» more ICRA 1999»

Adaptive Control of Time-Varying Mechanical Systems: Modeling, Controller Design and Experiments

14 years 2 months ago

Download pagilla.ceat.okstate.edu

Prabhakar R. Pagilla, Kiu Ling Pau, Biao Yu

claim paper

Read More »

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers