Sciweavers

3218 search results - page 193 / 644
» Timed Extensions for SDL
Sort
View
CIMCA
2005
IEEE
15 years 10 months ago
OntoBayes: An Ontology-Driven Uncertainty Model
— This paper describes an ontology-driven model, which integrates Bayesian Networks (BN) into the Ontology Web Language (OWL) to preserve the advantages of both. This model makes...
Yi Yang, Jacques Calmet
76
Voted
ISCAS
2005
IEEE
122views Hardware» more  ISCAS 2005»
15 years 10 months ago
Stability of a shift-variant 2-D state-space digital filter
Abstract— Sufficient conditions for stability of time-varying 1D systems are already well established. This work treats the 2-D case in an approach that parallels that of the 1-...
Glen W. Mabey, Tamal Bose, Mei Chen
ISAAC
2005
Springer
113views Algorithms» more  ISAAC 2005»
15 years 10 months ago
A Simple Optimal Randomized Algorithm for Sorting on the PDM
Abstract. The Parallel Disks Model (PDM) has been proposed to alleviate the I/O bottleneck that arises in the processing of massive data sets. Sorting has been extensively studied ...
Sanguthevar Rajasekaran, Sandeep Sen
IRI
2003
IEEE
15 years 10 months ago
AnyLog stable design pattern
— The AnyLog pattern models the core knowledge of any Log, as a written record. The Log finds extensive use in the computing industry. The pattern makes it easy to model differen...
Mohamed E. Fayad, Jayashree Rajagopalan, Anita Ran...
ATS
2002
IEEE
136views Hardware» more  ATS 2002»
15 years 10 months ago
Recent Advances in Test Planning for Modular Testing of Core-Based SOCs
Test planning for core-based system-on-a-chip (SOC) designs is necessary to reduce testing time and test cost. In this paper, we survey recent advances in test planning that addre...
Vikram Iyengar, Krishnendu Chakrabarty, Erik Jan M...