744 search results - page 140 / 149 » Software Transactional Memory on Relaxed Memory Models |
80
Voted
CODES
2008
IEEE
15 years 3 months ago
2008
IEEE
Body-area sensor network or BAN-based health monitoring is increasingly becoming a popular alternative to traditional wired bio-monitoring techniques. However, most biomonitoring ...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
Software designers in the object-oriented paradigm can make use of modeling tools and standard notations such as UML. Nevertheless, casual observations from collocated design coll...
79
Voted
CGO
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper describes an algorithm that takes a trace (i.e., a sequence of numbers or vectors of numbers) as input, and from that produces a sequence of loop nests that, when run, ...
72
Voted
GECCO
2008
Springer
14 years 10 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
114
click to vote
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...