Sciweavers

3255 search results - page 85 / 651
» Combination of Abstractions in the ASTR
Sort
View
DDECS
2008
IEEE
137views Hardware» more  DDECS 2008»
14 years 3 months ago
Cluster-based Simulated Annealing for Mapping Cores onto 2D Mesh Networks on Chip
Abstract—In Network-on-Chip (NoC) application design, coreto-node mapping is an important but intractable optimization problem. In the paper, we use simulated annealing to tackle...
Zhonghai Lu, Lei Xia, Axel Jantsch
ICCCN
2008
IEEE
14 years 3 months ago
Multi-Modal Target Tracking Using Heterogeneous Sensor Networks
Abstract— The paper describes a target tracking system running on a Heterogeneous Sensor Network (HSN) and presents results gathered from a realistic deployment. The system fuses...
Manish Kushwaha, Isaac Amundson, Péter V&ou...
ICRA
2008
IEEE
145views Robotics» more  ICRA 2008»
14 years 3 months ago
Cooperative anchoring in heterogeneous multi-robot systems
Abstract— Highly heterogeneous robotic systems are becoming increasingly common, as are robotic systems integrated with smart environments. In such distributed systems, there are...
Kevin LeBlanc, Alessandro Saffiotti
ICASSP
2007
IEEE
14 years 3 months ago
Kernel Resolution Synthesis for Superresolution
Abstract— This work considers a combination classificationregression based framework with the proposal of using learned kernels in modified support vector regression to provide...
Karl S. Ni, Truong Nguyen
CONCUR
2007
Springer
14 years 3 months ago
A Marriage of Rely/Guarantee and Separation Logic
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
Viktor Vafeiadis, Matthew J. Parkinson