1611 search results - page 224 / 323 » A Library for Self-Adjusting Computation |
151
click to vote
MODELS
2007
Springer
16 years 9 days ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
126
click to vote
PAM
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Most tools to recognize the application associated with network connections use well-known signatures as basis for their classification. This approach is very effective ...
158
click to vote
DATE
2006
IEEE
16 years 7 days ago
2006
IEEE
— In this paper, we present an analysis methodology to compute circuit node sensitivity due to charged particle induced delay (timing) errors, Soft Delay Errors (SDE). We define...
150
click to vote
IPPS
2006
IEEE
16 years 6 days ago
2006
IEEE
HiPerSAT, a C++ library and tools, processes EEG data sets with ICA (Independent Component Analysis) methods. HiPerSAT uses BLAS, LAPACK, MPI and OpenMP to achieve a high performa...
167
click to vote
ACL2
2006
ACM
16 years 4 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...