1833 search results - page 106 / 367 » Mechanized Verification with Sharing |
138
click to vote
CACM
2010
15 years 1 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
151
click to vote
ICSE
2011
IEEE-ACM
14 years 8 months ago
2011
IEEE-ACM
—Dynamic reconfiguration – the ability to hot swap a component, or to introduce a new component into the system – is essential to supporting evolutionary change in long-live ...
135
click to vote
CAV
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
131
click to vote
CSEE
2010
Springer
15 years 2 months ago
2010
Springer
This paper shares the experiences and lessons learned from conducting an NSF-sponsored eight-week summer research program for ten undergraduate students from multiple universities...
173
Voted
ICAC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper introduces a self-configuring architecture for scaling the database tier of dynamic content web servers. We use a unified approach to load and fault management based ...