1359 search results - page 41 / 272 » Black-Box Program Specialization |
106
click to vote
SAC
2006
ACM
15 years 8 months ago
2006
ACM
ide, applications are programmed in an abstract manner describing essentially the chemical coordination between (not necessarily chemical) software components. On the other side, c...
CORR
2007
Springer
15 years 2 months ago
2007
Springer
A rigid loop is a for-loop with a counter not accessible to the loop body or any other part of a program. Special instructions for rigid loops are introduced on top of the syntax ...
129
click to vote
SIAMJO
2000
15 years 2 months ago
2000
There has been a great deal of success in the last twenty years with the use of cutting plane algorithms to solve specialized integer programming problems. Generally, these algori...
115
click to vote
ECOOPW
1998
Springer
15 years 6 months ago
1998
Springer
It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illust...
123
click to vote
SNPD
2008
15 years 3 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...