5235 search results - page 66 / 1047 » Analysis of Multithreaded Programs |
206
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
116
click to vote
EWSN
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Event-driven operating systems such as TinyOS are the preferred choice for wireless sensor networks. Alternative designs following a classical multi-threaded approach are...
104
click to vote
MASCOTS
2008
15 years 2 months ago
2008
Commercial servers, such as database or application servers, often attempt to improve performance via multithreading. Improper multi-threading architectures can incur contention, ...
SIGOPS
2008
15 years 1 months ago
2008
The availability of Simultaneous Multithreading (SMT) in commodity processors such as the Pentium 4 (P4) has raised interest among OS researchers. While earlier simulation studies...
125
click to vote
IJIT
2004
15 years 2 months ago
2004
One of the major problems in genomic field is to perform sequence comparison on DNA and protein sequences. Executing sequence comparison on the DNA and protein data is a computatio...