4085 search results - page 436 / 817 » Data Services - From Data to Containers |
168
click to vote
MICRO
2008
IEEE
16 years 1 months ago
2008
IEEE
—Transactional memory (TM) is a promising paradigm for helping programmers take advantage of emerging multicore platforms. Though they perform well under low contention, hardware...
165
click to vote
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes character based elastic matching using local features for recognizing online handwritten data. Dynamic Time Warping (DTW) has been used with four different fe...
177
click to vote
B
2007
Springer
16 years 1 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
233
click to vote
VISUALIZATION
2005
IEEE
16 years 11 days ago
2005
IEEE
In this work we present a hardware-accelerated direct volume rendering system for visualizing multivariate wave functions in semiconducting quantum dot (QD) simulations. The simul...
194
click to vote
SPIN
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...