4693 search results - page 805 / 939 » Verifying Hybrid Systems |
138
Voted
IEEESCC
2006
IEEE
15 years 6 months ago
2006
IEEE
Service-oriented computing (SOC) is viewed as the computing paradigm of the near future, allowing for the dynamic interaction of services provided by distributed business partners...
93
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this work we present a system for implementing the placement and routing stages in the FPGA cycle of design, into the physical design stage. We start with the ISCAS benchmarks,...
99
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
— Current approaches to the visual homing for mobile robot navigation are generally inspired in insects’ behavior and based on the observed angular information of fixed points...
109
click to vote
VTC
2006
IEEE
15 years 6 months ago
2006
IEEE
— Performance comparison of multiuser OFDM-TDMA and OFDMA systems by considering physical and link cross-layer behavior is conducted in this work. We provide a new framework for ...
107
Voted
CASES
2006
ACM
15 years 6 months ago
2006
ACM
Dictionary code compression is a technique where long instructions in the memory are replaced with shorter code words used as index in a table to look up the original instructions...