1115 search results - page 68 / 223 » An Abstract Look at Realizability |
185
click to vote
PPSN
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper introduces a generator that creates problem instances for the Euclidean symmetric travelling salesman problem. To fit real world problems, we look at maps con...
175
Voted
TYPES
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The ...
168
click to vote
PDP
2010
IEEE
16 years 1 days ago
2010
IEEE
Abstract—Among the numerous DAG scheduling heuristics suitable for heterogeneous systems, the Heterogeneous Earliest Finish Time (HEFT) heuristic is known to give good results in...
182
click to vote
ICRA
2003
IEEE
16 years 18 hour ago
2003
IEEE
Abstract − A deadlock-free unsafe (DFU) state of Resource Allocation System (RAS) is deadlock-free but inevitable to enter a deadlock state. Previous research revealed that in ma...
141
click to vote
IWPC
2003
IEEE
16 years 11 hour ago
2003
IEEE
When computing program slices on all variables in a system, we observed that many of these slices are the same. This leads to the question: Are we looking at software clones? We d...