Search Sciweavers | Sciweavers

3387 search results - page 138 / 678

» Model-Checking for Real-Time Systems

134

click to vote

CORR
2008
Springer

103views Education» more CORR 2008»

Mode Change Protocol for Multi-Mode Real-Time Systems upon Identical Multiprocessors

15 years 6 months ago

Download dev.ulb.ac.be

Vincent Nélis, Joël Goossens

claim paper

Read More »

click to vote

IEEEMM
2008

54views more IEEEMM 2008»

VideOlympics: Real-Time Evaluation of Multimedia Retrieval Systems

15 years 6 months ago

Download staff.science.uva.nl

Cees G. M. Snoek, Marcel Worring, Ork de Rooij, Ko...

claim paper

Read More »

113

click to vote

COMPUTER
2006

86views more COMPUTER 2006»

Achieving Scalability in Real-Time Systems

15 years 6 months ago

Download www.inf.ufsc.br

Giorgio C. Buttazzo

claim paper

Read More »

120

click to vote

JACIII
2008

88views more JACIII 2008»

Implementation of a Real-Time FPGA-Based Intelligent Parallel Parking System

15 years 6 months ago

Download www.fujipress.jp

Mohamed Slim Masmoudi, Willie Tsui, Insop Song, Fa...

claim paper

Read More »

138

click to vote

JUCS
2008

182views more JUCS 2008»

The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers