Sciweavers

2496 search results - page 92 / 500
» On covering by translates of a set
Sort
View
SASP
2009
IEEE
156views Hardware» more  SASP 2009»
16 years 1 months ago
Introducing control-flow inclusion to support pipelining in custom instruction set extensions
—Multi-cycle Instruction set extensions (ISE) can be pipelined in order to increase their throughput; however, typical program traces seldom contain consecutive calls to the same...
Marcela Zuluaga, Theo Kluter, Philip Brisk, Nigel ...
WADS
2005
Springer
114views Algorithms» more  WADS 2005»
15 years 12 months ago
Linear Time Algorithms for Generalized Edge Dominating Set Problems
Abstract. In this paper we consider a generalization of the edge dominating set (EDS) problem, in which each edge e needs to be covered be times and refer to this as the b-EDS prob...
André Berger, Ojas Parekh
ISSS
1996
IEEE
169views Hardware» more  ISSS 1996»
15 years 10 months ago
The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
Alessandro Balboni, William Fornaciari, M. Vincenz...
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 6 months ago
Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs
An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, met...
Johannes Oetsch, Jörg Pührer, Hans Tompi...
ADBIS
2004
Springer
124views Database» more  ADBIS 2004»
15 years 11 months ago
Vague Spatial Data Types, Set Operations, and Predicates
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague n...
Alejandro Pauly, Markus Schneider