8347 search results - page 387 / 1670 » Performance testing of software systems |
218
click to vote
IEE
2010
15 years 6 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
209
click to vote
ICSE
2010
IEEE-ACM
16 years 9 days ago
2010
IEEE-ACM
Change impact analysis aims at identifying software artifacts being affected by a change. In the past, this problem has been addressed by approaches relying on static, dynamic, a...
223
click to vote
MKWI
2008
15 years 9 months ago
2008
: Within an enterprise various information systems have to be run. Enterprise Application Integration (EAI) has become a well-established way to integrate such heterogeneous busine...
233
click to vote
DAC
2002
ACM
16 years 8 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
203
click to vote
FCCM
2006
IEEE
16 years 1 months ago
2006
IEEE
Field-Programmable Gate Arrays (FPGAs) are being employed in high performance computing systems owing to their potential to accelerate a wide variety of long-running routines. Par...