|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8773 occurrences of 3334 keywords
|
|
|
Results
Found 18073 publication records. Showing 18073 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
32 | Gordon Fraser 0001, Martin Weiglhofer, Franz Wotawa |
Coverage Based Testing with Test Purposes. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
input-output conformance, Session Initiation Protocol, model-based testing, LOTOS, coverage criteria, test purposes |
32 | Yang Sok Kim, Byeong Ho Kang 0001 |
Coverage and Timeliness Analysis of Search Engines with Webpage Monitoring Results. |
WISE |
2007 |
DBLP DOI BibTeX RDF |
Coverage of Search Engines, Freshness of Search Engines, Search Engines |
32 | Wei Wang 0002, Vikram Srinivasan, Kee Chaing Chua |
Trade-offs between mobility and density for coverage in wireless sensor networks. |
MobiCom |
2007 |
DBLP DOI BibTeX RDF |
sensor networks, mobility, coverage |
32 | Ke Cheng, Prithviraj Dasgupta |
Dynamic Area Coverage using Faulty Multi-Agent Swarms. |
IAT |
2007 |
DBLP DOI BibTeX RDF |
distributed area coverage, failure, fault, Swarming |
32 | Deying Li 0001, Jiannong Cao 0001, Ming Liu 0002, Yuan Zheng 0001 |
K -Connected Target Coverage Problem in Wireless Sensor Networks. |
COCOA |
2007 |
DBLP DOI BibTeX RDF |
k-connected target coverage, k-connected augmentation, wireless sensor networks, heuristic algorithms, NP-hard problems |
32 | Shuhui Yang, Fei Dai 0001, Mihaela Cardei, Jie Wu 0001, Floyd Patterson |
On Connected Multiple Point Coverage in Wireless Sensor Networks. |
Int. J. Wirel. Inf. Networks |
2006 |
DBLP DOI BibTeX RDF |
wireless sensor networks, reliability, linear programming, localized algorithms, Coverage problem |
32 | Christopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer |
Achieving communication coverage in testing. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
timed state-based specifications, distributed systems, conformance testing, coverage criteria |
32 | Tao Lv 0001, Jianping Fan 0002, Xiaowei Li 0001, Ling-Yi Liu |
Observability Statement Coverage Based on Dynamic Factored Use-Definition Chains for Functional Verification. |
J. Electron. Test. |
2006 |
DBLP DOI BibTeX RDF |
dynamic factored use-definition chains, observability, data-flow analysis, design verification, coverage metrics |
32 | Feng Xue, Panganamala R. Kumar |
On the theta-coverage and connectivity of large random networks. |
IEEE Trans. Inf. Theory |
2006 |
DBLP DOI BibTeX RDF |
sensor networks, ad hoc networks, wireless networks, connectivity, coverage, topology control, random geometric graphs, transmission power control |
32 | Shiow-Yang Wu, Chao-Hong Liu, Chen-Kuang Tzeng |
Self-organization Strategies for Dynamic Context Coverage in Capability-Constrained Mobile Sensor Networks. |
SUTC (1) |
2006 |
DBLP DOI BibTeX RDF |
heterogeneous sensors, dynamic context coverage, self-organization, mobile sensor networks |
32 | Azzedine Boukerche, Xin Fei |
Coverage protocols for detecting fully sponsored sensors in wireless sensor networks. |
PE-WASUN |
2006 |
DBLP DOI BibTeX RDF |
central angle, intersection point method, irregular sensing range, unit cycle test, wireless sensor network, coverage |
32 | Pathma Rathinavelu, Gottfried Schapeler, Andreas Weber 0003 |
UMTS Coverage and Capacity Enhancement Using Repeaters and Remote RF Heads. |
AINA (2) |
2006 |
DBLP DOI BibTeX RDF |
UMTS network, coverage and capacity enhancement, remote RF head, repeater |
32 | Yi Zou, Krishnendu Chakrabarty |
A Distributed Coverage- and Connectivity-Centric Technique for Selecting Active Nodes in Wireless Sensor Networks. |
IEEE Trans. Computers |
2005 |
DBLP DOI BibTeX RDF |
Coverage and connectivity, wireless sensor networks, distributed system, energy efficiency |
32 | Benyuan Liu, Peter Braß, Olivier Dousse, Philippe Nain, Donald F. Towsley |
Mobility improves coverage of sensor networks. |
MobiHoc |
2005 |
DBLP DOI BibTeX RDF |
sensor network, mobility, coverage |
32 | Maxim A. Batalin, Gaurav S. Sukhatme |
Coverage, Exploration and Deployment by a Mobile Robot and Communication Network. |
Telecommun. Syst. |
2004 |
DBLP DOI BibTeX RDF |
sensor networks, mobile robots, coverage, communication networks, deployment, exploration, robot navigation |
32 | Guoliang Xing, Chenyang Lu 0001, Robert Pless, Joseph A. O'Sullivan |
Co-Grid: an efficient coverage maintenance protocol for distributed sensor networks. |
IPSN |
2004 |
DBLP DOI BibTeX RDF |
sensor networks, coverage, data fusion, energy conservation, distributed detection |
32 | Di Tian, Nicolas D. Georganas |
A coverage-preserving node scheduling scheme for large wireless sensor networks. |
WSNA |
2002 |
DBLP DOI BibTeX RDF |
wireless sensor networks, coverage, node scheduling |
32 | Mustafa M. Tikir, Jeffrey K. Hollingsworth |
Efficient instrumentation for code coverage testing. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
dynamic code deletion, dynamic code patching, on-demand instrumentation, testing, code coverage, dominator tree |
32 | Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv |
Hole analysis for functional coverage data. |
DAC |
2002 |
DBLP DOI BibTeX RDF |
functional verification, coverage analysis |
32 | Lakshminarayana Pappu, Michael L. Bushnell, Vishwani D. Agrawal, Mandyam-Komar Srinivas |
Statistical path delay fault coverage estimation for synchronous sequential circuits. |
VLSI Design |
1996 |
DBLP DOI BibTeX RDF |
path delay fault coverage estimation, multi-valued algebra, signal statistics, latch updating, fault diagnosis, logic testing, delays, probability, controllability, controllability, statistical analysis, sequential circuits, observability, observabilities, logic simulation, synchronous sequential circuits, statistical estimation |
31 | Piet Engelke, Ilia Polian, Michel Renovell, Bharath Seshadri, Bernd Becker 0001 |
The Pros and Cons of Very-Low-Voltage Testing: An Analysis based on Resistive Bridging Faults. |
VTS |
2004 |
DBLP DOI BibTeX RDF |
Very-Low-Voltage testing, Resistive short defects |
31 | Ahmed Guessoum, Rached N. Zantout |
A Methodology for Evaluating Arabic Machine Translation Systems. |
Mach. Transl. |
2004 |
DBLP DOI BibTeX RDF |
lexical semantic correctness, grammatical coverage, evaluation, coverage, Arabic, lexicons, pronoun resolution |
31 | Chinh T. Vu, Yingshu Li |
Delaunay-Triangulation Based Complete Coverage in Wireless Sensor Networks. |
PerCom Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Guanqun Yang, Vinod Shukla, Daji Qiao |
Analytical Study of Collaborative Information Coverage for Object Detection in Sensor Networks. |
SECON |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Albert Tran, Michael R. Smith 0001, James Miller 0001 |
A Hardware-Assisted Tool for Fast, Full Code Coverage Analysis. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Fadi Wedyan, Sudipto Ghosh |
A Joinpoint Coverage Measurement Tool for Evaluating the Effectiveness of Test Inputs for AspectJ Programs. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Syed Ali Raza Zaidi, Maryam Hafeez, Desmond C. McLernon, Mounir Ghogho |
A probabilistic model of k-coverage in minimum cost wireless sensor networks. |
CoNEXT |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Inas Khalifa, Rodney G. Vaughan |
Optimal Configuration of Multi-Faceted Phased Arrays for Wide Angle Coverage. |
VTC Spring |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Ossama Younis, Marwan Krunz, Srinivasan Ramasubramanian |
A Framework for Resilient Online Coverage in Sensor Networks. |
SECON |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Wenming Cao 0001, Guoliang Zhao |
Coverage in Biomimetic Pattern Recognition. |
RSFDGrC |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Chong Liu 0001, Kui Wu 0001, Yang Xiao 0001, Bo Sun 0001 |
Random Coverage with Guaranteed Connectivity: Joint Scheduling for Wireless Sensor Networks. |
IEEE Trans. Parallel Distributed Syst. |
2006 |
DBLP DOI BibTeX RDF |
Wireless sensor networks, performance analysis, scheduling algorithms |
31 | Jing Ai, Alhussein A. Abouzeid |
Coverage by directional sensors in randomly deployed wireless sensor networks. |
J. Comb. Optim. |
2006 |
DBLP DOI BibTeX RDF |
Directional sensors, Scheduling, Distributed algorithm, Network lifetime, Mathematical programming/optimization |
31 | Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya |
Transition-based coverage estimation for symbolic model checking. |
ASP-DAC |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Bang Wang, Kee Chaing Chua, Vikram Srinivasan, Wei Wang 0002 |
Sensor Density for Complete Information Coverage in Wireless Sensor Networks. |
EWSN |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Xin Liu 0002 |
Coverage with Connectivity in Wireless Sensor Networks. |
BROADNETS |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Evan Martin, Tao Xie 0001, Ting Yu 0001 |
Defining and Measuring Policy Coverage in Testing Access Control Policies. |
ICICS |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Atanas Rountev, Scott Kagan, Jason Sawin |
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Te-Chang Lee, Pao-Ann Hsiung |
Mutation Coverage Estimation for Model Checking. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Kalyan-Ram Chilakamarri, Sebastian G. Elbaum |
Reducing Coverage Collection Overhead With Disposable Instrumentation. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Thomas Ball |
A Theory of Predicate-Complete Test Coverage and Generation. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Wangqi Qiu, Xiang Lu, Jing Wang 0006, Zhuo Li 0001, D. M. H. Walker, Weiping Shi |
A Statistical Fault Coverage Metric for Realistic Path Delay Faults. |
VTS |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Yi Zhao, Sujit Dey |
Fault-coverage analysis techniques of crosstalk in chip interconnects. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Shusaku Tsumoto |
Characteristics of Accuracy and Coverage in Rule Induction. |
RSFDGrC |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Hana Chockler, Orna Kupferman, Moshe Y. Vardi |
Coverage Metrics for Formal Verification. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Shusaku Tsumoto |
Accuracy and Coverage in Rough Set Rule Induction. |
Rough Sets and Current Trends in Computing |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Raimondas Lencevicius, Edu Metz, Alexander Ran |
Tracing Execution of Software for Design Coverage. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Premkumar T. Devanbu, Stuart G. Stubblebine |
Cryptographic Verification of Test Coverage Claims. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
verification, Testing, cryptography, trust, components, safety-critical systems |
31 | Shyue-Kung Lu, Tsung-Ying Lee, Cheng-Wen Wu |
Defect Level Prediction Using Multi-Model Fault Coverage. |
Asian Test Symposium |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Von-Kyoung Kim, Tom Chen 0001, Mick Tegethoff |
Fault Coverage Estimation for Early Stage of VLSI Design. |
Great Lakes Symposium on VLSI |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Raanan Grinwald, Eran Harel, Michael Orgad, Shmuel Ur, Avi Ziv |
User Defined Coverage - A Tool Supported Methodology for Design Verification. |
DAC |
1998 |
DBLP DOI BibTeX RDF |
high-level synthesis, telecommunication |
29 | Isabel Dietrich, Falko Dressler |
On the lifetime of wireless sensor networks. |
ACM Trans. Sens. Networks |
2009 |
DBLP DOI BibTeX RDF |
longevity, Sensor networks, connectivity, coverage, lifetime |
29 | Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum |
Saturation-based testing of concurrent programs. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
coverage, concurrent programs, test adequacy criteria |
29 | GaoJun Fan, Shiyao Jin, Wei Cheng |
An approach to finding weak regions for wireless sensor networks with arbitrary sensing areas. |
MobiHoc |
2008 |
DBLP DOI BibTeX RDF |
arbitrary sensing areas, weak region, sensor network, coverage |
29 | Yu-Ming Hsieh, Duen-Chi Yang, Keh-Jiann Chen |
Linguistically-Motivated Grammar Extraction, Generalization and Adaptation. |
IJCNLP |
2005 |
DBLP DOI BibTeX RDF |
Grammar Coverage, Sentence Parsing, Grammar Extraction, Ambiguity |
29 | J. Jenny Li, Joseph Robert Horgan |
A Tool Suite for Diagnosis and Testing of Software Design Specifications. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
Software design specification, xSuds and Specification and Description Language (SDL [2]), software engineering tool, coverage testing |
29 | Dinos Moundanos, Jacob A. Abraham |
On Design Validation Using Verification Technology. |
J. Electron. Test. |
1999 |
DBLP DOI BibTeX RDF |
extracted control flow machine, verification, abstraction, test generation, coverage analysis, OBDDs |
29 | J. Jenny Li, Joseph Robert Horgan |
chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications. |
APSEC |
1999 |
DBLP DOI BibTeX RDF |
cSuds and Specification and Description Language (SDL), Software specification, debugging tool, coverage testing |
29 | Hoon Kim, Youn-Hee Han, Sung-Gi Min |
Maximum lifetime scheduling for target coverage in wireless sensor networks. |
IWCMC |
2010 |
DBLP DOI BibTeX RDF |
overlapped target, sensor scheduling, coverage, network lifetime |
29 | Thao Dang 0001, Tarik Nahhal |
Coverage-guided test generation for continuous and hybrid systems. |
Formal Methods Syst. Des. |
2009 |
DBLP DOI BibTeX RDF |
Test generation, Hybrid systems, Model-based testing, Conformance testing, Test coverage |
29 | E. S. F. Najumudheen, Rajib Mall, Debasis Samanta |
A dependence graph-based representation for test coverage analysis of object-oriented programs. |
ACM SIGSOFT Softw. Eng. Notes |
2009 |
DBLP DOI BibTeX RDF |
object-oriented program, inheritance, polymorphism, dependence graph, coverage analysis |
29 | Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das 0001, Prasenjit Basu, P. P. Chakrabarti 0001 |
Design intent coverage revisited. |
ACM Trans. Design Autom. Electr. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Design Intent Coverage |
29 | Chi Zhang 0001, Yanchao Zhang, Yuguang Fang |
Localized algorithms for coverage boundary detection in wireless sensor networks. |
Wirel. Networks |
2009 |
DBLP DOI BibTeX RDF |
Connected coverage, Wireless sensor networks (WSNs), Computational geometry, Localized algorithm |
29 | Fuqu Wu, Melanie Tory |
PhotoScope: visualizing spatiotemporal coverage of photos for construction management. |
CHI |
2009 |
DBLP DOI BibTeX RDF |
construction management, spatiotemporal coverage, visualization, photo browser |
29 | Lizhong Jin, Jie Jia, Guiran Chang, Xingwei Wang 0001 |
Restoration of coverage blind spots in wireless sensor networks based on ant colony algorithm. |
GEC Summit |
2009 |
DBLP DOI BibTeX RDF |
coverage blind spot, restoration mechanism, wireless sensor networks, Voronoi diagram, ant colony algorithm |
29 | Chengdong Jiang, Guo-Liang Chen 0001 |
Double Barrier Coverage in Dense Sensor Networks. |
J. Comput. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
wireless sensor network, distributed algorithm, Delaunay triangulation, barrier coverage |
29 | Qun Zhao, Mohan Gurusamy |
Lifetime maximization for connected target coverage in wireless sensor networks. |
IEEE/ACM Trans. Netw. |
2008 |
DBLP DOI BibTeX RDF |
sensor activity scheduling, wireless sensor networks, approximation algorithms, NP-complete, coverage, network lifetime |
29 | Ting Yan, Yu Gu 0001, Tian He 0001, John A. Stankovic |
Design and optimization of distributed sensing coverage in wireless sensor networks. |
ACM Trans. Embed. Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Sensor networks, energy conservation, sensing coverage |
29 | Robert C. Pasley, Paul D. Clough, Ross S. Purves, Florian A. Twaroch |
Mapping geographic coverage of the web. |
GIS |
2008 |
DBLP DOI BibTeX RDF |
geographic references, web coverage, geographic information retrieval, gazetteers |
29 | Miri Weiss-Cohen, Igal Sirotin, Erez Rave |
GrasSmart: An Intelligent Robotic System for Continuous Area Coverage. |
KES (1) |
2008 |
DBLP DOI BibTeX RDF |
robot motion, spanning tree, Area coverage |
29 | Junghoon Lee |
Design of a Network Coverage Analyzer for Roadside-to-Vehicle Telematics Networks. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
Vehicular telematics, roadside-to-vehicle network, taxi telematics system, RSU placement, network coverage |
29 | Zhanyang Zhang |
Towards Cluster Based Wireless Sensor Network Deployment Management and Network Coverage Verification. |
APNOMS |
2008 |
DBLP DOI BibTeX RDF |
sensor clusters, laser guide location Tracking, Wireless sensor networks, k-coverage |
29 | Wei Wang 0002, Vikram Srinivasan, Kee Chaing Chua, Bang Wang |
Energy-efficient coverage for target detection in wireless sensor networks. |
IPSN |
2007 |
DBLP DOI BibTeX RDF |
sensor networks, coverage, target detection |
29 | Weixin Xie, Rui Wang 0034, Wenming Cao 0001 |
Analysis of Higher Order Voronoi Diagram for Fuzzy Information Coverage. |
MSN |
2007 |
DBLP DOI BibTeX RDF |
fuzzy information coverage, Sensor network, Voronoi diagram, higher order |
29 | Renée C. Bryce, Atif M. Memon |
Test suite prioritization by interaction coverage. |
DOSTA |
2007 |
DBLP DOI BibTeX RDF |
t-way interaction coverage, event driven software, test suite prioritization, covering arrays, combinatorial interaction testing |
29 | Shan Lu 0001, Weihang Jiang, Yuanyuan Zhou 0001 |
A study of interleaving coverage criteria. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
concurrent program, interleaving, coverage criteria |
29 | Raúl A. Santelices, Mary Jean Harrold |
Efficiently monitoring data-flow test coverage. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
definition-use association, inference, instrumentation, test coverage, data-flow testing |
29 | Andy Gill, Colin Runciman |
Haskell program coverage. |
Haskell |
2007 |
DBLP DOI BibTeX RDF |
software engineering, haskell, code coverage |
29 | Liusheng Huang, Hongli Xu, Yang Wang 0015, Junmin Wu, Hong Li |
Coverage and Exposure Paths in Wireless Sensor Networks. |
J. Comput. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
wireless sensor networks, coverage, localized algorithm, exposure |
29 | Peng-Jun Wan, Chih-Wei Yi |
Coverage by randomly deployed wireless sensor networks. |
IEEE Trans. Inf. Theory |
2006 |
DBLP DOI BibTeX RDF |
node density, sensing radius, wireless ad hoc sensor networks, connectivity, asymptotics, k-coverage |
29 | S. M. Nazrul Alam, Zygmunt J. Haas |
Coverage and connectivity in three-dimensional networks. |
MobiCom |
2006 |
DBLP DOI BibTeX RDF |
3D networks, Kelvin's conjecture, hexagonal prism, rhombic dodecahedron, three-dimensional networks, truncated octahedron, wireless networks, connectivity, coverage, polyhedron, underwater networks |
29 | Prateek R. Kapadia, Om P. Damani |
Interference-constrained wireless coverage in a protocol model. |
MSWiM |
2006 |
DBLP DOI BibTeX RDF |
wireless network coverage and interference, computational geometry |
29 | Mao Ye, Edward Chan, Guihai Chen, Jie Wu 0001 |
Energy Efficient Fractional Coverage Schemes for Low Cost Wireless Sensor Networks. |
ICDCS Workshops |
2006 |
DBLP DOI BibTeX RDF |
fractional coverage problem, reporting latency, wireless sensor network, energy awareness |
29 | Wei Lu, Xiu-Tao Yang, Tao Lv 0001, Xiaowei Li 0001 |
An Efficient Evaluation and Vector Generation Method for Observability-Enhanced Statement Coverage. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
simulation, observability, design verification, coverage metrics, vector generation |
29 | Yung-Ruei Chang, Suprasad V. Amari, Sy-Yen Kuo |
OBDD-Based Evaluation of Reliability and Importance Measures for Multistate Systems Subject to Imperfect Fault Coverage. |
IEEE Trans. Dependable Secur. Comput. |
2005 |
DBLP DOI BibTeX RDF |
multistate system, importance measure, Reliability, fault-coverage, OBDD |
29 | Tao Shu, Marwan Krunz, Sarma B. K. Vrudhula |
Power balanced coverage-time optimization for clustered wireless sensor networks. |
MobiHoc |
2005 |
DBLP DOI BibTeX RDF |
coverage time, signomial optimization, clustering, sensor networks, topology control, generalized geometric programming |
29 | Guolie Lan, Zhiming Ma, Su-Yong Sun |
Coverage Problem of Wireless Sensor Networks. |
CJCDGCGT |
2005 |
DBLP DOI BibTeX RDF |
sensor networks, Coverage, large-scale, uniform distribution |
29 | Hui Tian 0001, Hong Shen 0001 |
An Optimal Coverage Scheme for Wireless Sensor Network. |
ICN (1) |
2005 |
DBLP DOI BibTeX RDF |
reliability, sensors, coverage, energy, hexagon |
29 | Yinian Mao, Min Wu 0001 |
Coordinated sensor deployment for improving secure communications and sensing coverage. |
SASN |
2005 |
DBLP DOI BibTeX RDF |
location adjustment, secure communications, key pre-distribution, sensor deployment, sensing coverage |
29 | Chih-fan Hsin, Mingyan Liu |
Network coverage using low duty-cycled sensors: random & coordinated sleep algorithms. |
IPSN |
2004 |
DBLP DOI BibTeX RDF |
superposition of alternating renewal processes, sensor networks, energy efficiency, coverage |
29 | Hsiao Ping Lee, Yin-Te Tsai, Chuan Yi Tang |
A seriate coverage filtration approach for homology search. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
incrementally decreasing covers, longest increasing subsequence problems, lossless filtration, seriate coverage, homology search |
29 | Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting |
Boundary Coverage Criteria for Test Generation from Formal Models. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
boundary-value testing, test coverage criteria, model-based testing |
29 | Malay K. Ganai, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal |
SIVA: A System for Coverage-Directed State Space Search. |
J. Electron. Test. |
2001 |
DBLP DOI BibTeX RDF |
formal methods, coverage, functional verification, guided search |
29 | Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
Fault Coverage in Testing Real-Time Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Testing, Specification, Implementation, Timed Automata, Fault Coverage |
29 | Walter W. Weber, Adit D. Singh |
Incorporating IDDQ Testing with BIST for Improved Coverage: An Experimental Study. |
J. Electron. Test. |
1997 |
DBLP DOI BibTeX RDF |
open faults, BIST, fault coverage, built in current sensor, BICS, I DDQ |
29 | V. Prepin, R. David |
Fault coverage of a long random test sequence estimated from a short simulation. |
VTS |
1997 |
DBLP DOI BibTeX RDF |
long random test sequence, short simulation, fault coverage estimation, two-parameter model, fault diagnosis |
29 | Karim Arabi, Bozena Kaminska |
Parametric and Catastrophic Fault Coverage of Analog Circuits in Oscillation-Test Methodology. |
VTS |
1997 |
DBLP DOI BibTeX RDF |
Oscillation-Test Method, Parametric Fault Coverage, Analog Testing, Mixed-Signal Circuits |
27 | Anas F. Alrawi, Bayan S. Sharif, Charalampos Tsimenidis, Konstantinos Ntagkounakis |
Influence of code orthogonality on downlink throughput comparison between MC-CDMA and OFDMA in multi-cellular environments. |
ISCC |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick |
Automated substring hole analysis. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Orna Kupferman |
Sanity Checks in Formal Verification. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Cristian Constantinescu |
Experimental evaluation of error-detection mechanisms. |
IEEE Trans. Reliab. |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 18073 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|