Sciweavers

1002 search results - page 94 / 201
» A Computer Aided Grading System for Subjective Tests
Sort
View
DAC
2007
ACM
14 years 9 months ago
Automatic Verification of External Interrupt Behaviors for Microprocessor Design
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang
SIGMOD
2011
ACM
249views Database» more  SIGMOD 2011»
12 years 11 months ago
FlexMin: a flexible tool for automatic bug isolation in DBMS software
Debugging a database engine is an arduous task due to the complexity of the query workloads and systems. The first step in isolating a bug involves identifying a sequence of step...
Kristi Morton, Nicolas Bruno
CW
2005
IEEE
14 years 1 months ago
Strategy for Displaying the Recognition Result in Interactive Vision
This paper describes a choice strategy to ease user’s burdens for an interactive object recognition system when the system obtains multiple object candidates as a recognition re...
Yasushi Makihara, Jun Miura, Yoshiaki Shirai, Nobu...
SIAMSC
2010
130views more  SIAMSC 2010»
13 years 6 months ago
First-Order System Least Squares for Incompressible Resistive Magnetohydrodynamics
Magnetohydrodynamics (MHD) is a fluid theory that describes Plasma Physics by treating the plasma as a fluid of charged particles. Hence, the equations that describe the plasma f...
J. H. Adler, Thomas A. Manteuffel, Stephen F. McCo...
IEEEARES
2008
IEEE
14 years 2 months ago
Finding Evidence of Antedating in Digital Investigations
— Finding evidence of antedating is an important goal in many digital investigations. This paper explores how causality can expose antedating by investigating storage systems for...
Svein Yngvar Willassen