3130 search results - page 253 / 626 » Design Correctness of Digital Systems |
153
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
167
Voted
PET
2004
Springer
15 years 10 months ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
148
click to vote
HPCA
2006
IEEE
16 years 5 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
118
Voted
CHI
2008
ACM
16 years 5 months ago
2008
ACM
This paper proposes PhotoChat, a system that facilitates communication among users who want to share experiences by enabling them to share photos and notes. PhotoChat is designed ...
103
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Knowledge workers expend considerable effort managing fragmentation, characterized by constant switching among digital artifacts, when executing work activities. Activitycentric c...