8 search results - page 2 / 2 » LiQuor: A tool for Qualitative and Quantitative Linear Time ... |
DAC
2003
ACM
14 years 5 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
CPHYSICS
2006
13 years 5 months ago
2006
Studies on the entanglement of n-qubit quantum systems have attracted a lot of interest during recent years. Despite the central role of entanglement in quantum information theory...
CHI
2002
ACM
14 years 5 months ago
2002
ACM
This demonstration will show the application of a unique approach to collecting and analyzing usability data from the users of Web sites and software applications. The NetRaker Su...