2695 search results - page 283 / 539 » A Visual Approach to Validating System Level Designs |
140
click to vote
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
135
click to vote
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
125
click to vote
WSC
2008
15 years 6 months ago
2008
This paper proposes an analytical model useful in the design of conveyor-based Automated Material Handling Systems (AMHS) to support semiconductor manufacturing. The objective is ...
133
Voted
JMM2
2006
15 years 4 months ago
2006
The aim of the presented system is simplification and speedup of the daily pathological examination routine. The system combines telepathology with computer-aided diagnostics algor...
108
Voted
DIAGRAMS
2004
Springer
15 years 9 months ago
2004
Springer
The ‘graphicacy’ of student programmers was investigated using several cognitive tasks designed to assess ER knowledge representation at the perceptual, semantic and output lev...