4722 search results - page 122 / 945 » Encoding Program Executions |
102
Voted
IPL
2007
15 years 2 months ago
2007
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...
102
Voted
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Today, clusters are very important computing resources and many computing centers manage their clusters in private networks. But parallel programs may not work in private clusters....
116
click to vote
EUC
2004
Springer
15 years 7 months ago
2004
Springer
The Distributed Object Group Framework(DOGF) we constructed supports the grouping of distributed objects that are required for distributed application. From the DOGF, we manage dis...
118
click to vote
MOZ
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Here we introduce DePathos, a graphical tool for a timetabling constraint engine (Pathos). Since the core of Pathos is textbased and provides little user-interaction, fi...
127
Voted
SIGMOD
1996
ACM
15 years 6 months ago
1996
ACM
Object-Relational and Object-Oriented DBMSs allow users to invoke time-consuming ("expensive") methods in their queries. When queries containing these expensive methods a...