Journal Article
Online First™Communication-aware Heterogeneous Multiprocessor Mapping for Real-time Streaming Systems
Jing Lin, Andreas Gerstlauer and Brian L. Evans
Journal of Signal Processing Systems, Online First™, 19 May 2012
Journal Article
Online First™Deadlock-freedom in component systems with architectural constraints
Moritz Martens and Mila Majster-Cederbaum
Formal Methods in System Design, Online First™, 16 May 2012
Journal Article
Online First™Symbolic backward reachability with effectively propositional logic
Applications to security policy analysis
Silvio Ranise
Formal Methods in System Design, Online First™, 16 May 2012
Journal Article
Online First™SMT-based scenario verification for hybrid systems
Alessandro Cimatti, Sergio Mover and Stefano Tonetta
Formal Methods in System Design, Online First™, 16 May 2012
Journal Article
Online First™On the Use of Static Temperature Measurements as Process Variation Observable
Didac Gómez, Josep Altet and Diego Mateo
Journal of Electronic Testing, Online First™, 16 May 2012
Journal Article
Online First™Reconstruction of coarse depth estimates using hierarchical image partitions
Camilo Dorea and Ricardo L. de Queiroz
Multidimensional Systems and Signal Processing, Online First™, 12 May 2012
Journal Article
Online First™A coupled variational model for image denoising using a duality strategy and split Bregman
Jianlou Xu, Xiangchu Feng and Yan Hao
Multidimensional Systems and Signal Processing, Online First™, 10 May 2012
Journal Article
Online First™0.5 V CMOS inverter-based tunable transconductor
S. Vlassis
Analog Integrated Circuits and Signal Processing, Online First™, 10 May 2012
Journal Article
Online First™A new flipped voltage follower with enhanced bandwidth and low output impedance
Maneesha Gupta and Urvashi Singh
Analog Integrated Circuits and Signal Processing, Online First™, 9 May 2012
Journal Article
Online First™Experimental Results of Testing a BIST Σ–Δ ADC on the HOY Wireless Test Platform
Shao-Feng Hung and Hao-Chiao Hong
Journal of Electronic Testing, Online First™, 9 May 2012