2249 search results - page 408 / 450 » ILP-based engineering change |
181
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
181
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
Never before have so many information sources been available. Most are accessible on-line and some exist on the Internet alone. However, this large information quantity makes inte...
160
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
We have developed an automatic DTB production platform [3], which is capable of flexibly generating different user interfaces for talking books. DTBs are built from digital copies ...
170
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
154
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...