Sciweavers

968 search results - page 113 / 194
» Evaluating Benchmark Subsetting Approaches
Sort
View
NPC
2010
Springer
14 years 12 months ago
Vectorization for Java
Java is one of the most popular programming languages in today’s software development, but the adoption of Java in some areas like high performance computing, gaming, and media p...
Jiutao Nie, Buqi Cheng, Shisheng Li, Ligang Wang, ...
316
Voted
RECOMB
2012
Springer
13 years 3 months ago
Estimating the Accuracy of Multiple Alignments and its Use in Parameter Advising
We develop a novel and general approach to estimating the accuracy of protein multiple sequence alignments without knowledge of a reference alignment, and use our approach to addre...
Dan F. DeBlasio, Travis J. Wheeler, John D. Kececi...
AAAI
2012
13 years 3 months ago
Model Learning and Real-Time Tracking Using Multi-Resolution Surfel Maps
For interaction with its environment, a robot is required to learn models of objects and to perceive these models in the livestreams from its sensors. In this paper, we propose a ...
Jörg Stückler, Sven Behnke
91
Voted
ICCD
2003
IEEE
121views Hardware» more  ICCD 2003»
15 years 10 months ago
Distributed Reorder Buffer Schemes for Low Power
We consider several approaches for reducing the complexity and power dissipation in processors that use separate register file to maintain the commited register values. The first ...
Gurhan Kucuk, Oguz Ergin, Dmitry Ponomarev, Kanad ...
CAV
2010
Springer
172views Hardware» more  CAV 2010»
15 years 5 months ago
Symbolic Bounded Synthesis
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
Rüdiger Ehlers