16844 search results - page 272 / 3369 » How to Design Programs |
160
Voted
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
Intuitively, Braess's paradox states that destroying a part of a network may improve the common latency of selfish flows at Nash equilibrium. Such a paradox is a pervasive phe...
155
click to vote
CP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. VLSI chips design is becoming increasingly complex and calling for more and more automation. Many chip design problems can be formulated naturally as constraint problems ...
191
click to vote
PLDI
2006
ACM
16 years 18 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
196
click to vote
ACMICEC
2005
ACM
16 years 6 days ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
228
click to vote
SIGCSE
2012
ACM
14 years 2 months ago
2012
ACM
The Calico project is a multi-language, multi-context programming framework and learning environment for computing education. This environment is designed to support several inter...