3441 search results - page 464 / 689 » Parallel Logic Programming Systems |
159
click to vote
CSFW
2011
IEEE
14 years 4 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
146
Voted
TLDI
2005
ACM
15 years 10 months ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
149
click to vote
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
132
click to vote
ICPPW
2008
IEEE
15 years 11 months ago
2008
IEEE
The access patterns performed by disk-intensive applications vary widely, from simple contiguous reads or writes through an entire file to completely unpredictable random access....
132
Voted
ICS
2005
Tsinghua U.
15 years 10 months ago
2005
Tsinghua U.
We present compiler techniques for translating OpenMP shared-memory parallel applications into MPI messagepassing programs for execution on distributed memory systems. This transl...