1671 search results - page 284 / 335 » Language Constructs for Multi-agent Programming |
162
click to vote
HPDC
2008
IEEE
15 years 6 months ago
2008
IEEE
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...
IFL
2007
Springer
15 years 6 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
SIGSOFT
2006
ACM
15 years 5 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
FASE
2005
Springer
15 years 5 months ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...