880 search results - page 70 / 176 » Model checking erlang programs: the functional approach |
112
click to vote
IH
1998
Springer
15 years 8 months ago
1998
Springer
Software piracy is a major economic problem: it leads to revenue losses, it favors big software houses that are less hurt by these losses and it prevents new software economy model...
128
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
144
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...
121
click to vote
CLUSTER
2007
IEEE
15 years 10 months ago
2007
IEEE
— Achieving high performance for out-of-core applications typically involves explicit management of the movement of data between the disk and the physical memory. We are developi...
163
click to vote
PVM
2010
Springer
15 years 2 months ago
2010
Springer
The number of multithreaded Message Passing Interface (MPI) implementations and applications is increasing rapidly. We discuss how multithreaded applications can receive messages o...