|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK, pp. 199-208, 2008, IEEE Computer Society, 978-0-7695-3312-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2007, 8th International Conference on Web Information Systems Engineering, Nancy, France, December 3-7, 2007, Proceedings, pp. 361-372, 2007, Springer, 978-3-540-76992-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiCom ![In: Proceedings of the 13th Annual International Conference on Mobile Computing and Networking, MOBICOM 2007, Montréal, Québec, Canada, September 9-14, 2007, pp. 39-50, 2007, ACM, 978-1-59593-681-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
sensor networks, mobility, coverage |
32 | Ke Cheng, Prithviraj Dasgupta |
Dynamic Area Coverage using Faulty Multi-Agent Swarms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Silicon Valley, CA, USA, November 2-5, 2007, pp. 17-23, 2007, IEEE Computer Society, 0-7695-3027-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOA ![In: Combinatorial Optimization and Applications, First International Conference, COCOA 2007, Xi'an, China, August 14-16, 2007, Proceedings, pp. 20-31, 2007, Springer, 978-3-540-73555-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Wirel. Inf. Networks ![In: Int. J. Wirel. Inf. Networks 13(4), pp. 289-301, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(6), pp. 1-10, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 22(3), pp. 273-285, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(6), pp. 2289-2299, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUTC (1) ![In: IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2006), 5-7 June 2006, Taichung, Taiwan, pp. 480-487, 2006, IEEE Computer Society, 0-7695-2553-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PE-WASUN ![In: Proceedings of the 3rd ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2006, Torremolinos, Spain, October 6, 2006, pp. 58-65, 2006, ACM, 1-59593-487-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (2) ![In: 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 18-20 April 2006, Vienna, Austria, pp. 400-404, 2006, IEEE Computer Society, 0-7695-2466-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(8), pp. 978-991, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the 6th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2005, Urbana-Champaign, IL, USA, May 25-27, 2005, pp. 300-308, 2005, ACM, 1-59593-004-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 26(2-4), pp. 181-196, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the Third International Symposium on Information Processing in Sensor Networks, IPSN 2004, Berkeley, California, USA, April 26-27, 2004, pp. 414-423, 2004, ACM, 1-58113-846-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSNA ![In: Proceedings of the First ACM International Workshop on Wireless Sensor Networks and Applications, WSNA 2002, Atlanta, Georgia, USA, September 28, 2002, pp. 32-41, 2002, ACM, 1-58113-589-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
wireless sensor networks, coverage, node scheduling |
32 | Mustafa M. Tikir, Jeffrey K. Hollingsworth |
Efficient instrumentation for code coverage testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, pp. 86-96, 2002, ACM, 1-58113-562-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 807-812, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 9th International Conference on VLSI Design (VLSI Design 1996), 3-6 January 1996, Bangalore, India, pp. 290-295, 1996, IEEE Computer Society, 0-8186-7228-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 22nd IEEE VLSI Test Symposium (VTS 2004), 25-29 April 2004, Napa Valley, CA, USA, pp. 171-178, 2004, IEEE Computer Society, 0-7695-2134-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 18(4), pp. 299-335, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: Seventh Annual IEEE International Conference on Pervasive Computing and Communications - Workshops (PerCom Workshops 2009), 9-13 March 2009, Galveston, TX, USA, pp. 1-5, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Guanqun Yang, Vinod Shukla, Daji Qiao |
Analytical Study of Collaborative Information Coverage for Object Detection in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECON ![In: Proceedings of the Fifth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2008, June 16-20, 2008, Crowne Plaza, San Francisco International Airport, California, USA, pp. 144-152, 2008, IEEE, 978-1-4244-1777-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 11-14 November 2008, Seattle/Redmond, WA, USA, pp. 321-322, 2008, IEEE Computer Society, 978-0-7695-3405-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 11-14 November 2008, Seattle/Redmond, WA, USA, pp. 207-212, 2008, IEEE Computer Society, 978-0-7695-3405-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNEXT ![In: Proceedings of the 2008 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2008, Madrid, Spain, December 9-12, 2008, pp. 33, 2008, ACM, 978-1-60558-210-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Inas Khalifa, Rodney G. Vaughan |
Optimal Configuration of Multi-Faceted Phased Arrays for Wide Angle Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 65th IEEE Vehicular Technology Conference, VTC Spring 2007, 22-25 April 2007, Dublin, Ireland, pp. 304-308, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Ossama Younis, Marwan Krunz, Srinivasan Ramasubramanian |
A Framework for Resilient Online Coverage in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECON ![In: Proceedings of the Fourth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2007, Merged with IEEE International Workshop on Wireless Ad-hoc and Sensor Networks (IWWAN), June 18-21, 2007, San Diego, California, USA, pp. 540-549, 2007, IEEE, 1-4244-1268-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Wenming Cao 0001, Guoliang Zhao |
Coverage in Biomimetic Pattern Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007, Proceedings, pp. 534-541, 2007, Springer, 978-3-540-72529-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 17(6), pp. 562-575, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 11(1), pp. 21-41, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006, pp. 1-6, 2006, IEEE, 0-7803-9451-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSN ![In: Wireless Sensor Networks, Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings, pp. 69-82, 2006, Springer, 3-540-32158-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Xin Liu 0002 |
Coverage with Connectivity in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BROADNETS ![In: 3rd International Conference on Broadband Communications, Networks, and Systems (BROADNETS 2006), 1-5 October 2006, San José, California, USA, 2006, IEEE, 978-1-4244-0425-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Evan Martin, Tao Xie 0001, Ting Yu 0001 |
Defining and Measuring Policy Coverage in Testing Access Control Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings, pp. 139-158, 2006, Springer, 3-540-49496-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Atanas Rountev, Scott Kagan, Jason Sawin |
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 289-304, 2005, Springer, 3-540-25420-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Te-Chang Lee, Pao-Ann Hsiung |
Mutation Coverage Estimation for Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings, pp. 354-368, 2004, Springer, 3-540-23610-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Kalyan-Ram Chilakamarri, Sebastian G. Elbaum |
Reducing Coverage Collection Overhead With Disposable Instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France, pp. 233-244, 2004, IEEE Computer Society, 0-7695-2215-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Thomas Ball |
A Theory of Predicate-Complete Test Coverage and Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures, pp. 1-22, 2004, Springer, 3-540-29131-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 22nd IEEE VLSI Test Symposium (VTS 2004), 25-29 April 2004, Napa Valley, CA, USA, pp. 37-42, 2004, IEEE Computer Society, 0-7695-2134-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Yi Zhao, Sujit Dey |
Fault-coverage analysis techniques of crosstalk in chip interconnects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(6), pp. 770-782, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Shusaku Tsumoto |
Characteristics of Accuracy and Coverage in Rule Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 237-244, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Hana Chockler, Orna Kupferman, Moshe Y. Vardi |
Coverage Metrics for Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings, pp. 111-125, 2003, Springer, 3-540-20363-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Shusaku Tsumoto |
Accuracy and Coverage in Rough Set Rule Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002, Proceedings, pp. 373-380, 2002, Springer, 3-540-44274-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Raimondas Lencevicius, Edu Metz, Alexander Ran |
Tracing Execution of Software for Design Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 328-332, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Premkumar T. Devanbu, Stuart G. Stubblebine |
Cryptographic Verification of Test Coverage Claims. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(2), pp. 178-192, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 8th Asian Test Symposium (ATS '99), 16-18 November 1999, Shanghai, China, pp. 301-, 1999, IEEE Computer Society, 0-7695-0315-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Von-Kyoung Kim, Tom Chen 0001, Mick Tegethoff |
Fault Coverage Estimation for Early Stage of VLSI Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 9th Great Lakes Symposium on VLSI (GLS-VLSI '99), 4-6 March 1999, Ann Arbor, MI, USA, pp. 105-108, 1999, IEEE Computer Society, 0-7695-0104-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 35th Conference on Design Automation, Moscone center, San Francico, California, USA, June 15-19, 1998., pp. 158-163, 1998, ACM Press, 0-89791-964-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
high-level synthesis, telecommunication |
29 | Isabel Dietrich, Falko Dressler |
On the lifetime of wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Sens. Networks ![In: ACM Trans. Sens. Networks 5(1), pp. 5:1-5:39, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 53-62, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the 9th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2008, Hong Kong, China, May 26-30, 2008, pp. 445-446, 2008, ACM, 978-1-60558-073-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNLP ![In: Natural Language Processing - IJCNLP 2005, Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings, pp. 177-187, 2005, Springer, 3-540-29172-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 295-304, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 15(1-2), pp. 173-189, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 274-, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010, Caen, France, June 28 - July 2, 2010, pp. 99-103, 2010, ACM, 978-1-4503-0062-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 34(2), pp. 183-213, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 34(2), pp. 1-8, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 14(1), pp. 9:1-9:32, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 15(1), pp. 3-20, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 1103-1112, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEC Summit ![In: Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC Summit 2009, Shanghai, China, June 12-14, 2009, pp. 847-850, 2009, ACM, 978-1-60558-326-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 23(1), pp. 154-165, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 16(6), pp. 1378-1391, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 7(3), pp. 33:1-33:40, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, ACM-GIS 2008, November 5-7, 2008, Irvine, California, USA, Proceedings, pp. 19, 2008, ACM, 978-1-60558-323-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part I, pp. 650-657, 2008, Springer, 978-3-540-85562-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand, pp. 201-205, 2008, IEEE Computer Society, 978-0-7695-3263-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APNOMS ![In: Challenges for Next Generation Network Operations and Service Management, 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings, pp. 197-206, 2008, Springer, 978-3-540-88622-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 6th International Conference on Information Processing in Sensor Networks, IPSN 2007, Cambridge, Massachusetts, USA, April 25-27, 2007, pp. 313-322, 2007, ACM, 978-1-59593-638-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSN ![In: Mobile Ad-Hoc and Sensor Networks, Third International Conference, MSN 2007, Beijing, China, December 12-14, 2007, Proceedings, pp. 616-622, 2007, Springer, 978-3-540-77023-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOSTA ![In: Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, DOSTA 2007, Dubrovnik, Croatia, September 4, 2007, pp. 1-7, 2007, ACM, 978-1-59593-726-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 533-536, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
concurrent program, interleaving, coverage criteria |
29 | Raúl A. Santelices, Mary Jean Harrold |
Efficiently monitoring data-flow test coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 343-352, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
definition-use association, inference, instrumentation, test coverage, data-flow testing |
29 | Andy Gill, Colin Runciman |
Haskell program coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007, pp. 1-12, 2007, ACM, 978-1-59593-674-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 21(4), pp. 490-495, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(6), pp. 2658-2669, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiCom ![In: Proceedings of the 12th Annual International Conference on Mobile Computing and Networking, MOBICOM 2006, Los Angeles, CA, USA, September 23-29, 2006, pp. 346-357, 2006, ACM, 1-59593-286-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 9th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2006, Terromolinos, Spain, October 2-6, 2006, pp. 207-211, 2006, ACM, 1-59593-477-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 4-7 July 2006, Lisboa, Portugal, pp. 79, 2006, IEEE Computer Society, 0-7695-2541-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(6), pp. 875-884, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 2(4), pp. 336-347, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the 6th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2005, Urbana-Champaign, IL, USA, May 25-27, 2005, pp. 111-120, 2005, ACM, 1-59593-004-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CJCDGCGT ![In: Discrete Geometry, Combinatorics and Graph Theory, 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, Xi'an, China, November 22-24, 2005, Revised Selected Papers, pp. 88-100, 2005, Springer, 978-3-540-70665-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN (1) ![In: Networking - ICN 2005, 4th International Conference on Networking, ReunionIsland, France, April 17-21, 2005, Proceedings, Part I, pp. 722-730, 2005, Springer, 3-540-25339-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASN ![In: Proceedings of the 3rd ACM Workshop on Security of ad hoc and Sensor Networks, SASN 2005, Alexandria, VA, USA, November 7, 2005, pp. 117-128, 2005, ACM, 1-59593-227-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the Third International Symposium on Information Processing in Sensor Networks, IPSN 2004, Berkeley, California, USA, April 26-27, 2004, pp. 433-442, 2004, ACM, 1-58113-846-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 180-184, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France, pp. 139-150, 2004, IEEE Computer Society, 0-7695-2215-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 17(1), pp. 11-27, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China, pp. 150-157, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 11(2), pp. 147-156, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 15th IEEE VLSI Test Symposium (VTS'97), April 27-May 1, 1997, Monterey, California, USA, pp. 391-398, 1997, IEEE Computer Society, 0-8186-7810-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 15th IEEE VLSI Test Symposium (VTS'97), April 27-May 1, 1997, Monterey, California, USA, pp. 166-171, 1997, IEEE Computer Society, 0-8186-7810-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), July 5-8, Sousse, Tunisia, pp. 249-254, 2009, IEEE Computer Society, 978-1-4244-4672-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume, pp. 203-206, 2009, IEEE, 978-1-4244-3494-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Orna Kupferman |
Sanity Checks in Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings, pp. 37-51, 2006, Springer, 3-540-37376-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Cristian Constantinescu |
Experimental evaluation of error-detection mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 52(1), pp. 53-57, 2003. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|