Sciweavers

983 search results - page 28 / 197
» Object-oriented Abstractions for Distributed Programming
Sort
View
137
Voted
IPPS
2000
IEEE
15 years 10 months ago
Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification
Dominique Cansell, Dominique Méry, Christop...
175
Voted
APCSAC
2003
IEEE
15 years 10 months ago
On Implementing High Level Concurrency in Java
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...
G. Stewart Von Itzstein, Mark Jasiunas
186
Voted
ENTCS
2008
146views more  ENTCS 2008»
15 years 6 months ago
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
Michael J. A. Smith