1894 search results - page 68 / 379 » A TLA Proof System |
111
click to vote
ECCC
2010
14 years 11 months ago
2010
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
108
click to vote
ENTCS
2008
15 years 23 days ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
103
click to vote
ISDA
2006
IEEE
15 years 6 months ago
2006
IEEE
The last decade has witnessed an exponential growth of sequence information in the field of biological macromolecules such as proteins and nucleic acids and their interactions wit...
127
Voted
HPCA
2006
IEEE
16 years 1 months ago
2006
IEEE
As silicon technologies move into the nanometer regime, transistor reliability is expected to wane as devices become subject to extreme process variation, particle-induced transie...
222
Voted
POPL
2004
ACM
16 years 1 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...