2200 search results - page 211 / 440 » Programming norm change |
131
Voted
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
101
Voted
DISOPT
2008
15 years 3 months ago
2008
Abstract. Let the graph G = (V, E) be a cycle with n + 1 vertices, nonnegative vertex weights and positive edge lengths. The inverse 1-median problem on a cycle consists in changin...
158
Voted
IGPL
2006
15 years 3 months ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
119
Voted
JMM2
2008
15 years 3 months ago
2008
We have developed a novel software program called `Predict Your Child' that, given photographs of potential parent faces, generates plausible looking children. The parent phot...
133
Voted
ENTCS
2002
15 years 3 months ago
2002
Declarative debugging has been proposed as a suitable technique for developing debuggers in the context of declarative languages. However, to become really useful debuggers must b...