2520 search results - page 224 / 504 » Model-checking behavioral programs |
233
click to vote
AGP
2003
IEEE
15 years 12 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
175
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...
170
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Predicting the running time of a parallel program is useful for determining the optimal values for the parameters of the implementation and the optimal mapping of data on processo...
149
click to vote
VL
1998
IEEE
15 years 10 months ago
1998
IEEE
This article presents the animated visual 3D programming language SAM (Solid Agents in Motion) for parallel systems specification and animation. A SAM program is a set of interact...
145
click to vote
APSEC
1997
IEEE
15 years 10 months ago
1997
IEEE
A task-type in concurrent programs is a template of task-instances which are dynamically generated in execution of the programs. The number of the generated taskinstances may not ...