1541 search results - page 261 / 309 » Tools and Techniques for Model Checking Networked Programs |
108
Voted
CHARME
2003
Springer
15 years 5 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
118
Voted
HPCA
2005
IEEE
16 years 26 days ago
2005
IEEE
With the increasing concern of the security on high performance multiprocessor enterprise servers, more and more effort is being invested into defending against various kinds of a...
104
Voted
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
137
Voted
INFOCOM
2011
IEEE
14 years 3 months ago
2011
IEEE
—Cooperative communication has attracted dramatic attention in the last few years due to its advantage in mitigating channel fading. Despite much effort that has been made in the...
127
click to vote
SAC
2009
ACM
15 years 5 months ago
2009
ACM
Generally progressive procedural content in the context of 3D scene rendering is expressed as recursive functions where a finer level of detail gets computed on demand. Typical e...