232 search results - page 31 / 47 » A Message Ordering Problem in Parallel Programs |
186
click to vote
CP
2009
Springer
16 years 10 days ago
2009
Springer
A problem that is inherent to the development and efficient use of solvers is that of tuning parameters. The CP community has a long history of addressing this task automatically. ...
HPDC
2009
IEEE
14 years 9 months ago
2009
IEEE
In sporting event transmissions of international significance, broadcasting in each country is carried out by the owner of the rights for that particular country. The output signa...
121
click to vote
ALP
1992
Springer
15 years 3 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
102
click to vote
WEA
2005
Springer
15 years 5 months ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
FLOPS
2006
Springer
15 years 3 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...