2466 search results - page 184 / 494 » Concurrent Clustered Programming |
128
Voted
NDSS
2009
IEEE
15 years 9 months ago
2009
IEEE
Anti-malware companies receive thousands of malware samples every day. To process this large quantity, a number of automated analysis tools were developed. These tools execute a m...
117
click to vote
IFL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
113
click to vote
ECOOP
1994
Springer
15 years 6 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
FMOODS
2007
15 years 3 months ago
2007
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
137
click to vote
FUIN
2002
15 years 2 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...