Sciweavers

617 search results - page 22 / 124
» On the design of hybrid peer-to-peer systems
Sort
View
DT
2000
101views more  DT 2000»
13 years 8 months ago
Conflicting Criteria in Embedded System Design
The design of complex embedded systems involves the simultaneous optimization of several often competing objectives. Instead of a single optimal design, there is rather a set of a...
Michael Eisenring, Lothar Thiele, Eckart Zitzler
IEAAIE
2004
Springer
14 years 2 months ago
Knowledge Representation on Design of Storm Drainage System
During the design of storm drainage system, many decisions are involved on the basis of rules of thumb, heuristics, judgment, code of practice and previous experience of the design...
Kwok-wing Chau, C. S. Cheung
HYBRID
2004
Springer
14 years 2 months ago
Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
Amit Bhatia, Emilio Frazzoli
HYBRID
2007
Springer
14 years 2 months ago
Automata Based Interfaces for Control and Scheduling
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
Gera Weiss, Rajeev Alur
ETT
2006
115views Education» more  ETT 2006»
13 years 8 months ago
Radio network planning of DVB-H/UMTS hybrid mobile communication networks
Abstract-- The benefit of hybrid mobile communication networks combining point-to-point and point-to-multipoint systems should be an optimized transfer of data for both providers a...
Peter Unger, Thomas Kürner