Sciweavers

1264 search results - page 30 / 253
» Designing Safe, Reliable Systems using Scade
Sort
View
ISQED
2005
IEEE
81views Hardware» more  ISQED 2005»
14 years 4 months ago
An ILP Formulation for Reliability-Oriented High-Level Synthesis
Reliability decisions taken early in system design can bring significant benefits in terms of design quality. This paper presents a 0-1 integer linear programming (ILP) formulatio...
Suleyman Tosun, Ozcan Ozturk, Nazanin Mansouri, Er...
ATC
2008
Springer
14 years 25 days ago
Scheduling for Reliable Execution in Autonomic Systems
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
Terry Tidwell, Robert Glaubius, Christopher D. Gil...
ICSE
2001
IEEE-ACM
14 years 3 months ago
Theory of Software Reliability Based on Components
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...
Richard G. Hamlet, David V. Mason, Denise M. Woit
IJIIDS
2008
46views more  IJIIDS 2008»
13 years 11 months ago
Modelling an emergency vehicle early-warning system using real-time feedback
: Emergency vehicles, while usually equipped with warning sirens and/or beacons, are still often impeded by other traffic and involved in numerous collisions. An effective warning ...
Aline Senart, Mélanie Bouroche, Vinny Cahil...
ICASSP
2011
IEEE
13 years 2 months ago
Error compensation and reliability based view synthesis
View synthesis offers a great flexibility in generating free viewpoint television (FTV) and 3D video (3DV). However, the depth-image-based view synthesis approach is very sensiti...
Wenxiu Sun, Oscar C. Au, Lingfeng Xu, Sung Him Chu...