708 search results - page 47 / 142 » Precise Specification and Automatic Application of Design Pa... |
147
Voted
PPPJ
2009
ACM
15 years 10 months ago
2009
ACM
Accelerated graphics cards, or Graphics Processing Units (GPUs), have become ubiquitous in recent years. On the right kinds of problems, GPUs greatly surpass CPUs in terms of raw ...
242
Voted
PADL
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
120
Voted
ISQED
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, design and measurement results of a test chip that intends to evaluate differences between layout techniques for rectangular unit-capacitor arrays are introduced. P...
168
click to vote
ENTCS
2006
15 years 3 months ago
2006
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
155
click to vote
KDD
2002
ACM
16 years 3 months ago
2002
ACM
Technology in the field of digital media generates huge amounts of non-textual information, audio, video, and images, along with more familiar textual information. The potential f...