Sciweavers

1944 search results - page 225 / 389
» Coupling-based Integration Testing
Sort
View
MM
2000
ACM
159views Multimedia» more  MM 2000»
15 years 5 months ago
Region-based retrieval of biomedical images
Searching digital biomedical images is a challenging problem. Prevalent retrieval techniques involve human-supplied text annotations to describe image contents. Biomedical images,...
James Ze Wang
131
Voted
CARDIS
2000
Springer
173views Hardware» more  CARDIS 2000»
15 years 5 months ago
Smart Tools for Java Cards
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
Isabelle Attali, Denis Caromel, Carine Courbis, Lu...
86
Voted
ARITH
1999
IEEE
15 years 4 months ago
Multiplications of Floating Point Expansions
In modern computers, the floating point unit is the part of the processor delivering the highest computing power and getting most attention from the design team. Performance of an...
Marc Daumas
104
Voted
DAC
1999
ACM
15 years 4 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...
90
Voted
HICSS
1999
IEEE
141views Biometrics» more  HICSS 1999»
15 years 4 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