Sciweavers

4722 search results - page 179 / 945
» Encoding Program Executions
Sort
View
AAMAS
2008
Springer
15 years 5 months ago
2APL: a practical agent programming language
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...
Mehdi Dastani
ESOP
2003
Springer
15 years 10 months ago
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling
Abstract. A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial poi...
Samir Genaim, Andy King
AAMAS
2011
Springer
14 years 8 months ago
Declarative programming for agent applications
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
John W. Lloyd, Kee Siong Ng
139
Voted
IPPS
2005
IEEE
15 years 10 months ago
Automatic Construction and Evaluation of Performance Skeletons
The performance skeleton of an application is a short running program whose execution time in any scenario reflects the estimated execution time of the application it represents....
Sukhdeep Sodhi, Jaspal Subhlok
CCS
2010
ACM
15 years 2 months ago
Platform-independent programs
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...
Sang Kil Cha, Brian Pak, David Brumley, Richard Ja...