2300 search results - page 59 / 460 » Maximally Concurrent Programs |
144
Voted
FORTE
2009
14 years 10 months ago
2009
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...
185
Voted
B
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
101
click to vote
JMLR
2012
13 years 3 months ago
2012
Bisubmodularity extends the concept of submodularity to set functions with two arguments. We show how bisubmodular maximization leads to richer value-of-information problems, usin...
110
click to vote
SIGADA
1999
Springer
15 years 5 months ago
1999
Springer
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
102
click to vote
HICSS
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper introduces a new architecture for automating the generalization of program structure and the recognition of common patterns in the area of malware analysis. By using ma...