4386 search results - page 229 / 878 » A Tamper-Resistant Programming Language System |
126
click to vote
APSEC
1999
IEEE
15 years 6 months ago
1999
IEEE
CORBA (Common Object Request Broker Architecture) is widely perceived as an emerging platform for distributed systems development. In this paper, we discuss CORBA's testing, ...
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
106
click to vote
WEBDB
1998
Springer
15 years 6 months ago
1998
Springer
In its infancy, the World-Wide Web consisted of a web of largely static hypertext documents. As time progresses it is evolving into a domain which supports almost arbitrary network...
109
click to vote
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
143
click to vote
ASPLOS
1996
ACM
15 years 6 months ago
1996
ACM
On a distributed memory machine, hand-coded message passing leads to the most efficient execution, but it is difficult to use. Parallelizing compilers can approach the performance...