3316 search results - page 254 / 664 » Mining Software Engineering Data |
158
Voted
CODES
2010
IEEE
15 years 28 days 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...
126
Voted
CISIS
2008
IEEE
15 years 10 months ago
2008
IEEE
Solving problems raised by heterogeneous ontologies can be achieved by matching the ontologies and processing the resulting alignments. This is typical of data mediation in which ...
118
Voted
CSSE
2008
IEEE
15 years 10 months ago
2008
IEEE
—The feedback of sonification on CAD analyzing information in addition to picture interface increases user’s accepting information and decreases the load of visual channel. Dat...
134
click to vote
WOSP
2010
ACM
15 years 10 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...
120
click to vote
VMCAI
2005
Springer
15 years 9 months 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...