Search Sciweavers | Sciweavers

34199 search results - page 21 / 6840

» Petascale Computational Systems

155

click to vote

HYBRID
2007
Springer

110views Control Systems» more HYBRID 2007»

The Image Computation Problem in Hybrid Systems Model Checking

16 years 4 days ago

Download www.trustsoft.uni-oldenburg.de

André Platzer, Edmund M. Clarke

claim paper

Read More »

152

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 10 months ago

Download www.cs.unc.edu

Kevin Jeffay, Gerardo Lamastra

claim paper

Read More »

187

click to vote

RTAS
1995
IEEE

239views Embedded Systems» more RTAS 1995»

Distributed synthesis of real-time computer systems

15 years 9 months ago

Download blogs.najah.edu

Ahmad Abualsamid, Raed Alqadi, Parameswaran Ramana...

claim paper

Read More »

118

click to vote

CDC
2008
IEEE

124views Control Systems» more CDC 2008»

Some identification techniques in computer vision

16 years 14 days ago

Download www.nt.ntnu.no

Alessandro Chiuso, Giorgio Picci

claim paper

Read More »

143

click to vote

SIGOPSE
2000
ACM

87views Operating System» more SIGOPSE 2000»

Distributing processing without DPEs: design considerations for public computing platforms

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers