2019 search results - page 123 / 404 » Programming with Shared Data Abstractions |
132
click to vote
SOCO
2008
Springer
15 years 2 months ago
2008
Springer
Abstract We demonstrate a SIMD C++ genetic programming system on a single 128 node parallel nVidia GeForce 8800 GTX GPU under RapidMind's GPGPU Linux software by predicting te...
123
click to vote
POPL
2011
ACM
14 years 5 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
120
click to vote
ESORICS
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Diagnostic and classification algorithms play an important role in data analysis, with applications in areas such as health care, fault diagnostics, or benchmarking. Bran...
108
click to vote
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
133
click to vote
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...