Sciweavers

4117 search results - page 704 / 824
» On the Satisfiability of Complex Constraints
Sort
View
LFCS
2007
Springer
16 years 20 days ago
Verifying Balanced Trees
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
Zohar Manna, Henny B. Sipma, Ting Zhang
APCCAS
2006
IEEE
233views Hardware» more  APCCAS 2006»
16 years 17 days ago
Jointly Optimized Modulated-Transmitter and Receiver FIR MIMO Filters
— In recent years, several approaches have been proposed aiming the optimal joint design of finite impulse response (FIR) multiple-input multiple-output (MIMO) transmitter and r...
Guilherme Pinto, Paulo S. R. Diniz, Are Hjø...
CODES
2006
IEEE
16 years 17 days ago
Layout aware design of mesh based NoC architectures
Design of System-on-Chip (SoC) with regular mesh based Network-on-Chip (NoC) consists of mapping processing cores to routers, and routing of the traffic traces on the topology suc...
Krishnan Srinivasan, Karam S. Chatha
CVPR
2006
IEEE
16 years 17 days ago
Perceptually-Inspired and Edge-Directed Color Image Super-Resolution
Inspired by multi-scale tensor voting, a computational framework for perceptual grouping and segmentation, we propose an edge-directed technique for color image superresolution gi...
Yu-Wing Tai, Wai-Shun Tong, Chi-Keung Tang
DATE
2006
IEEE
87views Hardware» more  DATE 2006»
16 years 17 days ago
Supporting task migration in multi-processor systems-on-chip: a feasibility study
With the advent of multi-processor systems-on-chip, the interest in process migration is again on the rise both in research and in product development. New challenges associated w...
Stefano Bertozzi, Andrea Acquaviva, Davide Bertozz...