Sciweavers

9477 search results - page 1630 / 1896
» Design is as Easy as Optimization
Sort
View
EMSOFT
2004
Springer
15 years 10 months ago
A methodology for generating verified combinatorial circuits
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
Oleg Kiselyov, Kedar N. Swadi, Walid Taha
ENC
2004
IEEE
15 years 10 months ago
Continuous Mode Changes in Mechatronic Systems
This paper deals with the problem of controlling highly dynamic mechatronic systems. Such systems may work in several different operation modes, or even underlie continuous mode c...
Klaus Ecker, Andrei Tchernykh, Frank Drews, Silke ...
EUROMICRO
2004
IEEE
15 years 10 months ago
Melisa - A Distributed Multimedia System for Multi-Platform Interactive Sports Content Broadcasting
The new generation of television viewers is currently being confronted and becoming acquainted with a series of technological developments in the realm of consumer electronics and...
Emmanuel Papaioannou, Vasilis Karagianis, Kostas K...
187
Voted
DEXA
2006
Springer
113views Database» more  DEXA 2006»
15 years 10 months ago
Dynamic Range Query in Spatial Network Environments
Moving range queries over mobile objects are important in many location management applications. There have been quite a few research works in this area. However, all existing solu...
Fuyu Liu, Tai T. Do, Kien A. Hua
EUC
2006
Springer
15 years 10 months ago
Efficent Algorithm of Energy Minimization for Heterogeneous Wireless Sensor Network
Abstract. Energy and delay are critical issues for wireless sensor networks since most sensors are equipped with non-rechargeable batteries that have limited lifetime. Due to the u...
Mei Kang Qiu, Chun Xue, Zili Shao, Qingfeng Zhuge,...
« Prev « First page 1630 / 1896 Last » Next »