5330 search results - page 796 / 1066 » The Performability Tool P'ility |
219
Voted
WCRE
2002
IEEE
16 years 10 days ago
2002
IEEE
Machine code disassembly routines form a fundamental component of software systems that statically analyze or modify executable programs. The task of disassembly is complicated by...
174
Voted
SIGMETRICS
2010
ACM
16 years 7 days ago
2010
ACM
We show that CSMA is able to spontaneously synchronize transmissions in a wireless network with constant-size packets, and that this property can be used to devise efficient synch...
210
Voted
APN
2010
Springer
16 years 7 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 7 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...
161
Voted
ICSE
2010
IEEE-ACM
16 years 6 days ago
2010
IEEE-ACM
Concurrency fault are difficult to find because they usually occur under specific thread interleavings. Fault-detection tools in this area find data-access patterns among threa...