1622 search results - page 286 / 325 » Deriving Software Process Simulation Model from SPEM-based S... |
STTT
1998
13 years 8 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
TCAD
2010
13 years 3 months ago
2010
For real-time applications, it is necessary to estimate the worst-case performance early in the design process without actual hardware implementation. While the non-preemptive task...
ICCAD
2007
IEEE
14 years 21 days ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
VISUALIZATION
2005
IEEE
14 years 2 months ago
2005
IEEE
Arti cial neural networks are computer software or hardware models inspired by the structure and behavior of neurons in the human nervous system. As a powerful learning tool, incr...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...