Search Sciweavers | Sciweavers

34202 search results - page 31 / 6841

» The Tera computer system

click to vote

HYBRID
2007
Springer

110views Control Systems» more HYBRID 2007»

The Image Computation Problem in Hybrid Systems Model Checking

14 years 1 months ago

Download www.trustsoft.uni-oldenburg.de

André Platzer, Edmund M. Clarke

claim paper

Read More »

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

14 years 1 days ago

Download www.cs.unc.edu

Kevin Jeffay, Gerardo Lamastra

claim paper

Read More »

click to vote

RTAS
1995
IEEE

239views Embedded Systems» more RTAS 1995»

Distributed synthesis of real-time computer systems

13 years 11 months ago

Download blogs.najah.edu

Ahmad Abualsamid, Raed Alqadi, Parameswaran Ramana...

claim paper

Read More »

click to vote

CDC
2008
IEEE

124views Control Systems» more CDC 2008»

Some identification techniques in computer vision

14 years 2 months ago

Download www.nt.ntnu.no

Alessandro Chiuso, Giorgio Picci

claim paper

Read More »

click to vote

SIGOPSE
2000
ACM

87views Operating System» more SIGOPSE 2000»

Distributing processing without DPEs: design considerations for public computing platforms

14 years 16 hour ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers