1888 search results - page 106 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
138
click to vote
WCET
2007
15 years 4 months ago
2007
Our research focuses on formally bounded WCET analysis, where we aim to provide absolute guarantees on execution time bounds. In this paper, we describe how amortisation can be us...
120
click to vote
ICS
2005
Tsinghua U.
15 years 8 months ago
2005
Tsinghua U.
In order for collective communication routines to achieve high performance on different platforms, they must be able to adapt to the system architecture and use different algori...
246
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
130
click to vote
VRML
2003
ACM
15 years 8 months ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...
110
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...