4426 search results - page 465 / 886 » Concurrent Constraint Programming |
174
click to vote
VMCAI
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
187
click to vote
ERLANG
2004
ACM
16 years 9 days ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
168
click to vote
SAS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
176
click to vote
VL
2003
IEEE
2003
IEEE
The effects of graphical and textual visualisations in multi-representational debugging environments
16 years 4 days ago
The effects of graphical and textual visualisations in a multi-representational debugging environment were investigated in computing students who used a software debugging environ...
191
click to vote
FIDJI
2003
Springer
16 years 3 days ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...