Sciweavers

1742 search results - page 12 / 349
» An Applicative Module Calculus
Sort
View
SAS
2009
Springer
147views Formal Methods» more  SAS 2009»
14 years 10 months ago
Polymorphic Fractional Capabilities
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
Hirotoshi Yasuoka, Tachio Terauchi
DATE
2006
IEEE
73views Hardware» more  DATE 2006»
14 years 4 months ago
Double-sampling single-loop sigma-delta modulator topologies for broadband applications
This paper presents novel double sampling high order single-loop sigma-delta modulator structures for wideband applications. To alleviate the quantization noise folding into the i...
Mohammad Yavari, Omid Shoaei, Ángel Rodr&ia...
ISCAS
2005
IEEE
124views Hardware» more  ISCAS 2005»
14 years 3 months ago
High-order single-loop double-sampling sigma-delta modulator topologies for broadband applications
This paper presents novel low-voltage high order single loop sigma-delta modulator structures for wideband applications. The proposed architectures employ the technique of double-...
Mohammad Yavari, Omid Shoaei
JMLC
2000
Springer
14 years 1 months ago
Derivation of Secure Parallel Applications by Means of Module Embedding
An enhancement to modular languages called module embedding facilitates the development and utilization of secure generic parallel algorithms.
Atanas Radenski
DATE
2008
IEEE
82views Hardware» more  DATE 2008»
14 years 4 months ago
A Triple-Mode Reconfigurable Sigma-Delta Modulator for Multi-Standard Wireless Applications
This paper presents the implementation and experimental characterization of a reconfigurable ΣΔ modulator intended for multi-mode wireless receivers that is capable to perform t...
Alonso Morgado, Rocio del Río, José ...