Sciweavers

1897 search results - page 197 / 380
» Early application identification
Sort
View
VTS
2003
IEEE
131views Hardware» more  VTS 2003»
15 years 11 months ago
Efficient Implication - Based Untestable Bridge Fault Identifier
: This paper presents a novel, low cost technique based on implications to identify untestable bridging faults in sequential circuits. Sequential symbolic simulation [1] is first p...
Manan Syal, Michael S. Hsiao, Kiran B. Doreswamy, ...
ICCBR
2001
Springer
15 years 11 months ago
Applying CBR and Object Database Techniques in Chemical Process Design
The aim of this paper is to introduce a new method for finding and reusing process equipment design and inherently safer process configurations by case-based reasoning (CBR) and ob...
Timo Seuranen, Elina Pajula, Markku Hurme
LICS
2000
IEEE
15 years 11 months ago
Models for Name-Passing Processes: Interleaving and Causal
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
Gian Luca Cattani, Peter Sewell
ICSE
1998
IEEE-ACM
15 years 10 months ago
Calibrating the COCOMO II Post-Architecture Model
The COCOMO II model was created to meet the need for a cost model that accounted for future software development practices. This resulted in the formulation of three submodels for...
Bradford Clark, Sunita Devnani-Chulani, Barry W. B...
HICSS
1996
IEEE
139views Biometrics» more  HICSS 1996»
15 years 10 months ago
Strictly Class-Based Modeling Considered Harmful
Many object-oriented methods have assumed classbased approaches, without considering prototype-based ones. Some authors, while admitting prototypes as a useful concept, only envis...
Birgitte Krogh, Sean Levy, Allen H. Dutoit, Eswara...