|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10898 occurrences of 5061 keywords
|
|
|
Results
Found 15681 publication records. Showing 15681 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Michael Kenteris, Damianos Gavalas, Daphne Economou |
An innovative mobile electronic tourist guide application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 13(2), pp. 103-118, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Tourist application, Electronic tourist guide, Push model, XML, Mobile devices, Web, Usability tests, J2ME |
12 | Vitaly Feldman, Venkatesan Guruswami, Prasad Raghavendra, Yi Wu 0002 |
Agnostic Learning of Monomials by Halfspaces Is Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 50th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2009, October 25-27, 2009, Atlanta, Georgia, USA, pp. 385-394, 2009, IEEE Computer Society, 978-0-7695-3850-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hardness of Learning, Dictatorship Tests, PCPs, Agnostic Learning |
12 | Joseph Farfel, Vincent Conitzer |
Turing Trade: A Hybrid of a Turing Test and a Prediction Market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMMA ![In: Auctions, Market Mechanisms and Their Applications, First International ICST Conference, AMMA 2009, Boston, MA, USA, May 8-9, 2009, Revised Selected Papers, pp. 61-73, 2009, Springer, 978-3-642-03820-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
deployed web-based applications, using points as an artificial currency, prediction markets, games with a purpose, Turing tests |
12 | Francis Jambon, Brigitte Meillon |
User experience evaluation in the wild. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 4069-4074, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
in-situ evaluation, mobile devices, user experience, user tests |
12 | Masashi Tsuboi, Shinji Kimura, Tsutomu Horikoshi |
An objective and subjective evaluation of an autostereoscopic 3d display. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 3577-3582, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
evaluation, human factor, 3d, visual perception, subjective tests |
12 | Matteo Cacciola, Giuseppe Megali, Diego Pellicanò, Michele Buonsanti, Salvatore Calcagno 0001, Mario Versaci, Francesco Carlo Morabito |
Neuro-Fuzzy Approach for Reconstructing Fissures in Concrete's Reinforcing Bars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Fuzzy Logic and Applications, 8th International Workshop, WILF 2009, Palermo, Italy, June 9-12, 2009, Proceedings, pp. 171-178, 2009, Springer, 978-3-642-02281-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Slim Structures, Eddy-current Non Destructive Tests, Neuro-Fuzzy Systems, Non Linear Systems |
12 | Joseph Farfel, Vincent Conitzer |
A multiagent Turing test based on a prediction market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1407-1408, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
deployed web-based applications, using points as an artificial currency, prediction markets, games with a purpose, Turing tests |
12 | Tibor Csendes, László Pál, José-Oscar H. Sendín, Julio R. Banga |
The GLOBAL optimization method revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 2(4), pp. 445-454, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Numerical tests, Clustering, Global optimization, Direct methods |
12 | Mehrdad Nourani, Mohammad Tehranipoor, Nisar Ahmed |
Low-Transition Test Pattern Generation for BIST-Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(3), pp. 303-315, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Low power pattern generation, Test generation, Built-in tests, Testing strategies, Random generation |
12 | Egas Henes Neto, Gilson I. Wirth, Fernanda Lima Kastensmidt |
Mitigating Soft Errors in SRAM Address Decoders Using Built-in Current Sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 24(5), pp. 425-437, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Reliability, Testing, Built-in tests, Error-checking |
12 | Abhijit Jas, Yi-Shing Chang, Sreejit Chakravarty |
A Methodology for Handling Complex Functional Constraints for Large Industrial Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 24(1-3), pp. 259-269, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Untestability analysis, Pseudo-functional tests, Functional constraints |
12 | Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang |
Certified Development Tools Implementation in Objective Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 2-17, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Tests measurement, Civil avionics, Functional programming, Code coverage, Objective Caml |
12 | Meltem Sönmez Turan, Çagdas Çalik, Nurdan Buz Saran, Ali Doganaksoy |
New Distinguishers Based on Random Mappings against Stream Ciphers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETA ![In: Sequences and Their Applications - SETA 2008, 5th International Conference, Lexington, KY, USA, September 14-18, 2008, Proceedings, pp. 30-41, 2008, Springer, 978-3-540-85911-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Random Mappings, TMTO Attacks, Stream Ciphers, Randomness tests |
12 | Arunkaruppaiya Adaikalam, Mutaher Azad, Chiupin Chen, Jeesh Thomas, Thomas Schwengler |
Municipal wireless data network in Longmont, CO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINTECH ![In: Proceedings of the Third ACM Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization, WINTECH 2008, San Francisco, California, USA, September 19, 2008, pp. 19-24, 2008, ACM, 978-1-60558-187-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
muni wi-fi, municipal wireless, field tests |
12 | Vipul Kashyap |
From the Bench to the Bedside: The Role of Semantic Web and Translational Medicine for Enabling the Next Generation Healthcare Enterprise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOSTEC (Selected Papers) ![In: Biomedical Engineering Systems and Technologies, International Joint Conference, BIOSTEC 2008, Funchal, Madeira, Portugal, January 28-31, 2008, Revised Selected Papers, pp. 35-56, 2008, Springer, 978-3-540-92218-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Translational Medicine, Knowledge Maintenance and Provenance, Eligibility Criteria, Molecular Diagnostic Tests, Genetic Variants, Hypertrophic Cardiomyopathy, Family History, Business Object Models, Ontologies, Data Integration, Web Ontology Language (OWL), Business Rules, Electronic Medical Record, Clinical Trials, Semantic Web technologies, Resource Description Framework (RDF), Clinical Decision Support |
12 | Javier Apolloni, Guillermo Leguizamón, José García-Nieto, Enrique Alba 0001 |
Island Based Distributed Differential Evolution: An Experimental Study on Hybrid Testbeds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS ![In: 8th International Conference on Hybrid Intelligent Systems (HIS 2008), September 10-12, 2008, Barcelona, Spain, pp. 696-701, 2008, IEEE Computer Society, 978-0-7695-3326-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Distributed Differential Evolution, Non-Parametric Tests, CEC?05 Function Test Suite |
12 | Shachar Lovett, Roy Meshulam, Alex Samorodnitsky |
Inverse conjecture for the gowers norm is false. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 547-556, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
gowers norm, multivariate polynomials, low degree tests |
12 | Shachar Lovett |
Unconditional pseudorandom generators for low degree polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 557-562, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fourier analysis, pseudorandom generators, low degree tests |
12 | Prasad Raghavendra |
Optimal algorithms and inapproximability results for every CSP? ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 245-254, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dictatorship tests, rounding schemes, semidefinite programming, constraint satisfaction problem, unique games conjecture |
12 | Jana Tucková, Jan Holub 0002, Tomás Dubeda |
Technical and Phonetic Aspects of Speech Quality Assessment: The Case of Prosody Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST 2102 Conference (Prague) ![In: Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions, COST Action 2102 International Conference, Prague, Czech Republic, October 15-18, 2008, Revised Selected and Invited Papers, pp. 126-132, 2008, Springer. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
speech quality assessment, listening tests, data mining, neural networks, Speech synthesis, pruning |
12 | Alessandro Oliveira Arantes, Nandamudi Lankalapalli Vijaykumar, Valdivino Alexandre de Santiago Júnior, Danielle Guimarães |
WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2008 - The Tenth International Conference on Information Integration and Web-based Applications Services, 24-26 November 2008, Linz, Austria, pp. 374-381, 2008, ACM, 978-1-60558-349-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
web-based tool, software tests, statecharts, test case, verification and validation, collaborative applications |
12 | Reinhard Klette |
Stereo-Vision-Support for Intelligent Vehicles - The Need for Quantified Evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2008: Advances in Artificial Intelligence, 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 1-5, 2008. Proceedings, pp. 1-17, 2008, Springer, 978-3-540-89377-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
vision-based driver support, camera crash tests, performance analysis, motion analysis, intelligent vehicle, stereo analysis |
12 | Salem Abdennadher, Saghir A. Shaikh |
Practices in Mixed-Signal and RF IC Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 24(4), pp. 332-339, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
I/O testing, SiP testing, wireless transceiver testing, DFT, built-in tests, ATE |
12 | Sarangi P. Parikh, Valdir Grassi Jr., Vijay Kumar 0001, Jun Okamoto Jr. |
Integrating Human Inputs with Autonomous Behaviors on an Intelligent Wheelchair Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 22(2), pp. 33-41, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
wheelchair navigation, smart wheelchairs, experimental tests, shared motion control, user evaluations |
12 | Ingmar van Dijk, Ruud Wijnands |
Test Driving the Wrong Car. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Agile Processes in Software Engineering and Extreme Programming, 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings, pp. 250-252, 2007, Springer, 978-3-540-73100-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
mistakes, non-functional tests, feedback, Test-Driven Development |
12 | Jiawei Luo 0001, Li Yang, Xizhen Zhang |
A Method for Gene Identification by Dynamic Feature Choosing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (12) ![In: Digital Human Modeling, First International Conference on Digital Human Modeling, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 678-683, 2007, Springer, 978-3-540-73318-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Gene identification, three cross-validation tests, Discriminant analysis |
12 | Sergio F. Ochoa, H. Andrés Neyem, Gabriel Bravo, Emilio G. Ormeño |
MOCET: A MObile Collaborative Examination Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (9) ![In: Human Interface and the Management of Information. Interacting in Information Environments, Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 440-449, 2007, Springer, 978-3-540-73353-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Student Examination Process, Mobile Collaborative Tool, On-Line Tests |
12 | Maeve O'Brien, Mark T. Keane |
Modeling user behavior using a search-engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 12th International Conference on Intelligent User Interfaces, IUI 2007, Honolulu, Hawaii, USA, January 28-31, 2007, pp. 357-360, 2007, ACM, 1-59593-481-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
predictive user modeling, link analysis, power-laws, information navigation, web evolution, search behavior, empirical tests |
12 | Darren Lunn |
SADIe: exposing implicit information to improve accessibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2007, Tempe, Arizona, USA, October 15-17, 2007, pp. 263-264, 2007, ACM, 978-1-59593-573-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
randomisation tests, evaluation, accessibility, transcoding |
12 | Nuno Ferreira, Rui L. Aguiar, Susana Sargento |
A Novel Local-Centric Mobility System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN ![In: Information Networking. Towards Ubiquitous Networking and Services, International Conference, ICOIN 2007, Estoril, Portugal, January 23-25, 2007. Revised Selected Papers, pp. 614-628, 2007, Springer, 978-3-540-89523-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Fast and Seamless Mobility, localized architecture, global mobility signalling reduction, performance, developing, 4G, tests evaluation |
12 | Jesús T. Pastor, C. A. Knox Lovell, Henry Tulkens |
Evaluating the financial performance of bank branches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 145(1), pp. 321-337, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Variable deletion tests, Banking, Performance indicators |
12 | Egas Henes Neto, Ivandro Ribeiro, Michele G. Vieira, Gilson I. Wirth, Fernanda Lima Kastensmidt |
Using Bulk Built-in Current Sensors to Detect Soft Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 26(5), pp. 10-18, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Reliability, Built-in tests, Error-checking, Testing and Fault-Tolerance |
12 | Hafizur Rahaman 0001, Debesh K. Das, Bhargab B. Bhattacharya |
Implementing Symmetric Functions with Hierarchical Modules for Stuck-At and Path-Delay Fault Testability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 22(2), pp. 125-142, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
universal tests, stuck-at fault, path-delay fault, synthesis-for-testability, unate function, symmetric boolean function |
12 | Maeve O'Brien, Mark T. Keane, Barry Smyth |
Predictive modeling of first-click behavior in web-search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 15th international conference on World Wide Web, WWW 2006, Edinburgh, Scotland, UK, May 23-26, 2006, pp. 1031-1032, 2006, ACM, 1-59593-323-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
predictive user modeling, link analysis, information scent, information navigation, web evolution, search behavior, empirical tests |
12 | André Adelsbach, Markus Rohe, Ahmad-Reza Sadeghi |
Complementing zero-knowledge watermark detection: Proving properties of embedded information without revealing it. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Syst. ![In: Multim. Syst. 11(2), pp. 143-158, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Statistical tests on committed numbers, Interactive generation of commitments on Gaussian distributed samples, Zero-knowledge watermark detection, Zero-knowledge protocols |
12 | André DeHon, Helia Naeimi |
Seven Strategies for Tolerating Highly Defective Fabrication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 22(4), pp. 306-315, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Reliability, integrated circuits, Reconfigurable hardware, Built-in tests, Testing strategies, Logic Arrays, Testing and Fault-Tolerance, Redundant design, Advanced Technologies |
12 | Kumar Chellapilla, Kevin Larson, Patrice Y. Simard, Mary Czerwinski |
Designing human friendly human interaction proofs (HIPs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 711-720, 2005, ACM, 1-58113-998-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
completely automated public turing tests to tell computers and humans apart (CAPTCHAs), visual letter recognition, evaluation, computer vision, human perception, human interaction proofs (HIPs) |
12 | Nathan Fisher, James H. Anderson, Sanjoy K. Baruah |
Task Partitioning upon Memory-Constrained Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 17-19 August 2005, Hong Kong, China, pp. 416-421, 2005, IEEE Computer Society, 0-7695-2346-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Memory-constrained systems, Utilization-based schedulability tests, Multiprocessor systems, Partitioned scheduling |
12 | Henry S. Baird, Michael A. Moll, Sui-Yu Wang |
ScatterType: A Legible but Hard-to-Segment CAPTCHA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Eighth International Conference on Document Analysis and Recognition (ICDAR 2005), 29 August - 1 September 2005, Seoul, Korea, pp. 935-939, 2005, IEEE Computer Society, 0-7695-2420-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
abuse of web sites and services, human/machine discrimination, legibility of text, Gestalt perception, automatic attacks on CAPTCHAs, segmentation, fragmentation, document image analysis, CAPTCHAs, Turing tests, human interactive proofs |
12 | Said Hamdioui, Rob Wadsworth, John Delos Reyes, Ad J. van de Goor |
Memory Fault Modeling Trends: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 20(3), pp. 245-255, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
static faults, fault models, fault coverage, memory tests, dynamic faults, data backgrounds |
12 | André Adelsbach, Markus Rohe, Ahmad-Reza Sadeghi |
Overcoming the obstacles of zero-knowledge watermark detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MM&Sec ![In: Proceedings of the 6th workshop on Multimedia & Security, MM&Sec 2004, Magdeburg, Germany, September 20-21, 2004, pp. 46-55, 2004, ACM, 1-58113-854-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
interactive generation of commitments on Gaussian distributed samples, statistical tests on committed numbers, zero-knowledge watermark detection, zero-knowledge protocols |
12 | Baosheng Wang, Josh Yang, James Cicalo, André Ivanov, Yervant Zorian |
Reducing Embedded SRAM Test Time under Redundancy Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 22nd IEEE VLSI Test Symposium (VTS 2004), 25-29 April 2004, Napa Valley, CA, USA, pp. 237-242, 2004, IEEE Computer Society, 0-7695-2134-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Memory Test Time, Memory Redundancy, Memory testing, March Tests, Embedded SRAMs |
12 | Irith Pomeranz |
On the generation of scan-based test sets with reachable states for testing under functional operation conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 928-933, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
functional tests, scan design, reachable states |
12 | Dexter Kozen, Jerzy Tiuryn |
Substructural logic and partial correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 4(3), pp. 355-378, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
specification, linear logic, Dynamic logic, Hoare logic, sequent calculus, substructural logic, Kleene algebra, Kleene algebra with tests |
12 | Haridimos T. Vergos, Dimitris Nikolos, Maciej Bellos, Costas Efstathiou |
Deterministic BIST for RNS Adders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(7), pp. 896-906, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
deterministic and pseudorandom tests, formal test sets, Built-In Self-Test, Residue Number System |
12 | J. Doyle, C. Meudec |
IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java, PPPJ 2003, Kilkenny City, Ireland, June 16-18, 2003, pp. 55-58, 2003, ACM, 0-9544145-1-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
logic programming, symbolic execution, constraint logic programming, Java Bytecode, automatic tests data generation, coverage testing |
12 | Said Hamdioui, Ad J. van de Goor, Mike Rodgers |
Detecting Intra-Word Faults in Word-Oriented Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 21st IEEE VLSI Test Symposium (VTS 2003), 27 April - 1 May 2003, Napa Valley, CA, USA, pp. 241-247, 2003, IEEE Computer Society, 0-7695-1924-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Bit-oriented/word-oriented memories, fault models, memory tests, data backgrounds |
12 | Ad J. van de Goor, Magdy S. Abadir, Alan Carlin |
Minimal Test for Coupling Faults in Word-Oriented Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France, pp. 944-948, 2002, IEEE Computer Society, 0-7695-1471-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
State coupling faults, word-oriented memories, tests, data backgrounds, m-out-of-n codes |
12 | Jorma Kilpi, Ilkka Norros |
Testing the Gaussian approximation of aggregate traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Measurement Workshop ![In: Proceedings of the 2nd ACM SIGCOMM Internet Measurement Workshop, IMW 2002, Marseille, France, November 6-8, 2002, pp. 49-61, 2002, ACM, 1-58113-603-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Quantile-Quantile plots, correlation tests, normal plots, traffic modeling and measurements, TCP/IP, aggregate traffic |
12 | Susan W. Palocsay, Scott Paul Stevens, Robert G. Brookshire |
An Empirical Evaluation of Probability Estimation with Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 10(1), pp. 48-55, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Chi-square statistic, Multilayer feedforward neural networks, Quickprop, Probability estimation, Goodness-of-fit tests |
12 | José M. Peña 0001, José Antonio Lozano 0001, Pedro Larrañaga, Iñaki Inza |
Dimensionality Reduction in Unsupervised Learning of Conditional Gaussian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 23(6), pp. 590-603, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
conditional Gaussian networks, edge exclusion tests, feature selection, Data clustering |
12 | Mordechay B. Levin |
On the statistical independence of compound pseudorandom numbers over part of the period. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 11(3), pp. 294-311, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Diaphony, theoretical tests, discrepancy |
12 | Patricia Charlton, David Bonnefoy, Nicolas Lhuillier |
Dealing with interoperability for agent-based services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents ![In: Proceedings of the Fifth International Conference on Autonomous Agents, AGENTS 2001, Montreal, Canada, May 28 - June 1, 2001, pp. 236-237, 2001, ACM, 1-58113-326-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
multi-agent systems, tests, interoperability |
12 | Petteri Sevon, Hannu Toivonen, Vesa Ollikainen |
TreeDT: gene mapping by tree disequilibrium test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining, San Francisco, CA, USA, August 26-29, 2001, pp. 365-370, 2001, ACM, 1-58113-391-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Gene mapping, permutation tests, algorithms, prefix trees |
12 | Michael Mascagni, Ashok Srinivasan |
Algorithm 806: SPRNG: a scalable library for pseudorandom number generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 26(3), pp. 436-461, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
lagged-Fibonacci generator, parallel random-number generators, random-number software, FORTRAN, linear congruential generator, random-number tests |
12 | Sunghyun Choi 0001, Kang G. Shin |
A unified wireless LAN architecture for real-time and non-real-time communication services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 8(1), pp. 44-59, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
QoS-sensitive communication, admission tests, dynamic time-division duplexing (D-TDD), location-dependent errors, wireless LAN, MAC protocol, polling, priority scheduling |
12 | Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno |
Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. ![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. 203-212, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
fault-secure scheduling, tests, multiprocessors, task graphs, fault security |
12 | Stefanos Kaxiras, Cliff Young |
Coherence Communication Prediction in Shared-Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the Sixth International Symposium on High-Performance Computer Architecture, Toulouse, France, January 8-12, 2000, pp. 156-167, 2000, IEEE Computer Society, 0-7695-0550-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
sharing prediction, screening tests, shared memory multiprocessors |
12 | Stefan Wegenkittl, Makoto Matsumoto |
Getting rid of correlations among pseudorandom numbers: discarding versus tempering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 9(3), pp. 282-294, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
discarding, gambling test, tempering, correlation analysis, pseudorandom number generator, empirical tests |
12 | Igor S. Pandzic, Jörn Ostermann, David R. Millen |
User evaluation: Synthetic talking faces for interactive services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 15(7/8), pp. 330-340, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Facial animation, User evaluation, Talking head, Nonverbal communication, Animated characters, Interactive services, Subjective tests |
12 | Irith Pomeranz, Sudhakar M. Reddy |
Vector-Based Functional Fault Models for Delay Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 8th Asian Test Symposium (ATS '99), 16-18 November 1999, Shanghai, China, pp. 41-46, 1999, IEEE Computer Society, 0-7695-0315-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
functional tests, delay faults, path delay faults |
12 | Debesh K. Das, Indrajit Chaudhuri, Bhargab B. Bhattacharya |
Design of an Optimal Test Pattern Generator for Built-in Self Testing of Path Delay Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 11th International Conference on VLSI Design (VLSI Design 1991), 4-7 January 1998, Chennai, India, pp. 205-, 1998, IEEE Computer Society, 0-8186-8224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Built-in self-test, TPG, delay faults, robust testing, two-pattern tests |
12 | Debashis Bhattacharya, Prathima Agrawal, Vishwani D. Agrawal |
Test Generation for Path Delay Faults Using Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 44(3), pp. 434-447, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Boolean algebraic test generation, redundant delay faults, robust delay tests, scan testing of delay faults, binary decision diagrams, delay faults |
12 | Ora E. Percus, Paula A. Whitlock |
Theory and Application of Marsaglia's Monkey Test for Pseudorandom Number Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 5(2), pp. 87-100, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
testing random number generators, empirical tests |
12 | Sunggu Lee, Kang G. Shin |
Optimal and Efficient Probabilistic Distributed Diagnosis Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 42(7), pp. 882-886, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
probabilistic distributed diagnosis schemes, distributed self-diagnosis, interprocessor tests, imperfect fault coverage, intermittently faulty processors, probabilistic diagnosis methods, fault syndrome information, diagnosis categories, simulations, performance evaluation, fault tolerant computing, multiprocessor, multiprocessing systems, multicomputer system, diagnosis algorithms |
12 | Bernhard Eschermann |
State Assignment for Hardwired VLSI Control Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 25(4), pp. 415-436, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
coding constraints, VLSI, computer-aided design, synthesis, finite-state machines, logic design, sequential circuits, testability, integrated circuits, built-in tests, state assignment, control design |
12 | Sampath Rangarajan, Donald S. Fussell |
Diagnosing Arbitrarily Connected Parallel Computers with High Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 41(5), pp. 606-615, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
probabilistic fault diagnosis, multiple tests, probabilistic diagnosis algorithms, immediate neighbors, homogeneous parallel architecture, testing processors, parallel algorithms, parallel computers, parallel architectures, fault tolerant computing, probability, parallel machines, multiprocessor system, asymptotic behavior |
12 | Sungju Park, Sheldon B. Akers |
Parity bit calculation and test signal compaction for BIST applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 3(1), pp. 45-52, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
parity bit, test response compression, Built-in self-test, pseudo-exhaustive tests |
12 | William H. Deason, David B. Brown, Kai-Hsiung Chang, James H. Cross |
A Rule-Based Software Test Data Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(1), pp. 108-117, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
rule-based software test data generator, path/predicate analysis, random data generation, artificial intelligence, knowledge based systems, program testing, statistical tests, Ada programs |
12 | Ioannis Z. Emiris, John F. Canny |
A General Approach to Removing Degeneracies ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991, pp. 405-413, 1991, IEEE Computer Society, 0-8186-2445-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
direct perturbations, algebraic branching programs, infinite ordered field, deterministic method, determinant tests, arbitrary test expressions, complexity factors, exponential time algorithms, polynomial time algorithms, complexity class, degeneracies, nondegeneracy |
12 | Janusz A. Brzozowski, Bruce F. Cockburn |
Detection of coupling faults in RAMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 1(2), pp. 151-162, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
toggling faults, fault modeling, coupling faults, RAM testing, optimal tests |
12 | Sally A. Goldman, Michael J. Kearns, Robert E. Schapire |
Exact Identification of Circuits Using Fixed Points of Amplification Functions (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 31st Annual Symposium on Foundations of Computer Science, St. Louis, Missouri, USA, October 22-24, 1990, Volume I, pp. 193-202, 1990, IEEE Computer Society, 0-8186-2082-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
unbounded depth, circuit identification, input-output behaviour sampling, formula learning, amplification functions, read-once Boolean formulas, fixed-point distribution, logarithmic-depth target family, universal identification sequences, noise, probability distribution, statistical tests, structural information |
12 | José Manuel Colom, Manuel Silva Suárez |
Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings], pp. 79-112, 1989, Springer, 3-540-53863-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Structural analysis of P/T nets, Minimal semiflows, Extremal direction of a cone, Algorithms to compute all minimal semiflows, Tests of minimality, Convex Geometry |
12 | Giuseppe Di Battista, Roberto Tamassia |
Incremental Planarity Testing (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October - 1 November 1989, pp. 436-441, 1989, IEEE Computer Society, 0-8186-1982-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
edge insertions, incremental planarity testing, supports tests, vertex insertions, queries, planar graph, edges, vertices, insertion |
12 | Niraj K. Jha |
Multiple Stuck-Open Fault Detection in CMOS Logic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(4), pp. 426-432, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
multiple stuck-open fault detection, logic testing, CMOS logic circuits, logic circuits, CMOS integrated circuits, integrated logic circuits, two-pattern tests |
12 | George Marsaglia |
Note on a Proposed Test for Random Number Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 34(8), pp. 756-758, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
tests of randomness, simulation, Markov chains, random number generation |
12 | Martin Jourdan |
Strongly non-circular attribute grammars and their recursive evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGPLAN Symposium on Compiler Construction ![In: Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984, pp. 81-93, 1984, ACM, 0-89791-139-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
circularity tests, evaluation by need, recursive evaluation, Lisp, storage management, Attribute grammars |
12 | Sumit Dasgupta, Carlos R. P. Hartmann, Luther D. Rudolph |
Dual-Mode Logic for Function-Independent Fault Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 29(11), pp. 1025-1029, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
Control inputs, data inputs, dual-mode combinational logic network, dual-mode sequential logic network, function-independent tests, stuck-at-faults |
12 | Satish M. Thatte, Jacob A. Abraham |
Test Generation for Microprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 29(6), pp. 429-441, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
complexity of tests, functional level fault models, Architecture models, test programs, microprocessor architecture |
12 | Mark G. Karpovsky |
Error Detection in Digital Devices and Computer Programs with the Aid of Linear Recurrent Equations Over Finite Commutativs Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 26(3), pp. 208-218, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
Error detection for, digital devices and computer programs, error detection tests for digital devices, characters of commutative groups, Fourier transform over finite commutative groups, spectral and autocorrelation functions over finite commutative groups, fast Hadamard-Walsh transform |
12 | Ramachendra P. Batni, Charles R. Kime |
A Module-Level Testing Approach for Combinational Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 25(6), pp. 594-604, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
B-transformation, effective blocking technique, fault detection tests, module-level testing, combinational networks |
12 | John R. B. Whittlesey |
Letters to the editor: on the multidimensional uniformity of pseudorandom generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(5), pp. 247, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
Marsaglia's theorem, Monte Carlo applications, Tausworthe generators, digital shift registers, linear recurrence modulo two generators, multidimensional uniformity, multiplicative congruential (Lehmer) generators, parallel hyperplanes, random n-tuples, random number analysis, runs up-and-down, statistical tests for randomness, uniform hyper-cubes, random number generators, Fourier analysis, pseudo-random numbers |
12 | Bryna M. Fellen |
Letters to the editor: an implementation of the Tausworthe generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(7), pp. 413, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
generators, statistical tests, pseudorandom number |
12 | Gordon Fraser 0001, Andreas Zeller |
Mutation-driven generation of unit tests and oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010, pp. 147-158, 2010, ACM, 978-1-60558-823-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
unit testing, assertions, test case generation, mutation testing, test oracles, mutation analysis, search based testing |
12 | Alberto Faro, Daniela Giordano, Concetto Spampinato, Davide De Tommaso, Simona Ullo |
An interactive interface for remote administration of clinical tests based on eye tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the 2010 Symposium on Eye-Tracking Research & Applications, ETRA 2010, Austin, Texas, USA, March 22-24, 2010, pp. 69-72, 2010, ACM, 978-1-60558-994-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
medical research, opthalmology, vision research, eye tracking, cognitive psychology, neuroscience |
12 | Juan Antonio Cuesta-Albertos, Antonio Cuevas, Ricardo Fraiman |
On projection-based tests for directional and compositional data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 19(4), pp. 367-380, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Compositional data, Directional data, Sphericity, Uniformity |
12 | Irith Pomeranz, Sudhakar M. Reddy |
Functional Broadside Tests Under an Expanded Definition of Functional Operation Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(1), pp. 121-129, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Stefan Heinz 0001, Martin Sachenbacher |
Using Model Counting to Find Optimal Distinguishing Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings, pp. 117-131, 2009, Springer, 978-3-642-01928-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Su Chang, Thomas E. Daniels |
P2P botnet detection using behavior clustering & statistical tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISec ![In: Proceedings of the 2nd ACM Workshop on Security and Artificial Intelligence, AISec 2009, Chicago, Illinois, USA, November 9, 2009, pp. 23-30, 2009, ACM, 978-1-60558-781-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
machine learning, network security, anomaly detection |
12 | Marcelo Masera, Igor Nai Fovino |
Methodology for Experimental ICT Industrial and Critical Infrastructure Security Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan, pp. 400-405, 2009, IEEE Computer Society, 978-1-4244-3572-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Carlos Ordonez 0001, Zhibo Chen 0002 |
Exploration and visualization of OLAP cubes with statistical tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD Workshop on Visual Analytics and Knowledge Discovery ![In: Proceedings of the ACM SIGKDD Workshop on Visual Analytics and Knowledge Discovery: Integrating Automated Analysis with Interactive Exploration, Paris, France, June 28, 2009, pp. 46-55, 2009, ACM, 978-1-60558-670-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
visualization, cube, parametric test |
12 | Diego Figueira |
Satisfiability of downward XPath with data equality tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA, pp. 197-206, 2009, ACM, 978-1-60558-553-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bip automaton, data-tree, infinite alphabet, unranked unordered tree, xpath, xml, data values |
12 | Omar Mubin, Suleman Shahid, Christoph Bartneck, Emiel Krahmer, Marc Swerts, Loe M. G. Feijs |
Using language tests and emotional expressions to determine the learnability of artificial languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 4075-4080, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
artificial languages, language learnability, human robot interaction, emotions, speech interaction |
12 | Katharina Tschumitschew, Frank Klawonn |
AVEDA: Statistical Tests for Finding Interesting Visualisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based and Intelligent Information and Engineering Systems, 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part I, pp. 235-242, 2009, Springer, 978-3-642-04594-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Pascal Van Hentenryck, Carleton Coffrin, Boris Gutkovich |
Constraint-Based Local Search for the Automatic Generation of Architectural Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 787-801, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Guillaume Née, Stéphanie Jehan-Besson, Luc Brun, Marinette Revenu |
Significance Tests and Statistical Inequalities for Segmentation by Region Growing on Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009. Proceedings, pp. 939-946, 2009, Springer, 978-3-642-03766-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Nicolas Rapin |
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@TOOLS ![In: Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings, pp. 137-152, 2009, Springer, 978-3-642-02948-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Input Output Symbolic Transition Systems, Verification, Symbolic Execution, Linear Temporal Logic |
12 | Paula Herber, Florian Friedemann, Sabine Glesner |
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@TOOLS ![In: Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings, pp. 121-136, 2009, Springer, 978-3-642-02948-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Wayne B. Nelson |
Residuals and Their Analyses for Accelerated Life Tests With Step and Varying Stress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 57(2), pp. 360-368, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | John Moses, Malcolm Farrow |
Tests for consistent measurement of external subjective software quality attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 13(3), pp. 261-287, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Subjective software quality attributes, Distribution principle, Minimum rejection principle, Bayesian inference, Error rates, Conditional probability, Multinomial distribution, Data imputation, Consistent measurement |
|
|