Sciweavers

5570 search results - page 644 / 1114
» Applications of Fair Testing
Sort
View
PACT
2005
Springer
16 years 11 days ago
A Parallel Version for the Propagation Algorithm
This paper presents a parallel version for the Propagation Algorithm which belongs to the region growing family of algorithms. The main goal of our implementation is to decrease de...
Márcio Bastos Castro, Lucas Baldo, Luiz Gus...
PCI
2005
Springer
16 years 11 days ago
TSIC: Thermal Scheduling Simulator for Chip Multiprocessors
Abstract. Increased power density, hot-spots, and temperature gradients are severe limiting factors for today’s state-of-the-art microprocessors. However, the flexibility offer...
Kyriakos Stavrou, Pedro Trancoso
ROBOCUP
2005
Springer
98views Robotics» more  ROBOCUP 2005»
16 years 11 days ago
RoboCup X: A Proposal for a New League Where RoboCup Goes Real World
To put more emphasis on real-world problems, the authors propose to extend the RoboCup competitions. In order to foster progress in the desired abilities the authors propose to exp...
Tijn van der Zant, Thomas Wisspeintner
SAS
2005
Springer
162views Formal Methods» more  SAS 2005»
16 years 11 days ago
Boolean Heaps
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
Andreas Podelski, Thomas Wies
SEMWEB
2005
Springer
16 years 11 days ago
Gnowsis Adapter Framework: Treating Structured Data Sources as Virtual RDF Graphs
The integration of heterogenous data sources is a crucial step for the upcoming semantic web – if existing information is not integrated, where will the data come from that the s...
Leo Sauermann, Sven Schwarz