Sciweavers

2377 search results - page 70 / 476
» Hybrid Systems in TLA
Sort
View
IPPS
2007
IEEE
15 years 5 months ago
Mobility of Data in Distributed Hybrid Computing Systems
In distributed hybrid computing systems, traditional sequential processors are loosely coupled with reconfigurable hardware for optimal performance. This loose coupling proves to...
Philippe Faes, Mark Christiaens, Dirk Stroobandt
AWIC
2004
Springer
15 years 4 months ago
Case-Based Reasoning as a Prediction Strategy for Hybrid Recommender Systems
Abstract. Hybrid recommender systems are capable of providing better recommendations than non-hybrid ones. Our approach to hybrid recommenders is the use of prediction strategies t...
Mark van Setten, Mettina Veenstra, Anton Nijholt, ...
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 3 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
ISCAS
2005
IEEE
125views Hardware» more  ISCAS 2005»
15 years 4 months ago
A methodology for partitioning DSP applications in hybrid reconfigurable systems
—In this paper, we describe an automated and formalized methodology for partitioning computational intensive applications between reconfigurable hardware blocks of different gran...
Michalis D. Galanis, Athanasios Milidonis, George ...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 3 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...