Sciweavers

644 search results - page 55 / 129
» An Experimental Chip to Evaluate Test Techniques: Experiment...
Sort
View
RTAS
2006
IEEE
15 years 5 months ago
Scalable Modeling and Performance Evaluation of Wireless Sensor Networks
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...
YoungMin Kwon, Gul Agha
HAPTICS
2006
IEEE
15 years 6 months ago
Evaluating the Role of Force Feedback for Biomanipulation Tasks
Conventional cell manipulation techniques do not have the ability to provide force feedback to an operator. Poor control of cell injection force is one of the primary reasons for l...
Anand Pillarisetti, Maxim Pekarev, Ari D. Brooks, ...
ASPDAC
2004
ACM
107views Hardware» more  ASPDAC 2004»
15 years 5 months ago
Minimization of the expected path length in BDDs based on local changes
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
Rüdiger Ebendt, Wolfgang Günther, Rolf D...
SIGSOFT
2008
ACM
16 years 19 days ago
Inter-context control-flow and data-flow test adequacy criteria for nesC applications
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...
Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan
IPPS
2009
IEEE
15 years 6 months ago
Evaluating the use of GPUs in liver image segmentation and HMMER database searches
In this paper we present the results of parallelizing two life sciences applications, Markov random fieldsbased (MRF) liver segmentation and HMMER’s Viterbi algorithm, using GP...
John Paul Walters, Vidyananth Balu, Suryaprakash K...