8689 search results - page 1366 / 1738 » Software: hard data |
176
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
133
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
The diff3 algorithm is widely considered the gold standard for merging uncoordinated changes to list-structured data such as text files. Surprisingly, its fundamental properties h...
182
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
191
click to vote
ISPA
2007
Springer
16 years 1 months ago
2007
Springer
The Cell processor is a typical example of a heterogeneous multiprocessor-on-chip architecture that uses several levels of parallelism to deliver high performance. Closing the gap ...
156
click to vote
IVA
2007
Springer
16 years 1 months ago
2007
Springer
We have developed software bots that inhabit the popular online social environment SecondLife (SL). Our bots can wander around, collect data, engage in simple interactions, and car...