Sciweavers

7861 search results - page 168 / 1573
» Orthographic Modeling Environment
Sort
View
CMG
1997
15 years 7 months ago
Capacity Planning in Distributed Environments
Capacity Planning has been a discipline practiced by IT since before the invention of the mainframe. It encompasses different measurement, analysis, modeling and reporting techniq...
Bernard Domanski
WSC
1997
15 years 7 months ago
Using SiMPLE++ for Improved Modeling Efficiencies and Extending Model Life Cycles
SiMPLE++ is an object-oriented simulation environment for modeling all types of manufacturing, logistics and service systems. AESOP’s SiMPLE++ is a fully object-oriented impleme...
David R. Kalasky, Gerald A. Levasseur
CSSE
2008
IEEE
16 years 26 days ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
GI
2007
Springer
15 years 10 months ago
The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...
Steffen Prochnow, Reinhard von Hanxleden
FDL
2005
IEEE
16 years 21 hour ago
Implementation of a SystemC based Environment
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
Richard Hoffer, Frank Baszynski