7892 search results - page 247 / 1579 » Programming with Models |
129
click to vote
ORL
2007
15 years 1 months ago
2007
We extend earlier work on scenario reduction by relying directly on Fortet–Mourier metrics instead of using upper bounds given in terms of mass transportation problems. The impo...
126
click to vote
POPL
1990
ACM
15 years 5 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
116
Voted
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
128
click to vote
PODC
2009
ACM
15 years 11 months ago
2009
ACM
The era of parallel computing for the masses is here, but writing correct parallel programs remains far more difficult than writing sequential programs. Aside from a few domains,...
135
click to vote
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...