1176 search results - page 153 / 236 » Implicit Abstraction Heuristics |
97
Voted
CC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Offset assignment is a highly effective DSP address code optimization technique that has been implemented in a number of ANSI C compilers. In this paper we concentrate on...
91
Voted
CIVR
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In this paper, we present an audio-based event detection approach shown to be effective when applied to the Sports broadcast data. The main benefit of this approach is ...
100
Voted
ICALP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Consider a set of n > 2 simple autonomous mobile robots (decentralized, asynchronous, no common coordinate system, no identities, no central coordination, no direct co...
IFIP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
85
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— A broad class of problems in circuits, electromagnetics, and optics can be expressed as finding some parameters of a linear system with a specific type. This paper is...