Sciweavers

8496 search results - page 1461 / 1700
» Problem Solving and Complex Systems
Sort
View
MEMOCODE
2007
IEEE
16 years 24 days ago
Towards Equivalence Checking Between TLM and RTL Models
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli...
BIOWIRE
2007
Springer
16 years 21 days ago
Epcast: Controlled Dissemination in Human-Based Wireless Networks Using Epidemic Spreading Models
Epidemics-inspired techniques have received huge attention in recent years from the distributed systems and networking communities. These algorithms and protocols rely on probabili...
Salvatore Scellato, Cecilia Mascolo, Mirco Musoles...
EUROPAR
2007
Springer
16 years 21 days ago
TAUoverSupermon : Low-Overhead Online Parallel Performance Monitoring
Online application performance monitoring allows tracking performance characteristics during execution as opposed to doing so post-mortem. This opens up several possibilities other...
Aroon Nataraj, Matthew J. Sottile, Alan Morris, Al...
KI
2007
Springer
16 years 20 days ago
Emotion Based Control Architecture for Robotics Applications
Assistance and service systems are one of the main research topics in robotics today. A major problem for creating these systems is that they have to work and navigate in the real ...
Jochen Hirth, Tim Braun, Karsten Berns
GLOBECOM
2006
IEEE
16 years 17 days ago
Throughput Optimization for Continuous Flat Fading MIMO Channels with Estimation Error
— In this paper, we consider single user throughput optimization problem for continuous flat fading channels of multiple-input multiple-output (MIMO) system. It is known that ch...
Edward W. Jang, Younggeun Cho, John M. Cioffi
« Prev « First page 1461 / 1700 Last » Next »