Sciweavers

817 search results - page 53 / 164
» On 2-factors with k components
Sort
View
ICSE
1997
IEEE-ACM
15 years 10 months ago
Analyzing Partially-Implemented Real-Time Systems
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...
ESE
1990
128views Database» more  ESE 1990»
15 years 10 months ago
Characterizing Diagnoses
Most approaches to model-based diagnosis describe a diagnosis for a system as a set of failing components that explains the symptoms. In order to characterize the typically very l...
Johan de Kleer, Alan K. Mackworth, Raymond Reiter
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
15 years 10 months ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...
USS
2008
15 years 8 months ago
Towards Application Security on Untrusted Operating Systems
Complexity in commodity operating systems makes compromises inevitable. Consequently, a great deal of work has examined how to protect security-critical portions of applications f...
Dan R. K. Ports, Tal Garfinkel
ASPDAC
2005
ACM
120views Hardware» more  ASPDAC 2005»
15 years 8 months ago
STACCATO: disjoint support decompositions from BDDs through symbolic kernels
Abstract— A disjoint support decomposition (DSD) is a representation of a Boolean function F obtained by composing two or more simpler component functions such that the component...
Stephen Plaza, Valeria Bertacco