1742 search results - page 222 / 349 » An Applicative Module Calculus |
TEI
2009
ACM
14 years 4 months ago
2009
ACM
Surfaces capable of modulating permeability have long been used in architecture for environmental control, but have remained largely unexplored as information displays. The advent...
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
This paper presents a design methodology for fully reconfigurable low-voltage Delta-Sigma converters as for instance used in next-generation wireless applications. The design metho...
ICAS
2009
IEEE
14 years 4 months ago
2009
IEEE
IP Multimedia Subsystem (IMS) entails novel business opportunities for pioneering and emerging multimedia services, such as IPTV and VoIP video call applications. However, this st...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper we consider the problem of sampling far below the Nyquist rate signals that are sparse linear superpositions of shifts of a known, potentially wide-band, pulse. This...