Sciweavers

6174 search results - page 1035 / 1235
» The language of social software
Sort
View
CC
2007
Springer
107views System Software» more  CC 2007»
16 years 21 days ago
A Fast Cutting-Plane Algorithm for Optimal Coalescing
Abstract. Recent work has shown that the subtasks of register allocation (spilling, register assignment, and coalescing) can be completely separated. This work presents an algorith...
Daniel Grund, Sebastian Hack
CC
2007
Springer
139views System Software» more  CC 2007»
16 years 21 days ago
Using Prefetching to Improve Reference-Counting Garbage Collectors
Reference counting is a classical garbage collection method. Recently, a series of papers have extended the basic method to drastically reduce its notorious overhead and extend the...
Harel Paz, Erez Petrank
CC
2007
Springer
208views System Software» more  CC 2007»
16 years 21 days ago
A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
Bernhard Scholz, Johann Blieberger
CLEF
2007
Springer
16 years 21 days ago
Charles University at CLEF 2007 Ad-Hoc Track
In this paper we describe retrieval experiments performed at Charles University in Prague for participation in the CLEF 2007 Ad-Hoc track. We focused on the Czech monolingual task...
Pavel Ceska, Pavel Pecina
FSTTCS
2007
Springer
16 years 20 days ago
Automata and Logics for Timed Message Sequence Charts
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
S. Akshay, Benedikt Bollig, Paul Gastin
« Prev « First page 1035 / 1235 Last » Next »