Sciweavers

1465 search results - page 42 / 293
» Making the Correct Mistakes
Sort
View
SIGCSE
2010
ACM
183views Education» more  SIGCSE 2010»
15 years 4 months ago
Electronic commerce virtual laboratory
Website security is essential for successful e-commerce ventures, but the vital “how-to” components of security are often lacking in academic courses. This paper describes our...
Joel Coffman, Alfred C. Weaver
ISQED
2005
IEEE
140views Hardware» more  ISQED 2005»
15 years 3 months ago
Toward Quality EDA Tools and Tool Flows Through High-Performance Computing
As the scale and complexity of VLSI circuits increase, Electronic Design Automation (EDA) tools become much more sophisticated and are held to increasing standards of quality. New...
Aaron N. Ng, Igor L. Markov
NLPRS
2001
Springer
15 years 2 months ago
GLR Parser with Conditional Action Model(CAM)
There are two different approaches in the LR parsing. The first one is the deterministic approach that performs the only one action using the control rules learned without any LR ...
Yong-Jae Kwak, Young-Sook Hwang, Hoo-Jung Chung, S...
CAV
2010
Springer
179views Hardware» more  CAV 2010»
15 years 1 months ago
Generating Litmus Tests for Contrasting Memory Consistency Models
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
GRAPHICSINTERFACE
2008
14 years 11 months ago
Evaluation of techniques for visualizing mathematical expression recognition results
We present an experimental study that evaluates four different techniques for visualizing the machine interpretation of handwritten mathematics. Typeset in Place puts a printed fo...
Joseph J. LaViola Jr., Anamary Leal, Timothy S. Mi...