Search results for "TAP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
111	Debashis Bhattacharya	Instruction-Driven Wake-Up Mechanisms for Snoopy TAP Controller.	VTS	1999	DBLP DOI BibTeX RDF
82	Kevin Borders, Atul Prakash 0001	Web tap: detecting covert web traffic.	CCS	2004	DBLP DOI BibTeX RDF	spyware detection, intrusion detection, anomaly detection, HTTP, covert channels, tunnels
76	Duck Gun Park, Jin Kyung Kim, Jin Bong Sung, Jung Hwan Hwang, Chang Hee Hyung, Sung Weon Kang	TAP: touch-and-play.	CHI	2006	DBLP DOI BibTeX RDF	intrabody communication, touch-and-play, context aware service, tap
72	Aaron J. Gordon, Raphael A. Finkel	Handling Timing Errors in Distributed Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	postmortem debugger, history-keeping mechanism, distributed processing, software tools, program testing, directed graph, directed graphs, distributed programs, interprocess communication, TAP, timing errors, timing graph
67	Bo Shen 0003	From 8-tap DCT to 4-tap integer-transform for mpeg to H.264/AVC transcoding.	ICIP	2004	DBLP DOI BibTeX RDF
63	Leilei Li, Jonathon A. Chambers	A novel adaptive leakage factor scheme for enhancement of a variable tap-length learning algorithm.	ICASSP	2008	DBLP DOI BibTeX RDF
63	Yu Gong, C. F. N. Cowan	An LMS style variable tap-length algorithm for structure adaptation.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
63	Subhasish Mitra, Edward J. McCluskey, Samy Makar	Design for Testability and Testing of IEEE 1149.1 Tap Controller.	VTS	2002	DBLP DOI BibTeX RDF
56	Thomas Költringer, Michaela Ngo Van, Thomas Grechenig	Game controller text entry with alphabetic and multi-tap selection keyboards.	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	game pad, selection keyboard, text entry, game controller, joystick, multi-tap, alphabetic
56	Bart Vermeulen, Tom Waayers, Sjaak Bakker	Multi-TAP Controller Architecture for Digital System Chips.	J. Electron. Test.	2003	DBLP DOI BibTeX RDF	system-chips, IEEE-1149.1, software-debug, design-for-debug, multi-TAP
53	Yingbin Liang, Gerhard Kramer, H. Vincent Poor, Shlomo Shamai	Recent results on compound wire-tap channels.	PIMRC	2008	DBLP DOI BibTeX RDF
53	Cecilia Carbonelli, Satish Vedantam, Urbashi Mitra	Sparse Channel Estimation with Zero Tap Detection.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
53	Gideon Kutz, Dan Raphaeli	Determination of Tap Positions for Sparse Equalizers.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
53	Eunchul Yoon, Jan Hansen, Arogyaswami Paulraj	Space-Frequency Precoding with Space-Tap Correlation Information at the Transmitter.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
53	Eunchul Yoon, Jan Hansen, Arogyaswami Paulraj	Space-Frequency Precoding with Space-Tap Correlation Information at the Transmitter.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
53	Andy W. H. Khong, Patrick A. Naylor	Selective-Tap Adaptive Filtering With Performance Analysis for Identification of Time-Varying Systems.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
53	Kenji Masui, Youki Kadobayashi	N-TAP: A Platform of Large-Scale Distributed Measurement for Overlay Network Applications.	SAINT Workshops	2007	DBLP DOI BibTeX RDF
53	Yingwu Zhu, Yiming Hu	TAP: A Novel Tunneling Approach for Anonymity in Structured P2P Systems.	ICPP	2004	DBLP DOI BibTeX RDF
52	Kent Lyons, Thad Starner, Daniel Plaisted, James Fusia, Amanda Lyons, Aaron Drew, E. W. Looney	Twiddler typing: one-handed chording text entry for mobile phones.	CHI	2004	DBLP DOI BibTeX RDF	mobile phones, text entry, chording, keypad input, multi-tap
48	Timucin Ozugur, Behçet Sarikaya	Combining layer 2-layer 3 paging for wireless LANs.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
48	Kohzoh Yoshino, Kentaro Takagi, Taishin Nomura, Shunsuke Sato, Mitsuo Tonoike	MEG responses during rhythmic finger tapping in humans to phasic stimulation and their interpretation based on neural mechanisms.	Biol. Cybern.	2002	DBLP DOI BibTeX RDF
48	Mohammad Eshghi, Joanne DeGroat	A parallel binary structured LMS algorithm for transversal adaptive filters.	J. VLSI Signal Process.	1995	DBLP DOI BibTeX RDF
46	Tze-Yun Sung, Yaw-Shih Shieh, Chun-Wang Yu, Hsi-Chin Hsin	Low-Power Multiplierless 2-D DWT and IDWT Architectures Using 4-tap Daubechies Filters.	PDCAT	2006	DBLP DOI BibTeX RDF	DWT/IDWT, image coding/decoding system, 4-tap Daubechies filters, multiplierless, low-power, JPEG-2000
43	Yonggang Zhang, Ning Li 0001, Jonathon A. Chambers, Ali H. Sayed	Steady-State Performance Analysis of a Variable Tap-Length LMS Algorithm.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
43	Karyn Moffatt, Sandra Yuen, Joanna McGrenere	Hover or tap?: supporting pen-based menu navigation for older adults.	ASSETS	2008	DBLP DOI BibTeX RDF	tablet pc, inclusive design, universal usability, target acquisition, pen-based interaction, older users
43	Sami Ronkainen, Jonna Häkkilä, Saana Kaleva, Ashley Colley, Jukka Linjama	Tap input as an embedded interaction method for mobile devices.	TEI	2007	DBLP DOI BibTeX RDF	mobile devices, user studies, gesture input, haptic user interfaces
43	Li-Hsun Chen, Oscal T.-C. Chen	A hardware-efficient FIR architecture with input-data and tap folding.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
43	Zhiwei Lin 0001, A. Benjamin Premkumar, A. S. Madhukumar	Tap selection based MMSE equalization for high data rate UWB communication systems.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
43	Jae Hong Park, Jung-Min Choi, Min Ho Kim, Jong-Wha Chong	An Efficient Equalizer Architecture Using Tap Allocation Memory for HDTV Channel.	IWSOC	2003	DBLP DOI BibTeX RDF
42	Davide Menin, Andrea Bandiziol, Werner Grollitsch, Roberto Nonis, Pierpaolo Palestri	Design and Simulation of a 12 Gb/s Transceiver With 8-Tap FFE, Offset-Compensated Samplers and Fully Adaptive 1-Tap Speculative/3-Tap DFE and Sampling Phase for MIPI A-PHY Applications.	IEEE Trans. Circuits Syst. II Express Briefs	2020	DBLP DOI BibTeX RDF
42	Dylan D'Ampolo, Andrea Bandiziol, Davide Menin, Werner Grollitsch, Roberto Nonis, Pierpaolo Palestri	Automotive-Range Characterization of a 11 Gb/s Transceiver for Automotive Microcontroller Applications with 8-Tap FFE, 1-Tap Unrolled/3-Tap DFE and Offset-Compensated Samplers.	APCCAS	2019	DBLP DOI BibTeX RDF
42	Alessio Bellino	Enhancing Pinch-Drag-Flick Paradigm with Two New Gestures: Two-Finger-Tap for Tablets and Tap&Tap for Smartphones.	INTERACT (3)	2015	DBLP DOI BibTeX RDF
42	Jacob O. Wobbrock, Duen Horng Chau, Brad A. Myers	An alternative to push, press, and tap-tap-tap: gesturing on an isometric joystick for mobile phone text entry.	CHI	2007	DBLP DOI BibTeX RDF	T9, mobile phones, gestures, pointing, smartphones, text input, unistrokes, EdgeWrite, isometric joysticks, multitap
42	Christine Szentgyorgyi, Edward Lank	Five-key text input using rhythmic mappings.	ICMI	2007	DBLP DOI BibTeX RDF	one-handed text entry, rhythmic tapping, touch, multi-tap
42	Nathan Green, Jan Krüger, Chirag Faldu, Robert St. Amant	A reduced QWERTY keyboard for mobile text entry.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	input devices, text entry, keyboards, multi-tap
42	Valery I. Korzhik, Viktor Yakovlev, Alexander Sinuk	Achievability of the Key-Capacity in a Scenario of Key Sharing.	MMM-ACNS	2003	DBLP DOI BibTeX RDF	Wire-tap channel, public discussion, key capacity, privacy amplification, Renyi entropy
39	Jie Tang 0001, Jimeng Sun 0001, Chi Wang 0001, Zi Yang	Social influence analysis in large-scale networks.	KDD	2009	DBLP DOI BibTeX RDF	social influence analysis, topical analysis propagation, social networks, large-scale network
39	Duck Gun Park, Jin Kyung Kim, Jin Bong Sung, Jung Hwan Hwang, Chang Hee Hyung, Sung Weon Kang	Context Aware Service Using Intra-body Communication.	PerCom	2006	DBLP DOI BibTeX RDF
39	Andrew Crossan, Roderick Murray-Smith, Stephen A. Brewster, James Kelly, Bojan Musizza	Gait phase effects in mobile interaction.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	gait effects, instrumented usability, rhythmic interaction, mobile devices, accelerometer, pen-based interfaces, targeting
39	M. Fakhrul Islam, Baikunth Nath, Joarder Kamruzzaman	Reactive Load Control of Parallel Transformer Operations Using Neural Networks.	IEA/AIE	2002	DBLP DOI BibTeX RDF
38	Juan Pablo Hourcade, Theresa R. Berkel	Tap or touch?: pen-based selection accuracy for the young and old.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	PDA, accuracy, handheld, touch, pen, stylus, tap, PocketPC
37	Barbara Endicott-Popovsky, Brian Chee, Deborah A. Frincke	Calibration Testing Of Network Tap Devices. (PDF / PS)	IFIP Int. Conf. Digital Forensics	2007	DBLP DOI BibTeX RDF	aggregating tap, baseline testing, calibration, Network forensics
35	Virgile Prevosto, Cristina Seceleanu (eds.)	Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings	TAP	2023	DBLP DOI BibTeX RDF
35	Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles	Context Specification Language for Formally Verifying Consent Properties on Models and Code.	TAP	2023	DBLP DOI BibTeX RDF
35	Thibaut Benajmin, Julien Signoles	Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking.	TAP	2023	DBLP DOI BibTeX RDF
35	Martin Gogolla, Lars Hamann	Proving Properties of Operation Contracts with Test Scenarios.	TAP	2023	DBLP DOI BibTeX RDF
35	Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran	Low-Level Reachability Analysis Based on Formal Logic.	TAP	2023	DBLP DOI BibTeX RDF
35	Matteo Cimini	Testing Languages with a Languages-as-Databases Approach.	TAP	2023	DBLP DOI BibTeX RDF
35	Kais Klai, Mohamed Taha Bennani, Jaime Arias 0001, Jörg Desel, Hanen Ochi	Symbolic Observation Graph-Based Generation of Test Paths.	TAP	2023	DBLP DOI BibTeX RDF
35	Megan Strauss, Stefan Mitsch	Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars.	TAP	2023	DBLP DOI BibTeX RDF
35	Aurélie Hurault, João Marques-Silva 0001	Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers.	TAP	2023	DBLP DOI BibTeX RDF
35	David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel	Testing a Formally Verified Compiler.	TAP	2023	DBLP DOI BibTeX RDF
35	Daniel Engel, Freek Verbeek, Binoy Ravindran	BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries.	TAP	2023	DBLP DOI BibTeX RDF
35	Bernhard Beckert, Reiner Hähnle (eds.)	Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings	TAP	2008	DBLP DOI BibTeX RDF
35	Elaine J. Weyuker, Thomas J. Ostrand	What Can Fault Prediction Do for YOU?.	TAP	2008	DBLP DOI BibTeX RDF
35	Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif	Bounded Relational Analysis of Free Data Types.	TAP	2008	DBLP DOI BibTeX RDF	SAT checking, model checking, verification, formal methods, theorem proving, First-order logic, abstract data types
35	Andrea Calvagna, Angelo Gargantini	A Logic-Based Approach to Combinatorial Testing with Constraints.	TAP	2008	DBLP DOI BibTeX RDF
35	Michael A. Hennell	The First Thirty Years: Experience with Software Verification.	TAP	2008	DBLP DOI BibTeX RDF
35	Thomas Ball, Orna Kupferman	Vacuity in Testing.	TAP	2008	DBLP DOI BibTeX RDF
35	Helga Velroyen, Philipp Rümmer	Non-termination Checking for Imperative Programs.	TAP	2008	DBLP DOI BibTeX RDF
35	Jonathan de Halleux, Nikolai Tillmann	Parameterized Unit Testing with Pex.	TAP	2008	DBLP DOI BibTeX RDF
35	Koen Claessen, Hans Svensson	Finding Counter Examples in Induction Proofs.	TAP	2008	DBLP DOI BibTeX RDF
35	Nikolai Tillmann, Jonathan de Halleux	Pex-White Box Test Generation for .NET.	TAP	2008	DBLP DOI BibTeX RDF
35	Christian Engel 0002, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer	Integrating Verification and Testing of Object-Oriented Software.	TAP	2008	DBLP DOI BibTeX RDF
35	Zining Cao	Equivalence Checking for a Finite Higher Order pi-Calculus.	TAP	2008	DBLP DOI BibTeX RDF
35	Matthieu Carlier, Catherine Dubois	Functional Testing in the Focal Environment.	TAP	2008	DBLP DOI BibTeX RDF
35	Pietro Ferrara 0001	Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model.	TAP	2008	DBLP DOI BibTeX RDF	Static Analysis, Abstract Interpretation, Memory Model, Multithreaded Programs
35	Yuri Gurevich, Bertrand Meyer 0001 (eds.)	Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers	TAP	2007	DBLP DOI BibTeX RDF
35	Bernhard Beckert, Christoph Gladisch	White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing.	TAP	2007	DBLP DOI BibTeX RDF
35	Christian Engel 0002, Reiner Hähnle	Generating Unit Tests from Formal Proofs.	TAP	2007	DBLP DOI BibTeX RDF	theorem proving, program verification, model-based testing, unit testing, symbolic execution, test coverage, white-box testing
35	Achim D. Brucker, Burkhart Wolff	Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing.	TAP	2007	DBLP DOI BibTeX RDF	symbolic test case generations, theorem proving, computer security, black box testing, Isabelle/HOL, test sequence generation
35	Jonathan S. Ostroff, Faraz Ahmadi Torshizi	Testable Requirements and Specifications.	TAP	2007	DBLP DOI BibTeX RDF
35	Pascale Le Gall, Nicolas Rapin, Assia Touil	Symbolic Execution Techniques for Refinement Testing.	TAP	2007	DBLP DOI BibTeX RDF	symbolic transition system, refinement, conformance testing, symbolic execution
35	Yannis Smaragdakis, Christoph Csallner	Combining Static and Dynamic Reasoning for Bug Detection.	TAP	2007	DBLP DOI BibTeX RDF
35	Lisa Ling Liu, Bertrand Meyer 0001, Bernd Schoeller	Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation.	TAP	2007	DBLP DOI BibTeX RDF
35	Ralph-Johan Back, Johannes Eriksson, Magnus Myreen	Testing and Verifying Invariant Based Programs in the SOCOS Environment.	TAP	2007	DBLP DOI BibTeX RDF	Invariant based programming, static program verification, state charts, verification conditions
35	Angelo Gargantini	Using Model Checking to Generate Fault Detecting Tests.	TAP	2007	DBLP DOI BibTeX RDF	test, model based testing, Abstract State Machines, fault based testing
35	Qiao Haiyan	Testing and Proving Distributed Algorithms in Constructive Type Theory.	TAP	2007	DBLP DOI BibTeX RDF
35	Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh 0002	Automatic Testing from Formal Specifications.	TAP	2007	DBLP DOI BibTeX RDF	Model Based Testing, B-Method, Non-determinism
35	Philipp Rümmer, Muhammad Ali Shah	Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic.	TAP	2007	DBLP DOI BibTeX RDF	Disproving, Testing, Program verification, Program logics
34	Laura Kovács, Karl Meinke (eds.)	Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings	TAP@STAF	2022	DBLP DOI BibTeX RDF
34	Simon Dierl, Falk Howar	Reach on Register Automata via History Independence.	TAP@STAF	2022	DBLP DOI BibTeX RDF
34	Maryam Mouzarani, Ali Kamali, Sara Baradaran, Mahdi Heidari	A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes.	TAP@STAF	2022	DBLP DOI BibTeX RDF
34	Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo	Bddl: A Type System for Binary Decision Diagrams.	TAP@STAF	2022	DBLP DOI BibTeX RDF
34	Yutaka Nagashima	Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction.	TAP@STAF	2022	DBLP DOI BibTeX RDF
34	Daniela Kaufmann, Armin Biere	Fuzzing and Delta Debugging And-Inverter Graph Verification Tools.	TAP@STAF	2022	DBLP DOI BibTeX RDF
34	Marie-Christine Jakobs	Automatic Test-Case Generation with CoVeriTest (Extended Abstract).	TAP@STAF	2022	DBLP DOI BibTeX RDF
34	Diego Marmsoler, Achim D. Brucker	Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing.	TAP@STAF	2022	DBLP DOI BibTeX RDF
34	Frédéric Loulergue, Franz Wotawa (eds.)	Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings	TAP@STAF	2021	DBLP DOI BibTeX RDF
34	Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu	Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs.	TAP@STAF	2021	DBLP DOI BibTeX RDF
34	Dominik Diner, Gordon Fraser 0001, Sebastian Schweikl, Andreas Stahlbauer	Generating Timed UI Tests from Counterexamples.	TAP@STAF	2021	DBLP DOI BibTeX RDF
34	Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro	FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs.	TAP@STAF	2021	DBLP DOI BibTeX RDF
34	Clovis Eberhart, Akihisa Yamada 0002, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa	Architecture-Guided Test Resource Allocation via Logic.	TAP@STAF	2021	DBLP DOI BibTeX RDF
34	Étienne André, Dylan Marinho, Jaco van de Pol	A Benchmarks Library for Extended Parametric Timed Automata.	TAP@STAF	2021	DBLP DOI BibTeX RDF
34	Karl Meinke, Hojat Khosrowjerdi	Use Case Testing: A Constrained Active Machine Learning Approach.	TAP@STAF	2021	DBLP DOI BibTeX RDF
34	Wolfgang Ahrendt, Heike Wehrheim (eds.)	Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]	TAP@STAF	2020	DBLP DOI BibTeX RDF
34	Pieter H. Hartel, Richard Schumi	Mutation Testing of Smart Contracts at Scale.	TAP@STAF	2020	DBLP DOI BibTeX RDF
34	Tomás Kolárik, Stefan Ratschan	SAT Modulo Differential Equation Simulations.	TAP@STAF	2020	DBLP DOI BibTeX RDF
34	Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles	Verified Runtime Assertion Checking for Memory Properties.	TAP@STAF	2020	DBLP DOI BibTeX RDF
34	Bernhard K. Aichernig, Martin Tappler, Felix Wallner	Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning.	TAP@STAF	2020	DBLP DOI BibTeX RDF