Sciweavers

2377 search results - page 95 / 476
» Hybrid Systems in TLA
Sort
View
ICCAD
2001
IEEE
101views Hardware» more  ICCAD 2001»
15 years 8 months ago
Instruction Generation for Hybrid Reconfigurable Systems
In this work, we present an algorithm for simultaneous template generation and matching. The algorithm profiles the graph and iteratively contracts edges to create the templates. ...
Ryan Kastner, Seda Ogrenci Memik, Elaheh Bozorgzad...
WIMOB
2008
IEEE
15 years 5 months ago
Hybrid ARQ Scheme with Intercarrier Interference Mitigation for OFDM Systems
—Based on the principle of spread spectrum systems, this paper presents a hybrid automatic-repeat-request (HARQ) scheme with the mitigation of intercarrier interference (ICI) by ...
Rong-Terng Juang, Kun-Yi Lin, Pangan Ting, Hsin-Pi...
ICA3PP
2007
Springer
15 years 5 months ago
An Efficient Source Peer Selection Algorithm in Hybrid P2P File Sharing Systems
We propose a source peer selection algorithm which efficiently chooses peers as sources from a set of peers having the requested file in a hybrid P2P file sharing system. Our propo...
Jingyuan Li, Weijia Jia, Liusheng Huang, Mingjun X...
CIG
2005
IEEE
15 years 4 months ago
A Hybrid AI System for Agent Adaptation in a First Person Shooter
The aim of developing an agent that is able to adapt its actions in response to their effectiveness within the game provides the basis for the research presented in this paper. It ...
Abdennour El Rhalibi, Michael Burkey
APSEC
2002
IEEE
15 years 4 months ago
Symbolic Simulation of Hybrid Systems
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan ...