Sciweavers

1554 search results - page 84 / 311
» A New Simulation Tool for the Modeling and Control of Distri...
Sort
View
FM
1997
Springer
258views Formal Methods» more  FM 1997»
14 years 3 days ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
IRI
2005
IEEE
14 years 1 months ago
Modeling methodology for application development in petroleum industry
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
Cong Zhang, Viktor K. Prasanna, Abdollah Orangi, W...
HPCA
2008
IEEE
14 years 8 months ago
Gaining insights into multicore cache partitioning: Bridging the gap between simulation and real systems
Cache partitioning and sharing is critical to the effective utilization of multicore processors. However, almost all existing studies have been evaluated by simulation that often ...
Jiang Lin, Qingda Lu, Xiaoning Ding, Zhao Zhang, X...
CPHYSICS
2006
132views more  CPHYSICS 2006»
13 years 8 months ago
A 3D model for ion beam formation and transport simulation
In this paper, we present a three-dimensional model for self consistently modeling ion beam formation from plasma ion sources and transporting in low energy beam transport systems...
J. Qiang, D. Todd, D. Leitner
ATAL
2004
Springer
14 years 1 months ago
Multiagent Planning as Control Synthesis
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...
Kiam Tian Seow, Chuan Ma, Makoto Yokoo