13489 search results - page 373 / 2698 » Operating System |
188
click to vote
DSD
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we present an analysis of the minimal hardware precision required to implement Support Vector Machine (SVM) classification within a Logarithmic Number System archite...
172
click to vote
VLDB
2005
ACM
16 years 6 days ago
2005
ACM
In many systems, sensors are used to acquire information from external environments such as temperature, pressure and locations. Due to continuous changes in these values, and lim...
166
click to vote
RTSS
1996
IEEE
15 years 11 months ago
1996
IEEE
We present an integrated framework for developing realtime systems in which lock-free algorithms are employed to implement shared objects. There are two key objectives of our work...
164
click to vote
MVA
1996
15 years 8 months ago
1996
An automatic visual inspection system for the Tape Carrier Package (TCP) has been developed. To achieve low cost implementation and high speed inspection, we integrated unique ima...
203
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known c...