3388 search results - page 539 / 678 » Type-theoretic design patterns |
154
click to vote
PPOPP
2005
ACM
16 years 4 hour ago
2005
ACM
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...
160
click to vote
SAC
2005
ACM
16 years 4 hour ago
2005
ACM
This paper proposes a model along with a reference software architecture enabling multi-coordination between distributed and mobile software agents. Multi-coordination allows agen...
146
click to vote
SI3D
2005
ACM
16 years 3 hour ago
2005
ACM
We present a software pipeline that enables an animator to deform light fields. The pipeline can be used to deform complex objects, such as furry toys, while maintaining photo-re...
154
click to vote
ADBIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Quality of software has growing role of the modern software engineering work. Typical current trends in the development process are the dominating role of quality systems...
123
click to vote
CIARP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper presents a new approach to the question of surface grading based on soft colour-texture descriptors and well known classifiers. These descriptors come from gl...