2282 search results - page 210 / 457 » Active property checking |
144
Voted
TVLSI
2008
15 years 4 months ago
2008
In this paper, we study and analyze the computational complexity of the deblocking filter in H.264/AVC baseline decoder based on SimpleScalar/ARM simulator. The simulation result s...
162
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
Software developers spend significant time gaining and maintaining awareness of fellow developers' activities. FASTDash is a new interactive visualization that seeks to impro...
154
Voted
TCS
2008
15 years 4 months ago
2008
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acad...
132
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
251
click to vote
POPL
2001
ACM
16 years 5 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...