Sciweavers

36320 search results - page 50 / 7264
» From Code to Models
Sort
View
JSAC
2007
102views more  JSAC 2007»
15 years 5 months ago
Partially-coherent distributed space-time codes with differential encoder and decoder
Abstract— Distributed space-time coding is a means of achieving diversity through cooperative communication in a wireless relay network. In this paper, we consider a transmission...
T. Kiran, B. Sundar Rajan
FSEN
2007
Springer
16 years 5 days ago
Hoare Logic for ARM Machine Code
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
Magnus O. Myreen, Anthony C. J. Fox, Michael J. C....
IOT
2010
15 years 3 months ago
Using web service gateways and code generation for sustainable IoT system development
Wireless Sensing and Radio Identification systems have undergone many innovations during the past years. This has led to short product lifetimes for both software and hardware comp...
Till Riedel, Nicolaie Fantana, Adrian Genaid, Dimi...
CEC
2008
IEEE
16 years 14 days ago
Solving one-billion-bit Noisy OneMax problem using Estimation Distribution Algorithm with Arithmetic Coding
— This paper presents an algorithm which combines Estimation Distribution Algorithm with a chromosome compression scheme to solve large scale Noisy OneMax problem. The search spa...
Worasait Suwannik, Prabhas Chongstitvatana
ICIP
2005
IEEE
16 years 7 months ago
Motion vector prediction in multiview video coding
In video coding, motion vectors always account for a large number of bits and affect coding efficiency largely. In this paper, we propose an efficient motion vector prediction algo...
Xun Guo, Wen Gao, Debin Zhao