2777 search results - page 30 / 556 » Example centric programming |
APLAS
2009
ACM
14 years 4 months ago
2009
ACM
We describe an algorithm for synthesizing resource invariants that are used in the verification of concurrent programs. This synthesis employs bi-abductive inference to identify t...
AAAI
2007
14 years 6 days ago
2007
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
Signals and systems lab courses that are currently offered at many universities are mostly based on textbased programming languages and environments, in particular MATLAB. This pa...
SAMOS
2004
Springer
14 years 3 months ago
2004
Springer
— In this paper we present the Molen programming paradigm, which is a sequential consistency paradigm for programming Custom Computing Machines (CCM). The programming paradigm al...
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
The use of the DEEP development environment to analyze parallel program performance is described. The full integrated environment contains tools for the creation, analysis and deb...