12052 search results - page 559 / 2411 » computing 2010 |
219
click to vote
ENTCS
2006
15 years 7 months ago
2006
Program slicing is a well-known technique to extract the program statements that (potentially) affect the values computed at some point of interest. In this work, we introduce a n...
180
click to vote
ENTCS
2006
15 years 7 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
159
click to vote
EOR
2006
15 years 7 months ago
2006
The problem of routing and wavelength assignment in all-optical networks may be solved by a combined approach involving the computation of alternative routes for the lightpaths, f...
200
click to vote
DBSK
2007
15 years 7 months ago
2007
Abstract. Despite recent improvements in wireless network protocols and the manufacturing of better, more performant mobile devices, developing mobile applications and services sti...
197
click to vote
ENTCS
2007
15 years 7 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...