Sciweavers

1253 search results - page 12 / 251
» Exploration Testing
Sort
View
DAC
2008
ACM
16 years 23 days ago
Partial order reduction for scalable testing of systemC TLM designs
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
Sudipta Kundu, Malay K. Ganai, Rajesh Gupta
76
Voted
WSC
2001
15 years 1 months ago
Modeling and simulation for exploring human-robot team interaction requirements
Small-sized and micro-robots will soon be available for deployment in large-scale forces. Consequently, the ability of a human operator to coordinate and interact with largescale ...
Donald D. Dudenhoeffer, David J. Bruemmer, Midge L...
KBSE
2009
IEEE
15 years 6 months ago
A Framework for State-Space Exploration of Java-Based Actor Programs
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul...
JIRS
2010
101views more  JIRS 2010»
14 years 10 months ago
Exploring the Effect of Obscurants on Safe Landing Zone Identification
Currently, robotic rotorcraft determine landing zones based on visual cues or predetermined GPS waypoints. Missions such as perch-and-stare or cargo delivery demand the ability to ...
Keith W. Sevcik, Noah Kuntz, Paul Y. Oh
81
Voted
CORR
2011
Springer
153views Education» more  CORR 2011»
14 years 3 months ago
Exploring New Directions in Iris Recognition
—A new approach in iris recognition based on Circular Fuzzy Iris Segmentation (CFIS) and Gabor Analytic Iris Texture Binary Encoder (GAITBE) is proposed and tested here. CFIS pro...
Nicolaie Popescu-Bodorin