Sciweavers

1984 search results - page 309 / 397
» The colourful feasibility problem
Sort
View
DATE
2009
IEEE
131views Hardware» more  DATE 2009»
15 years 8 months ago
Optimizations of an application-level protocol for enhanced dependability in FlexRay
FlexRay [9] is an automotive standard for high-speed and reliable communication that is being widely deployed for next generation cars. The protocol has powerful errordetection me...
Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Gius...
134
Voted
AIPS
2008
15 years 7 months ago
Generating Robust Schedules Subject to Resource and Duration Uncertainties
We consider the Resource-Constrained Project Scheduling Problem with minimal and maximal time lags under resource and duration uncertainties. To manage resource uncertainties, we ...
Na Fu, Hoong Chuin Lau, Fei Xiao
152
Voted
CCS
2008
ACM
15 years 7 months ago
Provably secure browser-based user-aware mutual authentication over TLS
The standard solution for user authentication on the Web is to establish a TLS-based secure channel in server authenticated mode and run a protocol on top of TLS where the user en...
Sebastian Gajek, Mark Manulis, Ahmad-Reza Sadeghi,...
162
Voted
CODES
2008
IEEE
15 years 7 months ago
Guaranteed scheduling for repetitive hard real-time tasks under the maximal temperature constraint
We study the problem of scheduling repetitive real-time tasks with the Earliest Deadline First (EDF) policy that can guarantee the given maximal temperature constraint. We show th...
Gang Quan, Yan Zhang, William Wiles, Pei Pei
170
Voted
DAGM
2008
Springer
15 years 7 months ago
Postprocessing of Optical Flows Via Surface Measures and Motion Inpainting
Dense optical flow fields are required for many applications. They can be obtained by means of various global methods which employ regularization techniques for propagating estimat...
Claudia Kondermann, Daniel Kondermann, Christoph S...