Search results for "counter"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	Mircea R. Stan	Synchronous Up/Down Counter with Clock Period Independent of Counter Size.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	up/down counters, constant time counters, prescalers
78	Yi Lu 0001, Andrea Montanari, Balaji Prabhakar, Sarang Dharmapurikar, Abdul Kabbani	Counter braids: a novel counter architecture for per-flow measurement.	SIGMETRICS	2008	DBLP DOI BibTeX RDF	statistic counters, network measurement, message passing algorithms
76	Mircea R. Stan, Alexandre F. Tenca, Milos D. Ercegovac	Long and Fast Up/Down Counters.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	Binary counter, constant time counter, serial counter, up/down counter, prescaler, parallel counter
73	Richard Mayr	Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes.	ICALP	2003	DBLP DOI BibTeX RDF	1-counter nets, 1-counter machines, bisimulation
69	Alban Ponse, Mark van der Zwaag	Risk Assessment for One-Counter Threads.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	One-counter systems, Risk assessment, Reachability, Thread algebra
66	Stéphane Demri, Ranko Lazic 0001, Arnaud Sangnier	Model Checking Freeze LTL over One-Counter Automata.	FoSSaCS	2008	DBLP DOI BibTeX RDF
66	Ko-Chi Kuo, Feng-Ji Wu	A 2.4-GHz/5-GHz Low Power Pulse Swallow Counter in 0.18-µm CMOS Technology.	APCCAS	2006	DBLP DOI BibTeX RDF
63	Sriram Ramabhadran, George Varghese	Efficient implementation of a statistics counter architecture.	SIGMETRICS	2003	DBLP DOI BibTeX RDF	statistics counter, router
60	Nicholas Riley, Craig B. Zilles	Probabilistic counter updates for predictor hysteresis and bias.	IEEE Comput. Archit. Lett.	2006	DBLP DOI BibTeX RDF
57	Yuichi Komano, Kazuo Ohta, Hideyuki Miyake, Atsushi Shimbo	Algorithmic Tamper Proof (ATP) Counter Units for Authentication Devices Using PIN.	ACNS	2009	DBLP DOI BibTeX RDF	algorithmic tamper proof (ATP), counter unit, PIN authentication
55	Antonín Kucera 0001	On Simulation-Checking with Sequential Systems.	ASIAN	2000	DBLP DOI BibTeX RDF
54	Arie Gurfinkel, Marsha Chechik	Proof-Like Counter-Examples.	TACAS	2003	DBLP DOI BibTeX RDF
53	Krishna R. Pattipati, Peter Willett 0001, Jefferey Allanach, Haiying Tu, Satnam Singh	Hidden Markov Models and Bayesian Networks for Counter-Terrorism.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
53	Mark Lazaroff, David Snowden	Anticipatory Models for Counter-Terrorism.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
53	Paul A. Kogut, Yui Leung, Kathleen Ryan, Linda Gohari, Mieczyslaw M. Kokar, Jerzy Letkowski	Applying Semantic Web Reasoning to Counter-Terrorism.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
53	Aaron B. Frank, Desmond Saunders-Newton	Journey from Analysis to Inquiry: Technology and Transformation of Counter-Terrorism Analysis.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
53	Robert L. Popp, David Allen, Claudio Cioffi-Revilla	Utilizing Information and Social Science Technology to Understand and Counter the Twenty-First Century Strategic Threat 1.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
53	Paul Rosenzweig	Privacy and Consequences: Legal and Policy Structures for Implementing New Counter-Terrorism Technologies and Protecting Civil Liberty.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
51	Mazen Kharbutli, Yan Solihin	Counter-Based Cache Replacement and Bypassing Algorithms.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Cache Bypassing, Counter-Based Algorithms, Cache memories, Cache Replacement, Cache Misses
51	Qi Zhao 0006, Jun (Jim) Xu, Zhen Liu	Design of a novel statistics counter architecture with optimal space and time efficiency.	SIGMETRICS/Performance	2006	DBLP DOI BibTeX RDF	statistics counter, data streaming, router
51	Ove Scavenius, Martin Boesgaard, Thomas Pedersen, Jesper Christiansen, Vincent Rijmen	Periodic Properties of Counter Assisted Stream Ciphers.	CT-RSA	2004	DBLP DOI BibTeX RDF	Stream cipher, diversity, period, counter, degeneracy, Rabbit
51	Dante Camarena, Nick Counter, Daniil Markelov, Pietro Gagliano, Don Nguyen, Rhys Becker, Fiona Firby, Zina Rahman, Richard Rosenbaum, Liam Atticus Clarke, Maria Skibinski	Little Learning Machines: Real-Time Deep Reinforcement Learning as a Casual Creativity Game.	EXAG@AIIDE	2023	DBLP BibTeX RDF
51	Joshua Jaffe	A First-Order DPA Attack Against AES in Counter Mode with Unknown Initial Counter.	CHES	2007	DBLP DOI BibTeX RDF	HO-DPA, AES, DPA, power analysis, SPA, counter mode
49	Chenyu Yan, Daniel Englender, Milos Prvulovic, Brian Rogers, Yan Solihin	Improving Cost, Performance, and Security of Memory Encryption and Authentication.	ISCA	2006	DBLP DOI BibTeX RDF
48	Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell 0001	Reachability in Succinct and Parametric One-Counter Automata.	CONCUR	2009	DBLP DOI BibTeX RDF
48	Antonín Kucera 0001	Efficient Verification Algorithms for One-Counter Processes.	ICALP	2000	DBLP DOI BibTeX RDF
48	Parosh Aziz Abdulla, Karlis Cerans	Simulation Is Decidable for One-Counter Nets (Extended Abstract).	CONCUR	1998	DBLP DOI BibTeX RDF
46	Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi	Efficient debugging in a formal verification environment.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Counter-example, Model checking, Counterexample
46	Tatsuo Higuchi 0001, Michitaka Kameyama	Static-Hazard-Free T-Gate for Ternary Memory Element and Its Application to Ternary Counters.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	Counter based on shift register, emitter coupled logic (ECL), feedback shift register (FSR), signed ternary number representation, static-hazard-free T-gate, symmetrical modulo-M counter, synchronous and asynchronous signed ternary counter, ternary memory element, up-down counting
45	Mansoor Ahmed Khan, Ahmad Raza Cheema, Aamir Hasan 0001	Improved Nonce Construction Scheme for AES CCMP to Evade Initial Counter Prediction.	SNPD	2008	DBLP DOI BibTeX RDF	AES CCMP, Initial Counter, Key Length, TMTO, Integrity, Encryption, Confidentiality, Nonce, IEEE 802.11i
45	Frédéric Cuppens, Sylvain Gombault, Thierry Sans	Selecting Appropriate Counter-Measures in an Intrusion Detection Framework.	CSFW	2004	DBLP DOI BibTeX RDF	IDMEF, counter-measures, anti-correlation, Intrusion detection, correlation, response
45	Slawomir Pilarski, Kevin James Wiebe	Counter-based compaction: An analysis for BIST.	J. Electron. Test.	1992	DBLP DOI BibTeX RDF	compaction by counter, edge counting, one's counting, transition counting, built-in self-test, linear feedback shift register, signature analysis, Aliasing probability, test response compaction
43	Emi Mathews, Axel Poigné	An Echo State Network based pedestrian counting system using wireless sensor networks.	WISES	2008	DBLP DOI BibTeX RDF
43	Jonathan Katz, Steven A. Myers, Rafail Ostrovsky	Cryptographic Counters and Applications to Electronic Voting.	EUROCRYPT	2001	DBLP DOI BibTeX RDF
42	Wilson W. H. Chan, Alan H. S. Chan	Movement Compatibility for Two-Dimensional Lever Control and Digital Counter.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
42	Nicholas Riley, Craig B. Zilles	Probabilistic counter updates for predictor hysteresis and stratification.	HPCA	2006	DBLP DOI BibTeX RDF
42	Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen	Towards a Model-Checker for Counter Systems.	ATVA	2006	DBLP DOI BibTeX RDF
42	Yat-Fong Yung, Amine Bermak	A PWM DPS with pixel-level reconfigurable 4/8-bit counter/SRAM.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
42	Peter Celinski, Derek Abbott, Sorin Dan Cotofana	Area efficient, high speed parallel counter circuits using charge recycling threshold logic.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
42	Petr Jancar, Antonín Kucera 0001, Faron Moller, Zdenek Sawa	Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds.	FoSSaCS	2002	DBLP DOI BibTeX RDF
42	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.	TACAS	2001	DBLP DOI BibTeX RDF
42	Richard F. Bonner, Rusins Freivalds, Maksim Kravtsev	Quantum versus Probabilistic One-Way Finite Automata with Counter.	SOFSEM	2001	DBLP DOI BibTeX RDF
42	Petr Jancar, Antonín Kucera 0001, Faron Moller	Simulation and Bisimulation over One-Counter Processes.	STACS	2000	DBLP DOI BibTeX RDF
42	John Case, Samuel E. Moelius	U-shaped, iterative, and iterative-with-counter learning.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Gold-style learning, Iterative-with-counter learning, Memory limited learning, Non-U-shaped learning, Partly set-driven learning, Rearrangement independent learning, Set-driven learning, U-shape, U-shaped learning, Language learning, Inductive inference, Computational learning theory, Counter, Iterative learning
42	Brian P. Kettler, Gary Edwards, Mark Hoffman	Facilitating Information Sharing Across Intelligence Community Boundaries Using Knowledge Management and Semantic Web Technologies.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
42	Jennifer Golbeck, Aaron Mannes, James A. Hendler	Semantic Web Technologies for Terrorist Network Analysis.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
42		Legal Standards for Data Mining.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
42	Janusz Marecki, Nathan Schurr, Milind Tambe	Agent-Based Simulations for Disaster Rescue Using the DEFACTO Coordination System.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
42	Reda A. Ammar, Steven A. Demurjian, Ian R. Greenshields, Krishna R. Pattipati, Sanguthevar Rajasekaran	Analysis of Heterogeneous Data in Ultrahigh Dimensions.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
42	Michael D. McNeese, Isaac Brewer, Rashaad E. T. Jones, Erik S. Connors	Supporting Knowledge Management In Emergency Crisis Management Domains: Envisioned Designs for Collaborative Work.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
42	Seth Greenblatt, Thayne Coffman, Sherry Marcus	Behavioral Network Analysis for Terrorist Detection.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
42	J. Brian Sharkey, Doyle Weishar, John W. Lockwood, Ron Loui, Richard Rohwer, John Byrnes, Krishna R. Pattipati, Stephen G. Eick, David Cousins, Michael Nicoletti	Information Processing at Very High Speed Data Ingestion Rates.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
42	Kim A. Taipale	Designing Technical Systems to Support Policy: Enterprise Architecture, Policy Appliances, and Civil Liberties.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
42	Shuang Sun, Xiaocong Fan, John Yen	Sharing Intelligence Using Information Supply Chains.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
42	Douglas W. Oard	Transcending the Tower of Babel: Supporting Access to Multilingual Information with Cross-Language Information Retrieval.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
42	Jeff Jonas, John Karat	Anonymized Semantic Directories and a Privacy-Enhancing Architecture for Enterprise Discovery.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
42	Tom Mifflin, Chris Boner, Greg Godfrey, Michael Greenblatt	Detecting Terrorist Activities in the Twenty-First Century: A Theory of Detection for Transactional Networks.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
42	Clifford Behrens, Hyong Sop Shim, Devasis Bassu	Schemer: Consensus-Based Knowledge Validation and Collaboration Services for Virtual Teams of Intelligence Experts.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
42	David B. Skillicorn	Social Network Analysis Via Matrix Decompositions.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
42	Nazli Choucri, Stuart E. Madnick, Michael D. Siegel	Improving National and Homeland Security Through Context Knowledge Representation and Reasoning Technologies.	Emergent Information Technologies and Enabling Policies for Counter-Terrorism	2006	DBLP BibTeX RDF
40	Changwoo Pyo, Gyungho Lee	Encoding Function Pointers and Memory Arrangement Checking against Buffer Overflow Attack.	ICICS	2002	DBLP DOI BibTeX RDF	program counter, function pointer encoding, memory arrangement checking, buffer overflow attack
40	John Thornley, K. Mani Chandy	Monotonic Counters: A New Mechanism for Thread Synchronization.	IPDPS	2000	DBLP DOI BibTeX RDF	monotonic counter, deterministic synchronization, sequential equivalence, ragged barriers, sequential ordering, single-writer multiple-reader, mutual exclusion, thread, monotonicity, multithreaded programming, determinacy, thread synchronization
39	Sébastien Bardin, Alain Finkel, Jérôme Leroux	FASTer Acceleration of Counter Automata in Practice.	TACAS	2004	DBLP DOI BibTeX RDF	counter automata, convex translation, TTP protocol, acceleration, reachability set
39	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding feasible abstract counter-examples.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Counter-example analysis, Model checking, Abstract interpretation, Software verification
39	Olivier Finkel	An Effective Extension of the Wagner Hierarchy to Blind Counter Automata.	CSL	2001	DBLP DOI BibTeX RDF	blind counter automata, effective extension of the Wagner hierarchy, Wadge hierarchy, Wadge games, languages, topological properties
39	Peng-Jun Wan, Yuanyuan Yang 0001	Load Balancing in Counter-Rotated SONET Rings.	ICPP	1999	DBLP DOI BibTeX RDF	counter-rotated rings, routing, approximation algorithms, load balancing, SONET
39	S. K. Misra, R. K. Kolagotla, Hosahalli R. Srinivas, J. C. Mo, Marc S. Diamondstein	VLSI Implementation of a 300-MHz 0.35 um CMOS 32-bit Auto-Reloadable Binary Synchronous Counter with Optimal Test Overhead Delay.	VLSI Design	1998	DBLP DOI BibTeX RDF	Fast counter, VLSI, Testability
36	Curtis W. Keller, Diptikalyan Saha, Samik Basu 0001, Scott A. Smolka	FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs.	TACAS	2005	DBLP DOI BibTeX RDF
36	G. B. Fitzpatrick	Synthesis of Binary Ring Counters of Given Periods.	J. ACM	1960	DBLP DOI BibTeX RDF
36	Stefan Göller, Richard Mayr, Anthony Widjaja To	On the Computational Complexity of Verifying One-Counter Processes.	LICS	2009	DBLP DOI BibTeX RDF
36	Olivier Serre	Parity Games Played on Transition Graphs of One-Counter Processes.	FoSSaCS	2006	DBLP DOI BibTeX RDF
36	Jérôme Leroux, Grégoire Sutre	Flat Counter Automata Almost Everywhere!	ATVA	2005	DBLP DOI BibTeX RDF
36	David Molnar, Matt Piotrowski, David Schultz, David A. Wagner 0001	The Program Counter Security Model: Automatic Detection and Removal of Control-Flow Side Channel Attacks.	ICISC	2005	DBLP DOI BibTeX RDF
36	Per Bjesse, James H. Kukula	Using Counter Example Guided Abstraction Refinement to Find Complex Bugs.	DATE	2004	DBLP DOI BibTeX RDF
36	Samik Basu 0001, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka	Generation of All Counter-Examples for Push-Down Systems.	FORTE	2003	DBLP DOI BibTeX RDF
36	Tomohiro Yamasaki, Hirotada Kobayashi, Hiroshi Imai	Quantum versus Deterministic Counter Automata.	COCOON	2002	DBLP DOI BibTeX RDF
36	Xue Li, Wayne Huang 0001	Counter Inference of Intelligent Agents.	TOOLS (36)	2000	DBLP DOI BibTeX RDF
36	Dimitrios Kagaris, Spyros Tragoudas	On the design of optimal counter-based schemes for test set embedding.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
36	Oscar H. Ibarra, Tao Jiang 0001, Nicholas Q. Trân, Hui Wang 0008	New Decidability Results Concerning Two-way Counter Machines and Applications.	ICALP	1993	DBLP DOI BibTeX RDF
36	John M. Mellor-Crummey, Thomas J. LeBlanc	A Software Instruction Counter.	ASPLOS	1989	DBLP DOI BibTeX RDF
33	Barbara Endicott-Popovsky, Julia Narvaez, Christian Seifert, Deborah A. Frincke, Lori Ross O'Neil, Chiraag Uday Aval	Use of Deception to Improve Client Honeypot Detection of Drive-by-Download Attacks.	HCI (16)	2009	DBLP DOI BibTeX RDF	counter-deception, honeypots, deception, drive-by-downloads, cyber-attacks
33	Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi	SPEED: precise and efficient static estimation of program computational complexity.	POPL	2009	DBLP DOI BibTeX RDF	counter instrumentation, quantitative functions, symbolic complexity bounds, termination analysis
33	Sourav Mukhopadhyay, Palash Sarkar 0001	Application of LFSRs for Parallel Sequence Generation in Cryptologic Algorithms.	ICCSA (3)	2006	DBLP DOI BibTeX RDF	DES Cracker, TMTO, Counter Mode of Operation, LFSR
33	Hubert Comon, Véronique Cortier	Flatness Is Not a Weakness.	CSL	2000	DBLP DOI BibTeX RDF	Counter automata, model-checking, verification, temporal logics, logic in computer science
33	Alessandro Cevrero, Panagiotis Athanasopoulos, Hadi Parandeh-Afshar, Ajay Kumar Verma, Philip Brisk, Frank K. Gürkaynak, Yusuf Leblebici, Paolo Ienne	Architectural improvements for field programmable counter arrays: enabling efficient synthesis of fast compressor trees on FPGAs.	FPGA	2008	DBLP DOI BibTeX RDF	field programmable counter array (FPCA), FPGA
33	Kwan Ting Ng, Chen Shoushun, Farid Boussaïd, Amine Bermak	Compact Gray-Code Counter/Memory Circuits for Spiking Pixels.	DELTA	2008	DBLP DOI BibTeX RDF	Counter/memory, spiking pixel, CMOS image sensor
33	Abdelhak Chatty, Ilhem Kallel, Adel M. Alimi	Counter-ant algorithm for evolving multirobot collaboration.	CSTST	2008	DBLP DOI BibTeX RDF	counter-ant algorithm, multirobot collaboration collaborative cleaning, stagnation recovery, pheromone
33	Ilhem Kallel, Abdelhak Chatty, Adel M. Alimi	Self-Organizing Multirobot Exploration through Counter-Ant Algorithm.	IWSOS	2008	DBLP DOI BibTeX RDF	Counter-Ant algorithm, self-organizing multirobot, cooperative exploration, stagnation recovery, Lego robots, Madkit, pheromone
33	Kai Shen, Ming Zhong 0006, Sandhya Dwarkadas, Chuanpeng Li, Christopher Stewart, Xiao Zhang	Hardware counter driven on-the-fly request signatures.	ASPLOS	2008	DBLP DOI BibTeX RDF	operating system adaptation, request classification, server system, anomaly detection, hardware counter
33	Nan Hua, Bill Lin 0001, Jun (Jim) Xu, Haiquan (Chuck) Zhao	BRICK: a novel exact active statistics counter architecture.	ANCS	2008	DBLP DOI BibTeX RDF	statistics counter, router
33	Yi-hong Dong, Chao Sun, Xiaoying Tai	An Adaptive Counter Propagation Network.	SNPD (2)	2007	DBLP DOI BibTeX RDF	Counter propagation network, Neural Network, Adaptive
33	JinKyu Lee 0003, H. Raghav Rao	Exploring the causes and effects of inter-agency information sharing systems adoption in the anti/counter-terrorism and disaster management domains.	DG.O	2007	DBLP BibTeX RDF	anti/counter-terrorism, information sharing, disaster management, inter-organizational systems
33	Stijn Eyerman, Lieven Eeckhout, Tejas Karkhanis, James E. Smith 0001	A performance counter architecture for computing accurate CPI components.	ASPLOS	2006	DBLP DOI BibTeX RDF	hardware performance counter architecture, superscalar processor performance modeling
33	Rong Lin, Kevin E. Kerr, André S. Botha	A Novel Approach for CMOS Parallel Counter Design.	EUROMICRO	1999	DBLP DOI BibTeX RDF	parallel counter and compressor, low power high speed CMOS circuit design, VLSI design, Arithmetic circuit, partial product reduction
33	Hadas Shachnai, Micha Hofri	The List Update Problem: Improved Bounds for the Counter Scheme.	Algorithmica	1998	DBLP DOI BibTeX RDF	List update problem, Counter scheme, Self-organizing data structures, Average case analysis
33	Dimitrios Kagaris, Spyros Tragoudas	A multiseed counter TPG with performance guarantee.	ICCD	1996	DBLP DOI BibTeX RDF	built-in test pattern generators, multiseed counter test pattern generator, low hardware overhead, fast CAD tool, ISCAS'85 benchmarks, hardware/time overhead, built-in self test, performance guarantee, test set generation
30	Chengcui Zhang, Wei-bang Chen	An Effective and Robust Method for Automatic Bacterial Colony Enumeration.	ICSC	2007	DBLP DOI BibTeX RDF
30	Yasuaki Ito, Koji Nakano, Youhei Yamagishi	Efficient hardware algorithms for n choose k counters.	IPDPS	2006	DBLP DOI BibTeX RDF
30	Jirí Srba	Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation.	CSL	2006	DBLP DOI BibTeX RDF
30	Eu-Jin Goh, Philippe Golle	Event Driven Private Counters.	Financial Cryptography	2005	DBLP DOI BibTeX RDF