24554 search results - page 4577 / 4911 » Dependable distributed systems |
210
Voted
APN
2010
Springer
16 years 8 days ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
300
Voted
DAS
2010
Springer
16 years 8 days ago
2010
Springer
In this paper we present a new database of online handwritten documents with different contents such as text, drawings, diagrams, formulas, tables, lists, and markings. It was de...
181
click to vote
PPOPP
2009
ACM
16 years 3 days ago
2009
ACM
Boosted transactions offer an attractive method that enables programmers to create larger transactions that scale well and offer deadlock-free guarantees. However, as boosted tran...
192
Voted
EUROPAR
2009
Springer
16 years 2 days ago
2009
Springer
Pilot-job systems have emerged as a computation paradigm to cope with heterogeneity of production grids, greatly improving fault ratios and latency. Tools like DIANE, WISDOM-II, To...
193
Voted
EUROPAR
2009
Springer
16 years 2 days ago
2009
Springer
A high-level understanding of how an application executes and which performance characteristics it exhibits is essential in many areas of high performance computing, such as applic...