4854 search results - page 165 / 971 » It's the Programming, Stupid |
173
click to vote
USITS
2001
15 years 8 months ago
2001
Previous research has addressed the scalability and availability issues associated with the construction of cluster-based network services. This paper studies the clustering of re...
159
click to vote
ACTAC
2007
15 years 7 months ago
2007
An o-line scheduling algorithm considers resource, precedence, and synchronisation requirements of a task graph, and generates a schedule guaranteeing its timing requirements. Th...
167
click to vote
ENTCS
2007
15 years 7 months ago
2007
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
181
click to vote
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
We consider an extension of the guarded fragment in which one can guard quanti ers using the transitive closure of some binary relations. The obtained logic captures the guarded fr...
142
click to vote
ISSAC
1994
Springer
15 years 11 months ago
1994
Springer
After four years of experience with the nonassociative algebra program Albert, we highlight its successes and drawbacks. Among its successes are the discovery of several new resul...