2881 search results - page 333 / 577 » Model Checking for Programming Languages using Verisoft |
180
click to vote
ICLP
2005
Springer
16 years 3 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
184
click to vote
SAC
1994
ACM
15 years 10 months ago
1994
ACM
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
165
click to vote
IJHPCA
2007
15 years 6 months ago
2007
We describe the rationale behind the design of key features of Titanium—an explicitly parallel dialect of JavaTM for high-performance scientific programming—and our experienc...
179
click to vote
POPL
2000
ACM
15 years 11 months ago
2000
ACM
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
257
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
Time Of Check To Time Of Use (TOCTTOU) race conditions for file accesses in user-space applications are a common problem in Unix-like systems. The mapping between filename and i...