1700 search results - page 208 / 340 » Specifying and implementing refactorings |
153
click to vote
VMCAI
2009
Springer
16 years 29 days ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
150
click to vote
DATE
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract—High computational effort in modern image processing applications like medical imaging or high-resolution video processing often demands for massively parallel special p...
194
click to vote
SACI
2009
IEEE
16 years 27 days ago
2009
IEEE
—In the grid context, there is little support for programming paradigms such as shared data or associative programming. We have previously proposed an original idea to attack sha...
159
click to vote
ICEIS
2009
IEEE
16 years 25 days ago
2009
IEEE
One of the most difficult tasks in the design of information systems is how to control the behaviour of the back-end storage engine, usually a relational database. As the load on t...
133
click to vote
INFOCOM
2009
IEEE
16 years 25 days ago
2009
IEEE
—In a significant class of sensor-network applications, the identities of the reporting sensors constitute the bulk of the communicated data, whereas the message itself can be a...