1943 search results - page 260 / 389 » Software and higher education |
223
click to vote
APSEC
2007
IEEE
16 years 27 days ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
162
click to vote
DATE
2007
IEEE
16 years 27 days ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
161
click to vote
ICPP
2007
IEEE
16 years 26 days ago
2007
IEEE
Compute clusters are consuming more power at higher densities than ever before. This results in increased thermal dissipation, the need for powerful cooling systems, and ultimatel...
158
click to vote
ISPASS
2007
IEEE
16 years 25 days ago
2007
IEEE
For simulation, a tradeoff exists between speed and accuracy. The more instructions simulated from the workload, the more accurate the results — but at a higher cost. To reduce ...
154
click to vote
KBSE
2007
IEEE
16 years 25 days ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...