Sciweavers

1036 search results - page 158 / 208
» Utilizing Validation Experience for System Validation
Sort
View
VLSID
2003
IEEE
77views VLSI» more  VLSID 2003»
14 years 8 months ago
A Methodology for Accurate Modeling of Energy Dissipation in Array Structures
There is an increasing need for obtaining a reasonably accurate estimate of energy dissipation in SoC designs. Array structures have a significant contribution to the total system...
Mahesh Mamidipaka, Nikil D. Dutt, Kamal S. Khouri
SAC
2010
ACM
14 years 2 months ago
Dual analysis for proving safety and finding bugs
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
Corneliu Popeea, Wei-Ngan Chin
LATIN
2010
Springer
14 years 2 months ago
Modelling the LLL Algorithm by Sandpiles
Abstract The LLL algorithm aims at finding a “reduced” basis of a Euclidean lattice. The LLL algorithm plays a primary role in many areas of mathematics and computer science. ...
Manfred Madritsch, Brigitte Vallée
HAPTICS
2009
IEEE
14 years 2 months ago
Design of a new fMRI compatible haptic interface
In this paper, we present the design of a new fMRI compatible haptic interface with 3DOFs, based on electrical DC actuation, for the study of brain mechanisms of human motor contr...
Siqiao Li, Antonio Frisoli, Luigi Federico Borelli...
ICRA
2009
IEEE
123views Robotics» more  ICRA 2009»
14 years 2 months ago
Tracking groups of people with a multi-model hypothesis tracker
Abstract— People in densely populated environments typically form groups that split and merge. In this paper we track groups of people so as to reflect this formation process an...
Boris Lau, Kai Oliver Arras, Wolfram Burgard