4854 search results - page 632 / 971 » It's the Programming, Stupid |
202
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This papers presents new Global Positioning System (GPS)based route discovery algorithms for on-demand routing in MANETs, called Position-based Selective Flooding (PSF). ...
165
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
166
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
We introduce an extension of the Parikh mapping called the Parikh ¢ -matrix mapping, which takes its values in matrices with polynomial entries. The morphism constructed represent...
157
click to vote
LCPC
2004
Springer
16 years 3 days ago
2004
Springer
Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ago, it has grown to over 12,000 lines of Java code, b...
216
click to vote
MOZ
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...