786 search results - page 8 / 158 » A static theory of promises |
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
A Gm- C architecture for a quadrature, sinusoidal os- ± Vref cillator with instantaneous, phase-preserving, linear frequency control Peak detector and independent, static amplitud...
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
FASE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
POPL
1999
ACM
15 years 2 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
SAJ
2000
14 years 9 months ago
2000
The increasing reliance on information technology to support business processes has emphasised the need for information security mechanisms. This, however, has resulted in an ever...