Sciweavers

1601 search results - page 276 / 321
» Service Engineering Design Patterns
Sort
View
PPOPP
2006
ACM
15 years 5 months ago
Proving correctness of highly-concurrent linearisable objects
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Mar...
EUROMICRO
2005
IEEE
15 years 5 months ago
Naked Objects versus Traditional Mobile Platform Development: A Comparative Case Study
It has been suggested that use of the Naked Objects pattern could contribute to business agility of applications and reduce the amount of the application code up to 75 percent in ...
Heikki Keränen, Pekka Abrahamsson
PPOPP
2005
ACM
15 years 5 months ago
Static analysis of atomicity for programs with non-blocking synchronization
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...
Liqiang Wang, Scott D. Stoller
GECCO
2004
Springer
327views Optimization» more  GECCO 2004»
15 years 5 months ago
Evolution, Robustness, and Adaptation of Sidewinding Locomotion of Simulated Snake-Like Robot
Inspired by the efficient method of locomotion of the rattlesnake Crotalus cerastes, the objective of this work is automatic design through genetic programming, of the fastest poss...
Ivan Tanev, Thomas S. Ray, Andrzej Buller
IWPSE
2003
IEEE
15 years 5 months ago
CVS Release History Data for Detecting Logical Couplings
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
Harald Gall, Mehdi Jazayeri, Jacek Krajewski