2637 search results - page 17 / 528 » Tool Supported Specification and Simulation of Distributed S... |
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
108
click to vote
EUC
2006
Springer
15 years 5 months ago
2006
Springer
Software programmers want to manage pure software, not hardware-software entanglements. Unfortunately, traditional development methodologies cannot clearly separate hardware and so...
95
Voted
APSEC
2000
IEEE
15 years 5 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
116
Voted
DAC
2002
ACM
16 years 2 months ago
2002
ACM
In the last decade, instruction-set simulators have become an essential development tool for the design of new programmable architectures. Consequently, the simulator performance ...
130
click to vote
HPDC
1993
IEEE
15 years 6 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...