Sciweavers

674 search results - page 59 / 135
» Toward Self-Stabilizing Operating Systems
Sort
View
ENTCS
2008
91views more  ENTCS 2008»
14 years 11 months ago
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
Mario Bravetti
AUTOMATICA
2002
85views more  AUTOMATICA 2002»
14 years 11 months ago
Positive feedback stabilization of centrifugal compressor surge
Stable operation of axial and centrifugal compressors is limited towards low mass ows due to the occurrence of surge. The stable operating region can be enlarged by active control...
Frank Willems, W. P. M. H. Heemels, Bram de Jager,...
CVPR
2007
IEEE
16 years 1 months ago
OpenVL: Towards A Novel Software Architecture for Computer Vision
This paper presents our progress on OpenVL - a novel software architecture to address efficiency through facilitating hardware acceleration, reusability and scalability for comput...
Changsong Shen, S. Sidney Fels, James J. Little
DSN
2008
IEEE
15 years 5 months ago
Toward an understanding of the processing delay of peer-to-peer relay nodes
Abstract—Peer-to-peer relaying is commonly used in realtime applications to cope with NAT and firewall restrictions and provide better quality network paths. As relaying is not ...
Kuan-Ta Chen, Jing-Kai Lou
GLOBECOM
2008
IEEE
15 years 5 months ago
Towards Secure Link Quality Measurement in Multihop Wireless Networks
Abstract— Link quality measurement (LQM), i.e. packet reception ratio (PRR) measurement, is becoming an indispensable component in multihop wireless networks. However, in all the...
Kai Zeng, Shucheng Yu, Kui Ren, Wenjing Lou, Yanch...