3130 search results - page 96 / 626 » Design Correctness of Digital Systems |
155
Voted
FPL
2007
Springer
15 years 9 months ago
2007
Springer
Today’s heterogeneous embedded systems combine components from different domains, such as software, analogue hardware and digital hardware. The design and implementation of thes...
122
Voted
GROUP
2007
ACM
15 years 7 months ago
2007
ACM
To improve existing social bookmarking systems and to design new ones, researchers and practitioners need to understand how to evaluate tagging behavior. In this paper, we analyze...
123
Voted
MOBISYS
2009
ACM
16 years 4 months ago
2009
ACM
In this paper, we present the design and evaluation of a nearfield communication-based mobile p2p payment application called mFerio which is designed to replace cash-based transac...
183
click to vote
CAV
1998
Springer
15 years 7 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
130
Voted
ACMDIS
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents an approach to designing interactive systems that enables critical performance parameters to be identified and models of performance to be constructed. The met...