Sciweavers

7274 search results - page 1340 / 1455
» Abstractions for network update
Sort
View
120
Voted
DATE
2010
IEEE
126views Hardware» more  DATE 2010»
15 years 7 months ago
Scenario-based analysis and synthesis of real-time systems using uppaal
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
HUC
2000
Springer
15 years 7 months ago
Event-Driven, Personalizable, Mobile Interactive Spaces
Abstract An infrastructure is currently being deployed for delivering multimedia services using IP endto-end. Mobile devices and application resources, because of their computing c...
Theo Kanter
116
Voted
ISER
2000
Springer
88views Robotics» more  ISER 2000»
15 years 7 months ago
Design, Implementation, and Remote Operation of the Humanoid H6
Abstract: The paper describes the humanoid robot \H6", which was designed to serve as a platform for experimental research on the development of advanced humanoid-type robots....
Satoshi Kagami, Koichi Nishiwaki, James J. Kuffner...
LCR
2000
Springer
186views System Software» more  LCR 2000»
15 years 7 months ago
Adaptive Parallelism for OpenMP Task Parallel Programs
Abstract. We present a system that allows task parallel OpenMP programs to execute on a network of workstations (NOW) with a variable number of nodes. Such adaptivity, generally ca...
Alex Scherer, Thomas R. Gross, Willy Zwaenepoel
120
Voted
DAC
1995
ACM
15 years 7 months ago
Hierarchical Optimization of Asynchronous Circuits
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...
Bill Lin, Gjalt G. de Jong, Tilman Kolks
« Prev « First page 1340 / 1455 Last » Next »