Sciweavers

1943 search results - page 231 / 389
» End-to-End Integration Testing
Sort
View
DAC
1999
ACM
15 years 10 months ago
Verification and Management of a Multimillion-Gate Embedded Core Design
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...
Johann Notbauer, Thomas W. Albrecht, Georg Niedris...
HICSS
1999
IEEE
141views Biometrics» more  HICSS 1999»
15 years 10 months ago
An Application Framework for Synchronous Collaboration using Java Beans
This paper presents a JavaBeans framework that supports real-time synchronous collaborative applications. We contribute a generic collaboration bus as an enabling virtual "ch...
Ivan Marsic, Bogdan Dorohonceanu
AMTA
1998
Springer
15 years 10 months ago
A Modular Approach to Spoken Language Translation for Large Domains
The MT engine of the Janus speech-to-speech translation system is designed around four main principles: 1 an interlingua approach that allows the e cient addition of new languages,...
Monika Woszczyna, Matthew Broadhead, Donna Gates, ...
178
Voted
DBPL
1997
Springer
133views Database» more  DBPL 1997»
15 years 10 months ago
Automatic Verification of Transactions on an Object-Oriented Database
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
David Spelt, Herman Balsters
193
Voted
EPS
1997
Springer
15 years 10 months ago
Investigating Parallel Genetic Algorithms on Job Shop Scheduling Problems
This paper describes a GA for job shop scheduling problems. Using the Giffler and Thompson algorithm, we created two new operators, THX crossover and mutation, which better trans...
Shyh-Chang Lin, Erik D. Goodman, William F. Punch ...