Sciweavers

1660 search results - page 130 / 332
» A Behavior Model for Next Generation Test Systems
Sort
View
VLSID
1999
IEEE
139views VLSI» more  VLSID 1999»
15 years 2 months ago
Processor Modeling for Hardware Software Codesign
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...
V. Rajesh, Rajat Moona
AIPS
2000
14 years 11 months ago
Challenges and Methods in Testing the Remote Agent Planner
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft. One of the key componen...
Benjamin D. Smith, Martin S. Feather, Nicola Musce...
DMIN
2006
131views Data Mining» more  DMIN 2006»
14 years 11 months ago
Use of Data Mining to Determine Cheating in Online Student Assessment
are proposing a model to help organizations detect and prevent cheats in online assessments. First we analyze different student personalities, stress situations generated by onlin...
Alberto Ochoa, Amol Wagholikar
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 5 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
WSC
2004
14 years 11 months ago
Autonomous Predictive-Adaptive Simulation for Operations Support
This paper describes a simulation system that monitors operations on a production floor, periodically creating a model of those operations, and running a simulation that predicts ...
Peter Bosch, Majdi Rajab