1169 search results - page 33 / 234 » Simulation in software engineering training |
152
click to vote
ISPASS
2005
IEEE
15 years 11 months ago
2005
IEEE
We introduce a fast and accurate technique for initializing the directory and cache state of a multiprocessor system based on a novel software structure called the memory timestam...
144
click to vote
CODES
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
158
click to vote
ICSEA
2006
IEEE
15 years 12 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
166
click to vote
WETICE
2005
IEEE
15 years 11 months ago
2005
IEEE
In distributed software engineering, the role of informal communication is frequently overlooked. Participants simply employ their own ad-hoc methods of informal communication. Co...
171
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...