Sciweavers

5235 search results - page 194 / 1047
» Analysis of Multithreaded Programs
Sort
View
PLDI
2011
ACM
14 years 9 months ago
A case for an SC-preserving compiler
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
Daniel Marino, Abhayendra Singh, Todd D. Millstein...
ICSE
2009
IEEE-ACM
16 years 1 months ago
SemDiff: Analysis and recommendation support for API evolution
As a framework evolves, changes in its Application Programming Interface (API) can break client programs that extend the framework. Repairing a client program can be a challenging...
Barthélémy Dagenais, Martin P. Robil...
SPC
2005
Springer
15 years 12 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
POPL
2005
ACM
16 years 6 months ago
From sequential programs to multi-tier applications by program transformation
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
Matthias Neubauer, Peter Thiemann
GECCO
2004
Springer
151views Optimization» more  GECCO 2004»
15 years 11 months ago
Discovery of Human-Competitive Image Texture Feature Extraction Programs Using Genetic Programming
In this paper we show how genetic programming can be used to discover useful texture feature extraction algorithms. Grey level histograms of different textures are used as inputs ...
Brian T. Lam, Victor Ciesielski