Search Sciweavers | Sciweavers

13717 search results - page 349 / 2744

» Control Systems

138

click to vote

RTSS
2008
IEEE

98views Control Systems» more RTSS 2008»

New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms

16 years 1 months ago

Download user.it.uu.se

Nan Guan, Wang Yi, Zonghua Gu, Qingxu Deng, Ge Yu

claim paper

Read More »

102

click to vote

HASE
2007
IEEE

83views Control Systems» more HASE 2007»

Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation

16 years 29 days ago

Download www.deeds.informatik.tu-darmstadt.de

Péter Bokor, Marco Serafini, Áron Si...

claim paper

Read More »

116

click to vote

RTSS
2007
IEEE

113views Control Systems» more RTSS 2007»

Castor: Secure Code Updates Using Symmetric Cryptosystems

16 years 27 days ago

Download www.cylab.cmu.edu

Donnie H. Kim, Rajeev Gandhi, Priya Narasimhan

claim paper

Read More »

129

click to vote

FROCOS
2007
Springer

91views Control Systems» more FROCOS 2007»

A Temporal Logic of Robustness

16 years 24 days ago

Download www.csse.uwa.edu.au

Tim French, John Christopher McCabe-Dansted, Mark ...

claim paper

Read More »

126

click to vote

IWSOS
2007
Springer

98views Control Systems» more IWSOS 2007»

CSP, Cooperative Service Provisioning Using Peer-to-Peer Principles

16 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers