3316 search results - page 254 / 664 » Mining Software Engineering Data |
205
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...
172
click to vote
CISIS
2008
IEEE
16 years 1 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 ...
159
click to vote
CSSE
2008
IEEE
16 years 1 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...
176
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...
160
Voted
VMCAI
2005
Springer
16 years 2 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...