Sciweavers

1901 search results - page 55 / 381
» Models and Scheduling Mechanisms for Global Computing Applic...
Sort
View
ISSS
2000
IEEE
191views Hardware» more  ISSS 2000»
15 years 2 months ago
Conditional Scheduling for Embedded Systems using Genetic List Scheduling
One important part of a HW/SW codesign system is the scheduler which is needed in order to determine if a given HW/SW partitioning is suitable for a given application. In this pap...
Martin Grajcar
FMCAD
2000
Springer
15 years 2 months ago
SAT-Based Image Computation with Application in Reachability Analysis
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav G...
SIGECOM
2008
ACM
131views ECommerce» more  SIGECOM 2008»
14 years 11 months ago
Truthful germs are contagious: a local to global characterization of truthfulness
We study the question of how to easily recognize whether a social unction f from an abstract type space to a set of outcomes is truthful, i.e. implementable by a truthful mechanis...
Aaron Archer, Robert Kleinberg
ETRA
2008
ACM
120views Biometrics» more  ETRA 2008»
15 years 29 days ago
Eye movement prediction by Kalman filter with integrated linear horizontal oculomotor plant mechanical model
The goal of this paper is to predict future horizontal eye movement trajectories within a specified time interval. To achieve this goal a linear horizontal oculomotor plant mechan...
Oleg Komogortsev, Javed I. Khan
CCGRID
2003
IEEE
15 years 4 months ago
Supporting Peer-to-Peer Computing with FlexiNet
Formation of suitable overlay-network topologies that are able to reflect the structure of the underlying network-infrastructure, has rarely been addressed by peer-to-peer applic...
Thomas Fuhrmann