3954 search results - page 606 / 791 » Image-based Model Completion |
187
click to vote
ITNG
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper presents several parallel FFT algorithms with different degree of communication overhead for multiprocessors in Network-on-Chip(NoC) environment. Three different method...
178
click to vote
KBSE
2008
IEEE
16 years 27 days ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
192
click to vote
KBSE
2008
IEEE
16 years 27 days ago
2008
IEEE
—Recent research results have shown more benefits of the management of code clones, rather than detecting and removing them. However, existing management approaches for code clo...
174
click to vote
LICS
2008
IEEE
16 years 27 days ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
174
click to vote
SMI
2008
IEEE
16 years 27 days ago
2008
IEEE
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...