Sciweavers

1760 search results - page 138 / 352
» A System to Mark Programs Automatically
Sort
View
ASPLOS
2008
ACM
15 years 5 months ago
Concurrency control with data coloring
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
Luis Ceze, Christoph von Praun, Calin Cascaval, Pa...
POPL
2011
ACM
14 years 5 months ago
Mathematizing C++ concurrency
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewe...
SIGCSE
2012
ACM
513views Education» more  SIGCSE 2012»
13 years 10 months ago
Calico: a multi-programming-language, multi-context framework designed for computer science education
The Calico project is a multi-language, multi-context programming framework and learning environment for computing education. This environment is designed to support several inter...
Douglas S. Blank, Jennifer S. Kay, James B. Marsha...
GECCO
2007
Springer
196views Optimization» more  GECCO 2007»
15 years 9 months ago
Pareto optimal search based refactoring at the design level
Refactoring aims to improve the quality of a software systems’ structure, which tends to degrade as the system evolves. While manually determining useful refactorings can be cha...
Mark Harman, Laurence Tratt
SAMOS
2007
Springer
15 years 9 months ago
FPGA Design Methodology for a Wavelet-Based Scalable Video Decoder
Client-side diversification led the video-coding community to develop scalable video-codecs supporting efficient decoding at varying quality levels. This scalability has a lot of...
Hendrik Eeckhaut, Harald Devos, Philippe Faes, Mar...