Search results for "counter"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Samik Basu 0001, Diptikalyan Saha, Scott A. Smolka	Localizing Program Errors for Cimple Debugging.	FORTE	2004	DBLP DOI BibTeX RDF
30	Oscar H. Ibarra, Tevfik Bultan, Jianwen Su	Reachability Analysis for Some Models of Infinite-State Transition Systems.	CONCUR	2000	DBLP DOI BibTeX RDF
30	Wen-Ben Jone, Anita Gleason	Analysis of Hamming count compaction scheme.	J. Electron. Test.	1991	DBLP DOI BibTeX RDF	index vector, spectral coefficients, Built-in self test, compaction, syndrome
30	Charles R. Blair	On Computer Transcription of Manual Morse.	J. ACM	1959	DBLP DOI BibTeX RDF
30	William Lloyd Bircher, Lizy K. John	Complete System Power Estimation: A Trickle-Down Approach Based on Performance Events.	ISPASS	2007	DBLP DOI BibTeX RDF	power sensing hardware, complete system power estimation, microprocessor performance event, microprocessor performance counter, online measurement, complete system power consumption, microprocessor power, on-chip performance event counter, system power consumption estimation, power model
30	Muneer O. Bani Yassein, Ahmed Yassin Al-Dubai, Mohamed Ould-Khaoua, Omar M. Al-Jarrah	New adaptive counter based broadcast using neighborhood information in MANETS.	IPDPS	2009	DBLP DOI BibTeX RDF
30	Koen Claessen, Hans Svensson	Finding Counter Examples in Induction Proofs.	TAP	2008	DBLP DOI BibTeX RDF
30	Neha Rungta, Eric G. Mercer	Generating Counter-Examples Through Randomized Guided Search.	SPIN	2007	DBLP DOI BibTeX RDF
30	JinKyu Lee 0003, H. Raghav Rao	Understanding Socio-Technical Environments for Acceptance of Inter-Agency Anti/Counter-Terrorism Information Sharing Systems.	HICSS	2007	DBLP DOI BibTeX RDF
30	Ao Tang, Jiantao Wang, Steven H. Low	Counter-intuitive throughput behaviors in networks under end-to-end control.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	optimization, fairness, throughput, flow control
30	Yang Xiao 0001, Frank Haizhon Li, Kui Wu 0001, Kin K. Leung, Qiang Ni	On Optimizing Backoff Counter Reservation and Classifying Stations for the IEEE 802.11 Distributed Wireless LANs.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	IEEE 802.11, medium access control, CSMA/CA, contention-based
30	Canturk Isci, Margaret Martonosi	Phase characterization for power: evaluating control-flow-based and event-counter-based techniques.	HPCA	2006	DBLP DOI BibTeX RDF
30	Marius Bozga, Radu Iosif, Yassine Lakhnech	Flat Parametric Counter Automata.	ICALP (2)	2006	DBLP DOI BibTeX RDF
30	Atsushi Wada, Keiki Takadama, Katsunori Shimohara	Counter example for Q-bucket-brigade under prediction problem.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	reinforcement learning, convergence, learning classifier systems, function approximation, genetic-based machine learning
30	Atsushi Wada, Keiki Takadama, Katsunori Shimohara	Counter Example for Q-Bucket-Brigade Under Prediction Problem.	IWLCS	2005	DBLP DOI BibTeX RDF
30	Mazen Kharbutli, Yan Solihin	Counter-Based Cache Replacement Algorithms.	ICCD	2005	DBLP DOI BibTeX RDF
30	Weidong Shi, Hsien-Hsin S. Lee, Mrinmoy Ghosh, Chenghuai Lu, Alexandra Boldyreva	High Efficiency Counter Mode Security Architecture via Prediction and Precomputation.	ISCA	2005	DBLP DOI BibTeX RDF
30	Dimitris Karatasos, Athanasios Kakarountas, George Theodoridis, Constantinos E. Goutis	A Novel Constant-Time Fault-Secure Binary Counter.	PATMOS	2004	DBLP DOI BibTeX RDF
30	Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie	Real-Counter Automata and Their Decision Problems.	FSTTCS	2004	DBLP DOI BibTeX RDF
30	Hiroaki Kikuchi	Oblivious Counter and Majority Protocol.	ISC	2002	DBLP DOI BibTeX RDF
30	Elena Trichina, Antonio Bellezza	Implementation of Elliptic Curve Cryptography with Built-In Counter Measures against Side Channel Attacks.	CHES	2002	DBLP DOI BibTeX RDF
30	Andrew Skabar, Kousick Biswas, Binh Pham 0001, Anthony J. Maeder	Inductive Concept Learning in the Absence of Labeled Counter-Examples.	ACSC	2000	DBLP DOI BibTeX RDF	Clustering, Machine Learning, Classification, Concept learning
30	Rolf Hakenes, Yiannos Manoli	Improving Microcontroller Power Consumption through a Segmented Gray Code Program Counter.	ICCD	1999	DBLP DOI BibTeX RDF
30	Mark B. Josephs	Formal Derivation of a Loadable Asynchronous Counter.	MPC	1998	DBLP DOI BibTeX RDF
30	Gilles Défourneaux, Nicolas Peltier	Partial Matching for Analogy Discovery in Proofs and Counter-Examples.	CADE	1997	DBLP DOI BibTeX RDF
30	Oscar H. Ibarra, Tao Jiang 0001, Nicholas Q. Trân, Hui Wang 0008	On the Equivalence of Two-way Pushdown Automata and Counter Machines over Bounded Languages.	STACS	1993	DBLP DOI BibTeX RDF
27	Gábor Gosztolya, András Bánhalmi, László Tóth 0001	Using One-Class Classification Techniques in the Anti-phoneme Problem.	IbPRIA	2009	DBLP DOI BibTeX RDF	counter-example generation, Artificial Neural Networks, speech recognition, Gaussian Mixture Models, one-class classification
27	Rishiraj Bhattacharyya, Avradip Mandal, Mridul Nandi	Indifferentiability Characterization of Hash Functions and Optimal Bounds of Popular Domain Extensions.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	Indifferentiability, Merkle-Damgård, HAIFA, Tree mode of operations with counter
27	Samed Maltabas, Martin Margala, Ugur Çilingiroglu	Varicap threshold logic.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	minnick tl network, variable capacitance, threshold logic, parallel counter
27	Emilia Käsper, Peter Schwabe	Faster and Timing-Attack Resistant AES-GCM.	CHES	2009	DBLP DOI BibTeX RDF	Galois/Counter mode, cache-timing attacks, AES, fast implementations
27	Oscar H. Ibarra, Sara Woodworth	Characterizations of some classes of spiking neural P systems.	Nat. Comput.	2008	DBLP DOI BibTeX RDF	Asynchronous mode, Sequential mode, Partially blind counter machine, Spiking neural P system, Language generator, Semilinear set
27	Pierre-Alain Fouque, Gwenaëlle Martinet, Frédéric Valette, Sébastien Zimmer	On the Security of the CCM Encryption Mode and of a Slight Variant.	ACNS	2008	DBLP DOI BibTeX RDF	CCM, CBC-MAC, Counter mode
27	David Lefranc, Philippe Painchault, Valérie Rouat, Emmanuel Mayer	A Generic Method to Design Modes of Operation Beyond the Birthday Bound.	Selected Areas in Cryptography	2007	DBLP DOI BibTeX RDF	PRP, PRF, birthday bound, CENC, modes of operation, symmetric encryption, counter mode
27	Oscar H. Ibarra, Sara Woodworth	Spiking Neural P Systems: Some Characterizations.	FCT	2007	DBLP DOI BibTeX RDF	asynchronous mode, sequential mode, partially blind counter machine, Spiking neural P system, language generator, semilinear set
27	Sébastien Bardin, Jérôme Leroux, Gérald Point	FAST Extended Release.	CAV	2006	DBLP DOI BibTeX RDF	counter systems verification, generic Presburger interface, automata with cache computation, acceleration
27	Mohammad D. Mottaghi, Ali Afzali-Kusha, Zainalabedin Navabi	ByZFAD: a low switching activity architecture for shift-and-add multipliers.	SBCCI	2006	DBLP DOI BibTeX RDF	adder bypass, byZFAD, hot-block ring counter, shiftand-add multiplier, low-power, switching activity
27	Jérôme Durand-Lose	Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal.	CiE	2006	DBLP DOI BibTeX RDF	2-counter automata, Reversibility, Conservativeness, Turing-computability, Rational numbers, Abstract geometrical computation
27	Tarek Elhabian, Bo Zhang, Dingrong Shao	Neural Direct Sequence Spread Spectrum Acquisition.	ISNN (2)	2004	DBLP DOI BibTeX RDF	Direct Sequence Spread Spectrum Acquisition, Counter Propagation Network, Neural Network, Matching Filtering
27	Ahmed Bouajjani, Agathe Merceron	Parametric Verification of a Group Membership Algorithm.	FTRTFT	2002	DBLP DOI BibTeX RDF	parametric counter automata, Formal verification, abstraction, fault-tolerant protocols
27	Jian Song, Oliver W. W. Yang	Backbone Networks Using Rotation Counters.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	Rotation counter, buffering schemes, services integration, token ring, backbone network
27	Dimitrios Kagaris, Spyros Tragoudas	Generating deterministic unordered test patterns with counters.	VTS	1996	DBLP DOI BibTeX RDF	counting circuits, deterministic unordered test patterns, counter-based schemes, built-in mechanisms, test pattern generation session, ISCAS'85 benchmarks, logic testing, built-in self test, integrated circuit testing, combinational circuits, combinational circuits, automatic testing, hardware overhead
27	T. C. Choinski, T. T. Tylaska	Generation of Digit Reversed Address Sequences for Fast Fourier Transforms.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	digit reversed address sequences generation, radix-4, binary counter, address sequences, fast Fourier transforms, fast Fourier transforms, hardware design, computerised signal processing, radix-2
27	Muneer Masadeh, Sanabel Fathi Nimer, Ahmed Yassin Al-Dubai	The Effects of Network Density of a New Counter-based Broadcasting Scheme in Mobile Ad Hoc Networks.	CIT	2010	DBLP DOI BibTeX RDF	Counter-based, Broadcast storm problem, Delivery ratio, MANETs, Broadcast, Flooding, Reachability
27	Francesco De Angelis 0001, Andrea Polini, Guglielmo De Angelis	A Counter-Example Testing Approach for Orchestrated Services.	ICST	2010	DBLP DOI BibTeX RDF	Counter-example based Testing, Service Testing, Service Orchestrations
27	Xiaoman Wu, Yilan Yang, Jie Liu, Yue Wu, Fasheng Yi	Position-Aware Counter-Based Broadcast for Mobile Ad Hoc Networks.	FCST	2010	DBLP DOI BibTeX RDF	Counter-based broadcast, position-based broadcast, mobile ad hoc networks, flooding
27	Oscar H. Ibarra, Sara Woodworth, Fang Yu 0001, Andrei Paun	On spiking neural P systems and partially blind counter machines.	Nat. Comput.	2008	DBLP DOI BibTeX RDF	Sequential mode, Partially blind counter machine, Spiking neural P system
27	Jorgen Peddersen, Sri Parameswaran	CLIPPER: Counter-based Low Impact Processor Power Estimation at Run-time.	ASP-DAC	2007	DBLP DOI BibTeX RDF	dynamic power optimization, CLIPPER, counter-based low impact processor, run-time power optimization, power consumption, energy consumption
27	H. Raghav Rao, JinKyu Lee 0003	Citizen centric analysis of anti/counter-terrorism e-government services.	DG.O	2006	DBLP DOI BibTeX RDF	anti-/counter-terrorism (ACT), channel choice, source choice, e-government, user acceptance, public safety
24	Vijay Nagarajan, Rajiv Gupta 0001, Arvind Krishnaswamy	Compiler-Assisted Memory Encryption for Embedded Processors.	Trans. High Perform. Embed. Archit. Compil.	2009	DBLP DOI BibTeX RDF
24	James Aspnes, Keren Censor	Approximate shared-memory counting despite a strong adversary.	SODA	2009	DBLP DOI BibTeX RDF
24	Valentina Salapura, Karthik Ganesan 0006, Alan Gara, Michael Gschwind, James C. Sexton, Robert Walkup	Next-Generation Performance Counters: Towards Monitoring Over Thousand Concurrent Events.	ISPASS	2008	DBLP DOI BibTeX RDF
24	Rui Zhang, Zoran Budimlic, William N. Scherer III	Commit phase in timestamp-based stm.	SPAA	2008	DBLP DOI BibTeX RDF	commit sequence, transactional memory, timestamp
24	Antoine Joux, Jean-René Reinhard	Overtaking VEST.	FSE	2007	DBLP DOI BibTeX RDF	inner collision, chosen IV attack, Stream cipher
24	Vivek Raghunathan, P. R. Kumar 0001	A counterexample in congestion control of wireless networks.	MSWiM	2005	DBLP DOI BibTeX RDF	stability, congestion control, TCP, fairness, wireless ad hoc networks
24	Ko-Kang Chu, Tsai-Chen Shen, Yen-Teh Hsia	Measuring Website popularity and raising designers' effort.	SMC (5)	2004	DBLP DOI BibTeX RDF
24	Freddy Y. C. Mang, Pei-Hsin Ho	Abstraction refinement by controllability and cooperativeness analysis.	DAC	2004	DBLP DOI BibTeX RDF	formal verification, controllability, cooperativeness, abstraction refinement
24	Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi	Efficient Debugging in a Formal Verification Environment.	CHARME	2001	DBLP DOI BibTeX RDF
24	Rolf Hakenes, Yiannos Manoli	A Segmented Gray Code for Low-Power Microcontroller Address Buses.	EUROMICRO	1999	DBLP DOI BibTeX RDF
24	Pierre G. Paulin	Horizontal Partitioning of PLA-based Finite State Machines.	DAC	1989	DBLP DOI BibTeX RDF
24	Thomas A. Cargill, Bart N. Locanthi	Cheap Hardware Support for Software Debugging and Profiling.	ASPLOS	1987	DBLP DOI BibTeX RDF
24	Sarah Mennicken, Thorsten Karrer, Peter Russell, Jan O. Borchers	First-person cooking: a dual-perspective interactive kitchen counter.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	computer-aided cooking, domestic spaces, dual-perspective, interactive cooking show, ubiquitous computing, kitchen
24	Supranamaya Ranjan, Ram Swaminathan, Mustafa Uysal, Antonio Nucci, Edward W. Knightly	DDoS-shield: DDoS-resilient scheduling to counter application layer attacks.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	application layer attacks, site security monitoring, anomaly detection, information entropy, denial-of-service attacks
24	Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening	Symbolic Counter Abstraction for Concurrent Software.	CAV	2009	DBLP DOI BibTeX RDF
24	Aminu Mohammed, Mohamed Ould-Khaoua, Lewis M. Mackenzie, Colin Perkins, Jamal-Deen Abdulai	Probabilistic counter-based route discovery for mobile ad hoc networks.	IWCMC	2009	DBLP DOI BibTeX RDF	simulation, MANETs, flooding, reactive routing, route discovery, broadcast storm
24	Anthony Widjaja To	Model Checking FO(R) over One-Counter Processes and beyond.	CSL	2009	DBLP DOI BibTeX RDF
24	Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis	Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems.	QEST	2008	DBLP DOI BibTeX RDF
24	Alain Finkel, Arnaud Sangnier	Reversal-Bounded Counter Machines Revisited.	MFCS	2008	DBLP DOI BibTeX RDF
24	Jian Guo, Jungang Han, Naiyong Jin	Witness and Counter-Example on 3-Valued Model Checking.	FSKD (2)	2008	DBLP DOI BibTeX RDF
24	Karthik Ganesan 0006, Lizy Kurian John, Valentina Salapura, James C. Sexton	A Performance Counter Based Workload Characterization on Blue Gene/P.	ICPP	2008	DBLP DOI BibTeX RDF
24	Daniel Boteanu, Edouard Reich, José M. Fernandez 0001, John McHugh	Implementing and testing dynamic timeout adjustment as a dos counter-measure.	QoP	2007	DBLP DOI BibTeX RDF	degradation of service, denial of service, SYN flood
24	Aminu Mohammed, Mohamed Ould-Khaoua, Lewis M. Mackenzie	An Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks.	EPEW	2007	DBLP DOI BibTeX RDF	Broadcast storm problem, Saved-rebroadcast, MANETs, Latency, Flooding, Reachability
24	Daniele Audino, Federico Baronti, Andrea Lazzeri, Roberto Roncella, Roberto Saletti	FPGA/DSP-based Configurable Multi-Channel Counter.	DSD	2007	DBLP DOI BibTeX RDF
24	C. Y. Ho, K. F. Chong, Chihang Yau, Anthony Shi-Sheung Fong	A Study of Dynamic Branch Predictors: Counter versus Perceptron.	ITNG	2007	DBLP DOI BibTeX RDF
24	Akashi Satoh, Takeshi Sugawara 0001, Takafumi Aoki	High-Speed Pipelined Hardware Architecture for Galois Counter Mode.	ISC	2007	DBLP DOI BibTeX RDF
24	Ales Smrcka, Tomás Vojnar	Verifying Parametrised Hardware Designs Via Counter Automata.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
24	Ryad Benadjila, Olivier Billet, Stanislas Francfort	Drm to counter side-channel attacks?	Digital Rights Management Workshop	2007	DBLP DOI BibTeX RDF	white-box, AES, side-channel attacks, DRM
24	Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar	Counter-Free Input-Determined Timed Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
24	Hans Pierrot, Tim Hendtlass	Using a modified counter-propagation algorithm to classify conjoined data.	Appl. Intell.	2006	DBLP DOI BibTeX RDF
24	Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar	Programs with Lists Are Counter Automata.	CAV	2006	DBLP DOI BibTeX RDF
24	Mikko Löytynoja, Tapio Seppänen	Hash-based Counter Scheme for Digital Rights Management.	ICME	2005	DBLP DOI BibTeX RDF
24	Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond	Counter-example generation in symbolic abstract model-checking.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Concrete counterexample, Model-checking, Abstraction, Test pattern generation
24	Hiroshi Inokawa, Yasuo Takahashi, Katsuhiko Degawa, Takafumi Aoki, Tatsuo Higuchi 0001	A Single-Electron-Transistor Logic Gate Family and Its Application - Part II: Design and Simulation of a 7-3 Parallel Counter with Linear Summation and Multiple-Valued Latch Functions.	ISMVL	2004	DBLP DOI BibTeX RDF
24	François Charot, Eslam Yahya, Charles Wagner	Efficient Modular-Pipelined AES Implemenation in Counter Mode on ALTERA FPGA.	FPL	2003	DBLP DOI BibTeX RDF
24	Hans Pierrot, Tim Hendtlass	Using a Modified Counter-Propagation Algorithm to Classify Conjoint Data.	IEA/AIE	2003	DBLP DOI BibTeX RDF
24	Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun	On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter.	ISAAC	2002	DBLP DOI BibTeX RDF
24	Dominique Larchey-Wendling	Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic.	CADE	2002	DBLP DOI BibTeX RDF
24	Seraphim Poriazis	The two-phase twisted-ring counter circuit.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
24	Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro	Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter.	FSTTCS	2001	DBLP DOI BibTeX RDF
24	Bruce R. Childers, Jack W. Davidson	An Infrastructure for Designing Custom Embedded Counter-flow Pipelines.	HICSS	2000	DBLP DOI BibTeX RDF
24	Tomohiro Yamasaki, Hirotada Kobayashi, Yuuki Tokunaga, Hiroshi Imai	One-Way Probabilistic Reversible and Quantum One-Counter Automata.	COCOON	2000	DBLP DOI BibTeX RDF
24	Robert F. Jones, Earl E. Swartzlander Jr.	Parallel counter implementation.	J. VLSI Signal Process.	1994	DBLP DOI BibTeX RDF
24	David M. Mark	Counter-Intuitive Geographic "Facts": Clues for Spatial Reasoning at Geographic Scales.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
24	David Binger, David Knapp	Automatic synthesis of a dual-PLA controller with a counter.	MICRO	1990	DBLP BibTeX RDF
23	Marcial Tienteu, Edmund Smith, Edgar Mateos Santillan, Kevin T. Kornegay, Paige Harvey, Otily Toutsop, Tsion Yimer, Vinton Morris, Ketchiozo Wandji	Template Attack Against AES in Counter Mode With Unknown Initial Counter.	CCWC	2023	DBLP DOI BibTeX RDF
23	Juan-Gabriel Cegarra-Navarro, Ettore Bolisani, Gabriel Cepeda Carrion	Linking good counter-knowledge with bad counter knowledge: the impact of evasive knowledge hiding and defensive reasoning.	J. Knowl. Manag.	2022	DBLP DOI BibTeX RDF
23	Qingcong Shan	A Grammatical Study of Chinese Counter-Expectation Marker "Jìngrán" -in Comparison with Korean Counter-Expectation Marker "-tani".	CLSW (1)	2022	DBLP DOI BibTeX RDF
23	Gaspare Galati 0001, Gabriele Pavan, Kubilay Savci, Christoph Wasserzier	Counter-Interception and Counter-Exploitation Features of Noise Radar Technology.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
23	L. Hemanth Krishna, Neeharika M., Vishvanath Janjirala, Sreehari Veeramachaneni, S. K. Noor Mahammad	Efficient design of 15: 4 counter using a novel 5: 3 counter for high-speed multiplication.	IET Comput. Digit. Tech.	2021	DBLP DOI BibTeX RDF
23	Min Chen 0007, Shigang Chen, Zhiping Cai	Counter Tree: A Scalable Counter Architecture for Per-Flow Traffic Measurement.	IEEE/ACM Trans. Netw.	2017	DBLP DOI BibTeX RDF
23	Benedikt Bollig	One-Counter Automata with Counter Visibility.	CoRR	2016	DBLP BibTeX RDF