2520 search results - page 310 / 504 » Model-checking behavioral programs |
97
Voted
HIPEAC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The shared-cache contention on Chip Multiprocessors causes performance degradation to applications and hurts system fairness. Many previously proposed solutions schedule ...
120
click to vote
TLDI
2010
ACM
15 years 11 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
136
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
115
Voted
IWPC
2009
IEEE
15 years 9 months ago
2009
IEEE
Understanding aspect-oriented systems, without appropriate tool support, is a difficult and a recognized problem in the research community. Surprisingly, little has been done to ...
111
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delega...