Sciweavers

8771 search results - page 547 / 1755
» Different by design
Sort
View
205
Voted
ICSAP
2010
15 years 11 months ago
Towards Benchmarking of Video Motion Tracking Algorithms
The environment in which video motion needs to be tracked, places several constraints on the design of the tracking system. Current datasets which are used to evaluate and compare...
Mukesh C. Motwani, Nishith Tirpankar, Rakhi C. Mot...
EXPCS
2007
15 years 11 months ago
Quantifying the performance isolation properties of virtualization systems
In this paper, we present the design of a performance isolation benchmark that quantifies the degree to which a virtualization system limits the impact of a misbehaving virtual ma...
Jeanna Neefe Matthews, Wenjin Hu, Madhujith Hapuar...
FDL
2007
IEEE
15 years 11 months ago
Transactor-based Formal Verification of Real-time Embedded Systems
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
Daniel Karlsson, Petru Eles, Zebo Peng
GRC
2007
IEEE
15 years 11 months ago
Perspectives of Granular Computing in Software Engineering
Granular computing is not only a computing model for computer-centered problem solving, but also a thinking model for human-centered problem solving. Some authors have presented t...
Jianchao Han, Jing Dong
207
Voted
ASAP
2004
IEEE
171views Hardware» more  ASAP 2004»
15 years 11 months ago
CHARMED: A Multi-Objective Co-Synthesis Framework for Multi-Mode Embedded Systems
In this paper, we present a modular co-synthesis framework called CHARMED that solves the problem of hardware-software co-synthesis of periodic, multi-mode, distributed, embedded ...
Vida Kianzad, Shuvra S. Bhattacharyya