2004 search results - page 380 / 401 » Comparison of Model Checking Tools for Information Systems |
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed testing of high-speed embedded processors testing in an SoC system. For SBST, test rout...
MICRO
2002
IEEE
15 years 4 months ago
2002
IEEE
With the prevalence of server blades and systems-ona-chip (SoCs), interconnection networks are becoming an important part of the microprocessor landscape. However, there is limite...
103
click to vote
NPAR
2000
ACM
15 years 4 months ago
2000
ACM
Researchers in nonphotorealistic rendering (NPR) have investigated a variety of techniques to simulate the styles of artists. Recent work has resulted in methods for pen-and-ink i...
126
click to vote
DSN
2008
IEEE
15 years 6 months ago
2008
IEEE
: Automated tools for understanding application behavior and its changes during the application life-cycle are essential for many performance analysis and debugging tasks. Applicat...
WOTUG
2008
15 years 1 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...