Sciweavers

966 search results - page 19 / 194
» Global Optimization of Compositional Systems
Sort
View
LFP
1992
140views more  LFP 1992»
14 years 10 months ago
Global Tagging Optimization by Type Inference
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
Fritz Henglein
INFORMATICALT
2002
150views more  INFORMATICALT 2002»
14 years 9 months ago
Search for Dynamic Equilibrium in Duel Problems by Global Optimization
Two examples of open-loop differential games are considered in the paper. Starting with simplified dynamic Duel, further it was developed to differential economic Duel modelling pr...
Raimundas Matulevicius
DSN
2009
IEEE
15 years 4 months ago
A QoS-aware fault tolerant middleware for dependable service composition
Based on the framework of service-oriented architecture (SOA), complex distributed systems can be dynamically and automatically composed by integrating distributed Web services pr...
Zibin Zheng, Michael R. Lyu
CORR
2011
Springer
187views Education» more  CORR 2011»
14 years 4 months ago
Global Stability Analysis of Fluid Flows using Sum-of-Squares
This paper introduces a new method for proving global stability of fluid flows through the construction of Lyapunov functionals. For finite dimensional approximations of fluid...
Paul Goulart, Sergei Chernyshenko
73
Voted
DATE
2005
IEEE
135views Hardware» more  DATE 2005»
15 years 3 months ago
Compositional Memory Systems for Multimedia Communicating Tasks
Conventional cache models are not suited for real-time parallel processing because tasks may flush each other’s data out of the cache in an unpredictable manner. In this way th...
Anca Mariana Molnos, Marc J. M. Heijligers, Sorin ...