943 search results - page 42 / 189 » Simulation based deadlock analysis for system level designs |
ICSE
2003
IEEE-ACM
14 years 9 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...
ESAW
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we present analysis and calibration techniques that exploit knowledge about a multi agent society in order to calibrate the system parameters of a corresponding socie...
RSP
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes the early analysis and estimation features currently implemented in the Berkeley Emulation Engine (BEE) system. BEE is an integrated rapid prototyping and des...
ISLPED
2010
ACM
13 years 9 months ago
2010
ACM
Thermal energy harvesting using micro-scale thermoelectric generators is a promising approach to alleviate the power supply challenge in ultra low power systems. In thermal energy...
FASE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...