Sciweavers

17680 search results - page 176 / 3536
» Simulation of Computer Systems and Applications
Sort
View
HASE
2008
IEEE
15 years 3 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
105
Voted
COLING
1996
15 years 4 months ago
A Computational Model for Generating Referring Expressions in a Multilingual Application Domain
In this paper we analyse the problem of generating referring expressions in a multilingnal generation system that produces instructions on how to fill out pension forms. The model...
Elena Not
117
Voted
IROS
2008
IEEE
147views Robotics» more  IROS 2008»
15 years 9 months ago
Stable limit cycle generation for underactuated mechanical systems, application: Inertia wheel inverted pendulum
— This paper deals with a control approach dedicated to stable limit cycle generation for underactuated mechanical systems. The proposed approach is based on partial nonlinear fe...
Sebastien Andary, Ahmed Chemori, Sébastien ...
WSC
1998
15 years 4 months ago
Informational Macrodynamics: System Modelling and Simulation Methodologies
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...
Vladimir S. Lerner
CAMAD
2009
IEEE
15 years 8 months ago
SSSim: a Simple and Scalable Simulator for P2P Streaming Systems
This paper describes SSSim, the Simple and Scalable Simulator for P2P streaming systems. SSSim is designed for performance and scalability, and allows the simulation of the diffus...
Luca Abeni, Csaba Király, Renato Lo Cigno