68 search results - page 12 / 14 » cc 2010 |
195
click to vote
STTT
2010
15 years 5 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
213
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
—In the next generation high-speed wireless packet access systems, hybrid automatic repeat request (HARQ) is necessary to achieve higher throughput performance. An HARQ with Chas...
205
Voted
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
Dynamic memory management is one of the most expensive but ubiquitous operations in many C/C++ applications. Additional features such as security checks, while desirable, further w...
203
Voted
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Concurrent programs are notoriously difficult to debug. We see two main reasons for this: 1) concurrency bugs are often difficult to reproduce, 2) traces of buggy concurrent execu...
217
Voted
WCET
2010
15 years 5 months ago
2010
To take full advantage of the increasingly used shared-memory multicore architectures, software algorithms will need to be parallelized over multiple threads. This means that thre...