2231 search results - page 128 / 447 » Alternation as a programming paradigm |
137
Voted
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
129
Voted
ISESE
2003
IEEE
15 years 9 months ago
2003
IEEE
Pair programming is a practice in which two programmers work collaboratively at one computer on the same design, algorithm, code, or test. Pair programming is becoming increasingl...
140
click to vote
ALGORITHMICA
2006
15 years 4 months ago
2006
Our goal is to develop a robust out-of-core sorting program for a distributed-memory cluster. The literature contains two dominant paradigms for out-of-core sorting algorithms: me...
142
click to vote
SEUS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. In this paper we explore the combination of a time-predictable chipmultiprocessor system with the single-path programming paradigm. Time-sliced arbitration of the main me...
132
click to vote
SEFM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. Algebraic laws have been proposed to support program transformation in several paradigms. In general, and for object-orientation in particular, these laws tend to ignore ...