1835 search results - page 35 / 367 » Functional Programming of Behavior-Based Systems |
EUROPAR
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. Ever-increasing demand for computing capability is driving the construction of ever-larger computer clusters, soon to be reaching tens of thousands of processors. Many fu...
IEEEAMS
2003
IEEE
14 years 21 days ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
LPNMR
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
ASPLOS
2008
ACM
13 years 9 months ago
2008
ACM
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...