Sciweavers

DAGSTUHL
2007
13 years 9 months ago
Directed Feedback Vertex Set Problem is FPT
To decide if the parameterized feedback vertex set problem in directed graph is fixed-parameter tractable is a long standing open problem. In this paper, we prove that the paramet...
Jianer Chen, Yang Liu 0002, Songjian Lu
CRIWG
2008
13 years 9 months ago
Using Second Life in Programming's Communities of Practice
Abstract. This paper presents a novel approach to teaching and learning computer programming, using the three-dimensional virtual world Second Life
Micaela Esteves, Ricardo Antunes, Benjamim Fonseca...
DAGSTUHL
2007
13 years 9 months ago
ASG - Techniques of Adaptivity
Harald Meyer, Dominik Kuropka, Peter Tröger
DAGSTUHL
2007
13 years 9 months ago
Parallelism through Digital Circuit Design
Abstract. Two ways to exploit chips with a very large number of transistors are multicore processors and programmable logic chips. Some data parallel algorithms can be executed e...
John O'Donnell
DAGSTUHL
2007
13 years 9 months ago
A Case for Deconstructing Hardware Transactional Memory Systems
Major hardware and software vendors are curious about transactional memory (TM), but are understandably cautious about committing to hardware changes. Our thesis is that deconstru...
Mark D. Hill, Derek Hower, Kevin E. Moore, Michael...
DAGSTUHL
2007
13 years 9 months ago
Some Experiments on Tiling Loop Programs for Shared-Memory Multicore Architectures
The model-based transformation of loop programs is a way of detecting fine-grained parallelism in sequential programs. One of the challenges is to agglomerate the parallelism to a...
Armin Größlinger
DAGSTUHL
2007
13 years 9 months ago
Smoothed Analysis of Binary Search Trees and Quicksort Under Additive Noise
Binary search trees are a fundamental data structure and their height plays a key role in the analysis of divide-and-conquer algorithms like quicksort. Their worst-case height is l...
Bodo Manthey, Till Tantau
DAGSTUHL
2007
13 years 9 months ago
Constraint Databases and Geographic Information Systems
Constraint databases and geographic information systems share many applications. However, constraint databases can go beyond geographic information systems in efficient spatial and...
Peter Z. Revesz