2343 search results - page 215 / 469 » Structure and Interpretation of Computer Programs |
158
click to vote
ESOP
2007
Springer
16 years 17 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
183
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
An algorithm for online distance computation based on images taken in a sewer by a robot-inspector is presented. Modern concrete sewers are made of standard cylindrical pipes sepa...
204
Voted
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
This invited contribution motivates the Hypermedia Discourse research programme, investigating the reading, writing and contesting of ideas as hypermedia networks grounded in disco...
186
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
187
click to vote
GI
2007
Springer
16 years 17 days ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...