7820 search results - page 1443 / 1564 » Formalization of Time and Space |
176
click to vote
CHARME
2003
Springer
16 years 5 days ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
231
click to vote
ICSE
2003
IEEE-ACM
16 years 4 days ago
2003
IEEE-ACM
Functional requirements contain, and systems exhibit, the behavior summarized below.Despite the advances in software engineering since 1968, how to go from a set of functional req...
175
Voted
ISAAC
2003
Springer
16 years 4 days ago
2003
Springer
Given a string x and a language L, the Hamming distance of x to L is the minimum Hamming distance of x to any string in L. The edit distance of a string to a language is analogous...
208
Voted
ISCA
2002
IEEE
15 years 12 months ago
2002
IEEE
Many emerging processor microarchitectures seek to manage technological constraints (e.g., wire delay, power, and circuit complexity) by resorting to nonuniform designs that provi...
204
click to vote
WISE
2002
Springer
15 years 12 months ago
2002
Springer
Web caching is an important technique for accelerating web applications and reducing the load on the web server and the network through local cache accesses. As in the traditional...