3303 search results - page 549 / 661 » Multidimensional Access Methods |
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Adiabatic quantum annealing is a paradigm of analog quantum computation, where a given computational job is converted to the task of finding the global minimum of some classical po...
ENTCS
2008
14 years 10 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
115
click to vote
BMCBI
2006
14 years 10 months ago
2006
Integration of heterogeneous data types is a challenging problem, especially in biology, where the number of databases and data types increase rapidly. Amongst the problems that o...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
We propose some slight additions to O-O languages to implement the necessary features for using Deductive Object Programming (DOP). This way of programming based upon the manipula...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
We introduce a new approach to take into account the memory architecture and the memory mapping in the High- Level Synthesis of Real-Time embedded systems. We formalize the memory...