4513 search results - page 799 / 903 » Logic programming with satisfiability |
132
click to vote
DAC
2012
ACM
13 years 5 months ago
2012
ACM
In this work we address the problem of managing interconnect timing in high-level synthesis by generating a layoutfriendly microarchitecture. A metric called spreading score is pr...
326
Voted
DAC
2012
ACM
13 years 5 months ago
2012
ACM
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
240
click to vote
ICDT
2009
ACM
16 years 3 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
118
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
We propose the study of visibly pushdown automata (Vpa) for processing XML documents. Vpas are pushdown automata where the input determines the stack operation, and XML documents ...
121
click to vote
OSDI
2004
ACM
16 years 3 months ago
2004
ACM
We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks th...