Sciweavers

5639 search results - page 99 / 1128
» Timed Abstract Non-interference
Sort
View
94
Voted
ICA3PP
2005
Springer
15 years 5 months ago
Analytical Models of Probability Distributions for MPI Point-to-Point Communication Times on Distributed Memory Parallel Compute
Abstract. Measurement and modelling of distributions of data communication times is commonly done for telecommunication networks, but this has not previously been done for message ...
Duncan A. Grove, Paul D. Coddington
CPAIOR
2004
Springer
15 years 5 months ago
A New Exact Solution Algorithm for the Job Shop Problem with Sequence-Dependent Setup Times
Abstract. We propose a new solution approach for the Job Shop Problem with Sequence Dependent Setup Times (SDST-JSP). The problem consists in scheduling jobs, each job being a set ...
Christian Artigues, Sana Belmokhtar, Dominique Fei...
ISMS
2004
Springer
15 years 5 months ago
Real-Time Incision Simulation Using Discontinuous Free Form Deformation
Abstract. Surgical simulations with the aid of computers is a topic of increasingly extensive research. Realtime response and interactivity are crucial components of any such syste...
Guy Sela, Sagi Schein, Gershon Elber
WORDS
2003
IEEE
15 years 5 months ago
Input-Dependency Analysis for Hard Real-Time Software
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...
Jan Gustafsson, Björn Lisper, Raimund Kirner,...
DATE
2010
IEEE
141views Hardware» more  DATE 2010»
15 years 5 months ago
Loosely Time-Triggered Architectures for Cyber-Physical Systems
Abstract—Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Kopetz’ Time-Triggered Architectures (TTA) have been proposed as...
Albert Benveniste