3256 search results - page 89 / 652 » Mixin-Based Programming in C |
133
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...
118
Voted
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
Abstract This paper examines the use of a simulator to explore process interaction in Unix. The simulator allows instructors to trace through a variety of programs and to show how ...
149
click to vote
INFSOF
2008
15 years 3 months ago
2008
This paper introduces an approach to locating dependence structures in a program by searching the space of the powerset of the set of all possible program slices. The paper formul...
142
Voted
ENTCS
2008
15 years 3 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
145
click to vote
SIAMJO
2000
15 years 3 months ago
2000
Mathematical programs with nonlinear complementarity constraints are reformulated using better-posed but nonsmooth constraints. We introduce a class of functions, parameterized by...