Sciweavers

3256 search results - page 131 / 652
» Mixin-Based Programming in C
Sort
View
142
Voted
SAC
2008
ACM
15 years 3 months ago
Improving denial of service resistance using dynamic local adaptations
We improve the resistance of gossip-based multicast to (Distributed) Denial of Service (DoS) attacks using dynamic local adaptations at each node. Each node estimates the current ...
Gal Badishi, Idit Keidar
158
Voted
PLDI
2012
ACM
13 years 6 months ago
Scalable and precise dynamic datarace detection for structured parallelism
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin...
SIGADA
2005
Springer
15 years 9 months ago
Experimental performance analysis of ada programs in cluster system
In this paper, we describe the use of the Ada language for programming in modern cluster systems. The results of experimental performance analysis of Ada and Java programs in a re...
Korochkin Alexandr, Salah Imad, Korochkin Dmitry
104
Voted
IPCO
2007
87views Optimization» more  IPCO 2007»
15 years 5 months ago
On Integer Programming and the Branch-Width of the Constraint Matrix
Consider an integer program max(ct x : Ax = b, x ≥ 0, x ∈ Zn ) where A ∈ Zm×n , b ∈ Zm , and c ∈ Zn . We show that the integer program can be solved in pseudo-polynomial...
William H. Cunningham, Jim Geelen
148
Voted
POPL
2010
ACM
16 years 1 months ago
Dynamically Checking Ownership Policies in Concurrent C/C++ Programs
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
Jean-Phillipe Martin, Michael Hicks, Manuel Costa,...