Sciweavers

1785 search results - page 100 / 357
» Modeling Communication with Synchronized Environments
Sort
View
144
Voted
INFOCOM
2005
IEEE
15 years 9 months ago
Power control for OSNR optimization in optical networks: a distributed algorithm via a central cost approach
— This paper addresses the problem of optical signal-to-noise ratio (OSNR) optimization in optical networks. An analytical OSNR network model is developed for a general multi-lin...
L. Pavel
IPPS
2010
IEEE
15 years 1 months ago
Performance modeling of heterogeneous systems
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...
Jan Christian Meyer, Anne C. Elster
107
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
Modular Design of Reactive Systems
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
Cristina Cerschi Seceleanu, Tiberiu Seceleanu
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
15 years 9 months ago
Model Checking Hybrid Multiagent Systems for the RoboCup
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...
125
Voted
WSC
1998
15 years 4 months ago
Visual Simulation Environment
This paper introduces the Visual Simulation Environment (VSE). VSE has been developed under research funding, primarily from the U.S. Navy for over a decade. It enables discrete-e...
Osman Balci, Anders I. Bertelrud, Chuck M. Esterbr...