7225 search results - page 387 / 1445 » Software is data too |
212
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
In high-level synthesis, pipelined designs are often restricted by the number of memory banks available to the synthesis system. Using multiple memory banks can improve the perfor...
186
click to vote
WOSP
2010
ACM
16 years 1 months ago
2010
ACM
Nowadays the 2-Phase-Locking (2PL) concurrency control algorithm still plays a core rule in the construction of transactional systems (e.g. database systems and transactional memo...
166
click to vote
VMCAI
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
198
click to vote
CISIS
2010
IEEE
16 years 5 days ago
2010
IEEE
Abstract—Introspection is the prerequisite of an autonomic behavior, the first step towards a performance improvement and a resource-usage optimization for largescale distribute...
178
click to vote
ISCA
2003
IEEE
16 years 4 days ago
2003
IEEE
Debuggers have been proven indispensable in improving software reliability. Unfortunately, on most real-life software, debuggers fail to deliver their most essential feature — a...