3256 search results - page 408 / 652 » Applications of Formal Methods to System Design and Verifica... |
191
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
File systems make use of part of DRAM as the buffer cache to enhance its performance in traditional systems. In this paper, we consider the use of Non-Volatile RAM (NVRAM) as a w...
209
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
An inexpensive way to construct a scalable display wall system is to use a cluster of PCs with commodity graphics accelerators to drive an array of projectors. A challenge is to b...
155
click to vote
KCAP
2009
ACM
16 years 1 months ago
2009
ACM
This demo presents the Cupboard online system for sharing and reusing ontologies linked together with alignments, and that are attached to rich metadata and reviews. Categories an...
151
click to vote
ACMDIS
2006
ACM
16 years 16 days ago
2006
ACM
In this paper we start from the position that sources of inspiration play an important role in the design process albeit in a frequently intangible way. We present the Inspiration...
235
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
One of the most challenging problems in high-level synthesis is how to quickly explore a wide range of design options to achieve high-quality designs. This paper presents an Integ...