1114 search results - page 76 / 223 » Validating optimizations of concurrent C C programs |
126
click to vote
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
Standard concurrency control mechanisms offer a trade-off: Transactional memory approaches maximize concurrency, but suffer high overheads and cost for retrying in the case of act...
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
Software libraries rely increasingly on iterators to provide generic traversal of data structures. These iterators can be represented either as objects that maintain state or as p...
329
click to vote
JTRES
2010
ACM
14 years 11 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
SIGSOFT
2004
ACM
16 years 10 days ago
2004
ACM
We present a new classification system for aspect-oriented programs. This system characterizes the interactions between aspects and methods and identifies classes of interactions ...
111
click to vote
CLEIEJ
2010
14 years 9 months ago
2010
Logic programming is one of the most important subjects for students pursuing a degree in Information Technology and Communication (ITC) at higher education institutions. Teaching ...