Sciweavers

112 search results - page 20 / 23
» Test Case Preparation Using a Prototype
Sort
View
IFIP
2010
Springer
13 years 2 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
3DPVT
2006
IEEE
171views Visualization» more  3DPVT 2006»
14 years 1 months ago
Image Based Localization in Urban Environments
In this paper we present a prototype system for image based localization in urban environments. Given a database of views of city street scenes tagged by GPS locations, the system...
Wei Zhang, Jana Kosecka
FCCM
2007
IEEE
107views VLSI» more  FCCM 2007»
14 years 1 months ago
Optimizing Logarithmic Arithmetic on FPGAs
This paper proposes optimizations of the methods and parameters used in both mathematical approximation and hardware design for logarithmic number system (LNS) arithmetic. First, ...
Haohuan Fu, Oskar Mencer, Wayne Luk
ICCBR
2007
Springer
14 years 1 months ago
Failure Analysis for Domain Knowledge Acquisition in a Knowledge-Intensive CBR System
A knowledge-intensive case-based reasoning system has profit of the domain knowledge, together with the case base. Therefore, acquiring new pieces of domain knowledge should impro...
Amélie Cordier, Béatrice Fuchs, Jean...
SP
2000
IEEE
110views Security Privacy» more  SP 2000»
13 years 11 months ago
LOMAC: Low Water-Mark Integrity Protection for COTS Environments
We hypothesize that a form of kernel-resident accesscontrol-based integrity protection can gain widespread acceptance in Commercial Off-The-Shelf (COTS) environments provided that...
Timothy Fraser