Search Sciweavers | Sciweavers

34202 search results - page 31 / 6841

» The Tera computer system

134

click to vote

HYBRID
2007
Springer

110views Control Systems» more HYBRID 2007»

The Image Computation Problem in Hybrid Systems Model Checking

15 years 10 months ago

Download www.trustsoft.uni-oldenburg.de

André Platzer, Edmund M. Clarke

claim paper

Read More »

129

click to vote

RTCSA
2000
IEEE

153views Embedded Systems» more RTCSA 2000»

A comparative study of the realization of rate-based computing services in general purpose operating systems

15 years 8 months ago

Download www.cs.unc.edu

Kevin Jeffay, Gerardo Lamastra

claim paper

Read More »

164

click to vote

RTAS
1995
IEEE

239views Embedded Systems» more RTAS 1995»

Distributed synthesis of real-time computer systems

15 years 7 months ago

Download blogs.najah.edu

Ahmad Abualsamid, Raed Alqadi, Parameswaran Ramana...

claim paper

Read More »

102

click to vote

CDC
2008
IEEE

124views Control Systems» more CDC 2008»

Some identification techniques in computer vision

15 years 10 months ago

Download www.nt.ntnu.no

Alessandro Chiuso, Giorgio Picci

claim paper

Read More »

120

click to vote

SIGOPSE
2000
ACM

87views Operating System» more SIGOPSE 2000»

Distributing processing without DPEs: design considerations for public computing platforms

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers