1700 search results - page 262 / 340 » Specifying and implementing refactorings |
141
click to vote
CAL
2006
15 years 6 months ago
2006
Abstract-- Transactional memory has great potential for simplifying multithreaded programming by allowing programmers to specify regions of the program that must appear to execute ...
180
click to vote
CGF
2006
15 years 6 months ago
2006
Composite images are synthesized from existing photographs by artists who make concept art, e.g., storyboards for movies or architectural planning. Current techniques allow an art...
193
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
RFID technology is gaining adoption on an increasing scale for tracking and monitoring purposes. Wide deployments of RFID devices will soon generate an unprecedented volume of dat...
167
click to vote
DPD
2006
15 years 6 months ago
2006
A major problem of unstructured P2P systems is their heavy network traffic. This is caused mainly by high numbers of query answers, many of which are irrelevant for users. One solu...
161
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...