Sciweavers

4074 search results - page 259 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
VIS
2004
IEEE
148views Visualization» more  VIS 2004»
16 years 7 months ago
Detection and Visualization of Anomalous Structures in Molecular Dynamics Simulation Data
In this article we explore techniques to detect and visualize features in data from molecular dynamics (MD) simulations. Although the techniques proposed are general, we focus on ...
John Wilkins, Kaden Hazzard, Raghu Machiraju, Same...
IROS
2006
IEEE
208views Robotics» more  IROS 2006»
16 years 19 days ago
3D object recognition using spin-images for a humanoid stereoscopic vision system
— This paper presents a 3D object recognition method based on spin-images for a humanoid robot having a stereoscopic vision system. Spin-images have been proposed to search CAD m...
Olivier Stasse, Sylvain Dupitier, Kazuhito Yokoi
ASAP
2006
IEEE
142views Hardware» more  ASAP 2006»
15 years 8 months ago
NoC Hot Spot minimization Using AntNet Dynamic Routing Algorithm
In this paper, a routing model for minimizing hot spots in the network on chip (NOC) is presented. The model makes use of AntNet routing algorithm which is based on Ant colony. Us...
Masoud Daneshtalab, Ashkan Sobhani, Ali Afzali-Kus...
FMCAD
2004
Springer
15 years 10 months ago
A Simple Method for Parameterized Verification of Cache Coherence Protocols
Abstract. We present a simple method for verifying the safety properties of cache coherence protocols with arbitrarily many nodes. Our presentation begins with two examples. The fi...
Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon P...
ISCA
2008
IEEE
101views Hardware» more  ISCA 2008»
15 years 6 months ago
Scalability in Analyzing the Availability of Large-Scale Networks using Multicast
The goal of this paper is to identify and discuss scalability issues for the measurement-based analysis of the availability in large-scale networks using IP multicast technology. ...
Falko Dressler