3605 search results - page 378 / 721 » System and simulation modeling using SysML |
172
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
142
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...
140
click to vote
ISMVL
2007
IEEE
15 years 11 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
154
click to vote
CSC
2009
15 years 5 months ago
2009
Small-world networks have become an important model for understanding many complex phenomena in science and in sociological contexts. One tool for exploring the critical and phase...
142
click to vote
IJCAI
1989
15 years 6 months ago
1989
Perturbation analysis deals with the relation ships between small changes in a system's inputs or model and changes in its outputs. Reverse simulation is of particular inte...