5090 search results - page 50 / 1018 » Constructing Strategies for Programming |
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
97
Voted
UM
2005
Springer
15 years 8 months ago
2005
Springer
72
Voted
CP
2004
Springer
15 years 8 months ago
2004
Springer
152
click to vote
SNPD
2003
15 years 4 months ago
2003
The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of d...
108
click to vote
INFOCOM
2002
IEEE
15 years 7 months ago
2002
IEEE
— A number of large-scale distributed Internet applications could potentially benefit from some level of knowledge about the relative proximity between its participating host no...