14244 search results - page 689 / 2849 » Modeling Program Predictability |
205
click to vote
DCOSS
2011
Springer
14 years 7 months ago
2011
Springer
—Sensor networks are often redundant by design; this is often done in order to achieve reliability in information processing. In many cases, the redundancy relationships between ...
200
click to vote
ASPLOS
2008
ACM
15 years 9 months ago
2008
ACM
Recently, the number of cores on general-purpose processors has been increasing rapidly. Using conventional programming models, it is challenging to effectively exploit these core...
195
click to vote
ATAL
2005
Springer
16 years 23 days ago
2005
Springer
In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of insti...
220
click to vote
AAMAS
2011
Springer
14 years 11 months ago
2011
Springer
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...
197
click to vote
WSC
2000
15 years 8 months ago
2000
This paper presents an approach to the operational analysis of future space transportation systems. The approach combines knowledge from government and industry space operation an...