3168 search results - page 475 / 634 » Computing Event Dependencies in System Designs and Programs |
151
Voted
PADL
2010
Springer
15 years 7 months ago
2010
Springer
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...
153
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
235
Voted
PPOPP
2011
ACM
14 years 8 months ago
2011
ACM
The queue data structure is fundamental and ubiquitous. Lockfree versions of the queue are well known. However, an important open question is whether practical wait-free queues ex...
132
click to vote
SIGCSE
2009
ACM
16 years 6 months ago
2009
ACM
Dynamic memory management and the use of pointers are critical topics in teaching the C++ language. They are also some of the most difficult for students to grasp properly. The re...
151
click to vote
SP
2003
IEEE
15 years 10 months ago
2003
IEEE
We present an experimental study showing that soft memory errors can lead to serious security vulnerabilities in Java and .NET virtual machines, or in any system that relies on ty...