851 search results - page 39 / 171 » History Effects and Verification |
110
click to vote
DAC
1994
ACM
15 years 3 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...
PODC
2011
ACM
14 years 2 months ago
2011
ACM
: Analyzing Consistency Properties for Fun and Profit Wojciech Golab, Xiaozhou Li, Mehul A. Shah HP Laboratories HPL-2011-6 data consistency, algorightms, key-value stores Moti...
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
It is argued that overlap between the Software Engineering and Human-Computer Interaction disciplines is part of a natural evolution that has been developing throughout the histor...
117
click to vote
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
There is now considerable evidence in social psychology, economics, and related disciplines that emotion plays an important role in negotiation. For example, humans make greater c...
CAV
2009
Springer
16 years 11 days ago
2009
Springer
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...