Sciweavers

8190 search results - page 76 / 1638
» From Timed to Hybrid Systems
Sort
View
AGILE
2007
Springer
184views GIS» more  AGILE 2007»
14 years 1 months ago
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture
Environmental databases store a wide variety of data from heterogeneous sources which are described with domain-specific terminologies and refer to distinct locations. In order to ...
Rolf Grütter, Bettina Bauer-Messmer
AUTOMATICA
2002
263views more  AUTOMATICA 2002»
13 years 7 months ago
Analysis of discrete-time piecewise affine and hybrid systems
In this paper we present various algorithms both for stability and performance analysis of discrete-time Piece-Wise Affine (PWA) systems. For stability, different classes of Lyapu...
Giancarlo Ferrari-Trecate, Francesco Alessandro Cu...
PVM
2004
Springer
14 years 1 months ago
A Performance-Oriented Technique for Hybrid Application Development
In SMP clusters it is not always convenient to switch from pure message-passing code to hybrid software designs that exploit shared memory. This paper tackles the problem of restru...
Emilio Mancini, Massimiliano Rak, Roberto Torella,...
ICA3PP
2007
Springer
14 years 1 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...
FORMATS
2005
Springer
14 years 1 months ago
Reachability Problems on Extended O-Minimal Hybrid Automata
Within hybrid systems theory, o-minimal automata are often considered on the border between decidability and undecidability. In such classes of hybrid automata, the constraint of h...
Raffaella Gentilini