4722 search results - page 341 / 945 » Encoding Program Executions |
163
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Today, the choice for a particular programming language limits the alternative products that can be used to deploy the program. The purpose of this work is to break the strong tie...
160
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
The combination of message passing and locking to protect shared state is a useful concurrency pattern. However, programs that employ this pattern are susceptible to deadlock. That...
151
click to vote
HPCC
2007
Springer
16 years 28 days ago
2007
Springer
The grid security architecture today does not prevent certain unauthorized access to the files associated with a job executing on a remote machine. Programs and data are transferre...
195
click to vote
ACL2
2006
ACM
16 years 22 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
191
click to vote
PADL
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...