6274 search results - page 1072 / 1255 » Proofs, Programs, Processes |
DAMON
2007
Springer
14 years 5 months ago
2007
Springer
Recently, graphics processing units, or GPUs, have become a viable alternative as commodity, parallel hardware for generalpurpose computing, due to their massive data-parallelism,...
ECOWS
2007
Springer
14 years 5 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
EGH
2007
Springer
14 years 5 months ago
2007
Springer
In this paper, we present a method for rendering deformations as part of the programmable shader pipeline of contemporary Graphical Processing Units. In our method, we allow gener...
ESWS
2007
Springer
14 years 5 months ago
2007
Springer
We present Explorative Debugging as a novel debugging paradigm for rule based languages. Explorative Debugging allows truly declarative debugging of rules and is well suited to sup...
EUROSSC
2007
Springer
14 years 5 months ago
2007
Springer
Context-aware applications require context information to adapt their behaviour to the current situation. When developing context-aware applications, application developers need to...