1974 search results - page 100 / 395 » A Library System for Small-Scale Library |
158
Voted
PPOPP
2012
ACM
13 years 9 months ago
2012
ACM
This paper introduces a programming interface called PARRAY (or Parallelizing ARRAYs) that supports system-level succinct programming for heterogeneous parallel systems like GPU c...
107
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
136
click to vote
CONCURRENCY
1998
15 years 1 months ago
1998
The JPVM library is a software system for explicit message-passing based distributed memory MIMD parallel programming in Java. The library supports an interface similar to the C a...
140
click to vote
TOG
2008
15 years 1 months ago
2008
In this paper, we present a complete system for automatic face replacement in images. Our system uses a large library of face images created automatically by downloading images fr...
112
click to vote
ICSEA
2006
IEEE
15 years 7 months ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....