5090 search results - page 50 / 1018 » Constructing Strategies for Programming |
ICALP
2009
Springer
14 years 9 months ago
2009
Springer
UM
2005
Springer
14 years 2 months ago
2005
Springer
CP
2004
Springer
14 years 2 months ago
2004
Springer
SNPD
2003
13 years 10 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...
INFOCOM
2002
IEEE
14 years 1 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...