Sciweavers

576 search results - page 30 / 116
» Synchronization of Some DFA
Sort
View
SODA
2010
ACM
219views Algorithms» more  SODA 2010»
14 years 6 months ago
Algorithms and Complexity for Periodic Real-Time Scheduling
We investigate the preemptive scheduling of periodic tasks with hard deadlines. We show that, even in the uniprocessor case, no polynomial time algorithm can test the feasibility ...
Vincenzo Bonifaci, Ho-Leung Chan, Alberto Marchett...
EMSOFT
2004
Springer
14 years 11 days ago
Defining and translating a "safe" subset of simulink/stateflow into lustre
The Simulink/Stateflow toolset is an integrated suite enabling model-based design and has become popular in the automotive and aeronautics industries. We have previously developed...
Norman Scaife, Christos Sofronis, Paul Caspi, Stav...
WWW
2002
ACM
14 years 9 months ago
Multimedia meets computer graphics in SMIL2.0: a time model for the web
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...
Patrick Schmitz
PC
2008
119views Management» more  PC 2008»
13 years 8 months ago
GREMLINS: a large sparse linear solver for grid environment
Traditional large sparse linear solvers are not suited in a grid computing environment as they require a large amount of synchronization and communication penalizing the performan...
Raphaël Couturier, Christophe Denis, Fabienne...
CHI
2007
ACM
14 years 9 months ago
SyncDecor: appliances for sharing mutual awareness between lovers separated by distance
Many lovers separated by distance worry about their relationships, despite the fact that the use of various means of communication such as mobile phones and email is now widesprea...
Hitomi Tsujita, Itiro Siio, Koji Tsukada