2409 search results - page 174 / 482 » Logical systems for structured specifications |
205
click to vote
CODES
2010
IEEE
15 years 3 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...
216
click to vote
ICLP
2011
Springer
14 years 10 months ago
2011
Springer
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...
166
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
We propose a spectral partitioning approach for large-scale optimization problems, specifically structure from motion. In structure from motion, partitioning methods reduce the pr...
166
click to vote
EURONGI
2006
Springer
15 years 10 months ago
2006
Springer
Structured overlay networks is an important and interesting primitive that can be used by diverse peer-to-peer applications. Multiple overlays can result either because of network ...
162
click to vote
AVI
2004
15 years 8 months ago
2004
Complex hypermedia structures can be difficult to author and maintain, especially when the usual hierarchic representation cannot capture important relations. We propose a graph-b...