Sciweavers

3729 search results - page 565 / 746
» METRICS: a system architecture for design process optimizati...
Sort
View
PLDI
2012
ACM
13 years 9 months ago
Adaptive input-aware compilation for graphics engines
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
Mehrzad Samadi, Amir Hormati, Mojtaba Mehrara, Jan...
ICASSP
2009
IEEE
15 years 10 months ago
Multidimensional signal reconstruction from multichannel acquisition
We provide an analysis of the algorithms necessary for the optimal use of multidimensional signal reconstruction from multichannel acquisition. Firstly, we provide computable cond...
Ka Lung Law, Robert M. Fossum, Minh N. Do
CLIMA
2011
14 years 6 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
ICSM
2002
IEEE
15 years 11 months ago
Migration to Object Oriented Platforms: A State Transformation Approach
Over the past years it has become evident that the benefits of object orientation warrant the design and development of reengineering methods that aim to migrate legacy procedural...
Ying Zou, Kostas Kontogiannis
ICASSP
2008
IEEE
16 years 1 months ago
Mixed-signal parallel compressed sensing and reception for cognitive radio
A parallel structure to do spectrum sensing in Cognitive Radio (CR) at sub-Nyquist rate is proposed. The structure is based on Compressed Sensing (CS) that exploits the sparsity o...
Zhuizhuan Yu, Sebastian Hoyos, Brian M. Sadler