1492 search results - page 146 / 299 » Concurrent programming in VISO |
103
Voted
PDP
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
102
click to vote
CONCUR
1999
Springer
15 years 4 months ago
1999
Springer
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurr...
92
Voted
APLAS
2010
ACM
15 years 23 days ago
2010
ACM
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...
107
click to vote
FMSD
2002
15 years 9 days ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
36
Voted
IFE
2002
15 years 9 days ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...