4961 search results - page 422 / 993 » Homomorphism-Homogeneous Relational Structures |
231
click to vote
CBMS
2011
IEEE
14 years 5 months ago
2011
IEEE
Medical image simulation produces virtual images from software representations of imaging devices and virtual object models representing the human body. Object models consist of t...
191
click to vote
CEC
2011
IEEE
14 years 5 months ago
2011
IEEE
—In many systems providing storage and retrieval operations on data, indices are used to make these operations more efficient. Distributed storage systems provide means to distr...
152
click to vote
CIKM
2011
Springer
14 years 5 months ago
2011
Springer
A growing number of applications are built on top of search engines and issue complex structured queries. This paper contributes a customisable ranking-based processing of such qu...
146
click to vote
DAC
2012
ACM
13 years 7 months ago
2012
ACM
In this work we address the problem of managing interconnect timing in high-level synthesis by generating a layoutfriendly microarchitecture. A metric called spreading score is pr...
151
click to vote
CONCUR
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...