1204 search results - page 38 / 241 » Parallel concurrent ML |
134
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
128
Voted
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...
135
Voted
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...
139
click to vote
TCS
2008
15 years 4 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
119
click to vote
CONCUR
1999
Springer
15 years 9 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...