3828 search results - page 391 / 766 » Proof-Based System Engineering Using a Virtual System Model |
160
click to vote
WSC
2007
15 years 9 months ago
2007
Unambiguous definition of the information exchanged between distributed systems is a necessary requirement for simulation system interoperability. The ontological spectrum categor...
165
click to vote
ASWEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
221
click to vote
CODES
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...
195
click to vote
FTDCS
2004
IEEE
15 years 10 months ago
2004
IEEE
Today most Internet services are pre-assigned to servers statically, hence preventing us from doing real-time sharing of a pool of servers across as group of services with dynamic...
186
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
The large size and high complexity of securitysensitive applications and systems software is a primary cause for their poor testability and high vulnerability. One approach to all...