2740 search results - page 150 / 548 » Typing the Specialization Interface |
127
Voted
WIOPT
2010
IEEE
15 years 2 months ago
2010
IEEE
—In this paper we describe a framework for the optimal control of delay tolerant mobile ad hoc networks where multiple classes of nodes co-exist. We specialize the description of...
155
Voted
MEMICS
2010
14 years 10 months ago
2010
Application-specific instruction set processors are the core of nowadays embedded systems. Therefore, the designers need to have powerful tools for the processor design. The tools...
124
Voted
TIT
2010
14 years 10 months ago
2010
We consider a power-efficient communication model for wireless sensor networks where silence is used to convey information. We study the average-case and worstcase complexities of ...
95
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Stereo audio enhancement and upmixing techniques require spatial analysis of the mixture in order to work optimally for different types of contents. In this paper a method is prop...
144
Voted
PEPM
2009
ACM
16 years 17 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...