Sciweavers

1897 search results - page 197 / 380
» Early application identification
Sort
View
142
Voted
VTS
2003
IEEE
131views Hardware» more  VTS 2003»
15 years 10 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 9 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 9 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
189
Voted
ICSE
1998
IEEE-ACM
15 years 9 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 9 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...