Sciweavers

1253 search results - page 12 / 251
» Exploration Testing
Sort
View
137
Voted
DAC
2008
ACM
16 years 2 months 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
95
Voted
WSC
2001
15 years 3 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 8 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...
116
Voted
JIRS
2010
101views more  JIRS 2010»
15 years 8 days 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
99
Voted
CORR
2011
Springer
153views Education» more  CORR 2011»
14 years 5 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