2752 search results - page 230 / 551 » Rounding to an Integral Program |
144
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
This paper presents an information-theoretic model of a voting system, consisting of (a) definitions of the desirable qualities of integrity, privacy and verifiability, and (b) ...
195
click to vote
GLVLSI
2010
IEEE
15 years 6 months ago
2010
IEEE
The paper presents a novel high-level power modeling and estimation framework. The approach is based on a synergic integration of aspect-oriented programming(AOP) and SystemC. Mac...
123
click to vote
ANNALS
2006
15 years 6 months ago
2006
This paper describes an interactive simulation of the Electronical Numerical Integrator and Computer (ENIAC). With the simulator, the user can wire up complex configurations of th...
156
click to vote
IPL
2010
15 years 5 months ago
2010
Branching vector addition systems are an extension of vector addition systems where new reachable vectors may be obtained by summing two reachable vectors and adding an integral v...
178
click to vote
ASPLOS
2006
ACM
16 years 15 days ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...