10707 search results - page 225 / 2142 » Designing executable abstractions |
141
click to vote
CLUSTER
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract--This paper proposes an analytical model to estimate the cost of running an affinity-based thread schedule on multicore systems. The model consists of three submodels to e...
144
click to vote
RTA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper we present our formalization of two important termination techniques for term rewrite systems: the subterm criterion and the reduction pair processor in com...
144
click to vote
CAISE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The paper presents an approach towards executing transactions between enterprises, governmental bodies and banking institutions, based on ERP applications connected over ...
134
click to vote
APNOMS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Despite the importance of seamless connectivity in ubiquitous computing, research for seamless connectivity has not been considered properly. To provide seamless connecti...
136
click to vote
BPM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Car development is based on long running, concurrently executed and highly dependent processes. The coordination and synchronization of these processes has become a compl...