2652 search results - page 232 / 531 » Privacy-preserving linear programming |
179
Voted
PC
2012
13 years 11 months ago
2012
— The frenetic development of the current architectures places a strain on the current state-of-the-art programming environments. Harnessing the full potential of such architectu...
154
click to vote
VSTTE
2012
Springer
13 years 11 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
137
Voted
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Retiming and recycling are two transformations used to optimize the performance of latency-insensitive (a.k.a. synchronous elastic) systems. This paper presents an approach that c...
118
Voted
VLSID
2008
IEEE
16 years 4 months ago
2008
IEEE
Compared to subthreshold leakage, dynamic power is normally much less sensitive to the process variation due to its approximately linear relation to the process parameters. Howeve...
131
Voted
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...