3256 search results - page 119 / 652 » Mixin-Based Programming in C |
111
Voted
TCC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a public-key encryption scheme with the following properties. Given a branching program P and an encryption c of an input x, it is possible to efficiently com...
109
Voted
INFSOF
2002
15 years 3 months ago
2002
Pointer analysis is an important part of source code analysis. Many programs that manipulate source code take points-to sets as part of their input. Points-to related data collect...
161
Voted
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
Students with visual disabilities face unique challenges in learning to be computer scientists. These challenges can be overcome, however, with the use of specialized software too...
134
click to vote
SIAMREV
2010
14 years 10 months ago
2010
This work surveys essential properties of the so-called copositive matrices, the study of which is spread over more than fifty-five years. Special emphasis is given to variational ...
122
click to vote
ISPD
2000
ACM
15 years 8 months ago
2000
ACM
In this paper, we present an algorithm for delay minimization of interconnect trees by simultaneous buffer insertion/sizing and wire sizing. The algorithm integrates the quadratic...