1974 search results - page 82 / 395 » A Library System for Small-Scale Library |
142
click to vote
JCDL
2005
ACM
15 years 7 months ago
2005
ACM
One of the criticisms library users often make of catalogs is that they rarely include information below the bibliographic level. It is generally impossible to search a catalog fo...
KR
1994
Springer
15 years 5 months ago
1994
Springer
A key problem in case-based reasoning is the representation, organization and maintenance of case libraries. While current approaches rely on heuristic and psychologically inspire...
149
click to vote
ICFP
2012
ACM
13 years 3 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
STTT
2008
15 years 1 months ago
2008
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems
112
click to vote
SC
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents a dynamic task scheduling approach to executing dense linear algebra algorithms on multicore systems (either shared-memory or distributed-memory). We use a tas...