Search results for "counter"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Benedikt Bollig	One-Counter Automata with Counter Observability.	FSTTCS	2016	DBLP DOI BibTeX RDF
23	Haochao Li, Eddie C. L. Chan, Xiaonan Guo, Jiang Xiao, Kaishun Wu, Lionel M. Ni	Wi-Counter: Smartphone-Based People Counter Using Crowdsourced Wi-Fi Signal Data.	IEEE Trans. Hum. Mach. Syst.	2015	DBLP DOI BibTeX RDF
23	Min Chen 0007, Shigang Chen	Counter Tree: A Scalable Counter Architecture for Per-Flow Traffic Measurement.	ICNP	2015	DBLP DOI BibTeX RDF
23	Yu Fu 0005, Benafsh Husain, Richard R. Brooks	Analysis of Botnet Counter-Counter-Measures.	CISR	2015	DBLP DOI BibTeX RDF
23	Jeroen Bourgonjon, Kris Rutten, Ronald Soetaert, Martin Valcke	From Counter-Strike to Counter-Statement: using Burke's pentad as a tool for analysing video games.	Digit. Creativity	2011	DBLP DOI BibTeX RDF
23	Fouz Sattar, Muid Mufti	On Post Decryption Error Pobability in Counter Mode Operation with Explicit Counter Transmittal.	Int. J. Netw. Secur.	2009	DBLP BibTeX RDF
23	Akihiro Kato, Masayuki Kanda, Satoru Kanno	Camellia Counter Mode and Camellia Counter with CBC-MAC Mode Algorithms.	RFC	2009	DBLP DOI BibTeX RDF
23	JinKyu Lee 0003, H. Raghav Rao	Perceived risks, counter-beliefs, and intentions to use anti-/counter-terrorism websites: An exploratory study of government-citizens online interactions in a turbulent environment.	Decis. Support Syst.	2007	DBLP DOI BibTeX RDF
23	Peter T. Shepherd	COUNTER 2005: a new Code of Practice and new applications of COUNTER usage statistics.	Learn. Publ.	2005	DBLP DOI BibTeX RDF
23	Hiroshi Morishita, Keisuke Watanabe, Takeru Kuroiwa, Taketoshi Mori, Tomomasa Sato	Development of robotic kitchen counter: kitchen counter equipped with sensors and actuator for action-adapted and personally fit assistance.	IROS	2003	DBLP DOI BibTeX RDF
23	Athanasios P. Kakarountas, George Theodoridis, Kyriakos S. Papadomanolakis, Costas E. Goutis	A novel high-speed counter with counting rate independent of the counter's length.	ICECS	2003	DBLP DOI BibTeX RDF
23	Alexandre F. Tenca, Milos D. Ercegovac	Synchronous Up/Down Binary Counter for LUT FPGAs with Counting Frequency Independent of Counter Size.	FPGA	1997	DBLP DOI BibTeX RDF
23	Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg	Counter Machines and Counter Languages.	Math. Syst. Theory	1968	DBLP DOI BibTeX RDF
21	Tetsu Iwata, Kan Yasuda	BTM: A Single-Key, Inverse-Cipher-Free Mode for Deterministic Authenticated Encryption.	Selected Areas in Cryptography	2009	DBLP DOI BibTeX RDF	Bivariate, random-until-bad game, systematic proof, universal hash function, counter mode
21	Tetsu Iwata, Kan Yasuda	HBS: A Single-Key Mode of Operation for Deterministic Authenticated Encryption.	FSE	2009	DBLP DOI BibTeX RDF	SIV, Universal hash function, security proof, counter mode
21	Hagit Attiya, Danny Hendler, Philipp Woelfel	Tight rmr lower bounds for mutual exclusion and other problems.	STOC	2008	DBLP DOI BibTeX RDF	bounded counter, lower-bound techniques, store/collect object, information theory, shared-memory, mutual exclusion
21	Ergude Bao, Yang Yang, Hui Chen, Yuan-Yuan Lu, Xiao Liu, Weisheng Li 0001	A study and implementation of self-adaptive allocation algorithm for parallel program.	CSTST	2008	DBLP DOI BibTeX RDF	Microsoft WCCS system, counter propagation neutral network, self-adaptive, API, CPU time
21	Stijn Eyerman, Lieven Eeckhout, Tejas Karkhanis, James E. Smith 0001	A Top-Down Approach to Architecting CPI Component Performance Counters.	IEEE Micro	2007	DBLP DOI BibTeX RDF	hardware performance counter architecture, superscalar processor performance modeling, performance, measurement, experimentation, modeling techniques
21	Umit Ayvaz, Murat Dere, Yao Ming Tiah	Using the MANA agent-based simulation tool to evaluate and compare the effectiveness of ground-based and airborne communications jammers in countering the IED threat to ground convoys.	SpringSim (2)	2007	DBLP BibTeX RDF	Counter-IED, MANA, communications jammers, nearly orthogonal Latin hypercube, IED
21	Stefan Lemsitzer, Johannes Wolkerstorfer, Norbert Felber, Matthias Braendli	Multi-gigabit GCM-AES Architecture Optimized for FPGAs.	CHES	2007	DBLP DOI BibTeX RDF	Galois/Counter Mode (GCM), hybrid multiplier, Field Programmable Gate Array (FPGA), Very Large Scale Integration (VLSI), Advanced Encryption Standard (AES), high throughput, digit-serial multiplier, bit-parallel multiplier
21	Daniel Neuenschwander, Hansmartin Zeuner	Generating random numbers of prescribed distribution using physical sources.	Stat. Comput.	2003	DBLP DOI BibTeX RDF	Kolmogorov norm, Geiger counter, random number generator, total variation, uniform distribution, Poisson process
21	Martin Boesgaard, Mette Vesterager, Thomas Pedersen, Jesper Christiansen, Ove Scavenius	Rabbit: A New High-Performance Stream Cipher.	FSE	2003	DBLP DOI BibTeX RDF	Stream cipher, coupled, chaos, non-linear, counter, fast
21	Guansong Zhang, Francisco Martínez, Arie Tal, Bob Blainey	Busy-Wait Barrier Synchronization Using Distributed Counters with Local Sensor.	WOMPAT	2003	DBLP DOI BibTeX RDF	distributed counter, synchronization, multiprocessor, Barrier
21	Ricardo Caferra, Nicolas Peltier, François Puitg	Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF	Automated geometric reasoning, model (counter-example) building, proof structuring with diagrams, analogy, computer assisted learning
21	Joep L. W. Kessels, Paul Marston	Designing Asynchronous Standby Circuits for a Low-Power Pager.	ASYNC	1997	DBLP DOI BibTeX RDF	pager, loadable counter, synchronous/asynchronous, low-power, co-design
21	Miroslav Svéda	Embedded system design: a case study.	ECBS	1996	DBLP DOI BibTeX RDF	pumps, embedded distributed systems, dispenser control, local time concept, system-wide global clock, environment specification, system functional specification, logical structure description, petrol pumping station, explosion danger, uncontrolled petrol flow, real-time systems, formal specification, prototyping, distributed processing, controller, implementation, systems analysis, synchronisation, flow control, safety critical system, clocks, distributed control, software prototyping, safety-critical software, embedded system design, counter, control system CAD
21	Florian Krohm, Andreas Kuehlmann, Arjen Mets	The use of random simulation in formal verification.	ICCD	1996	DBLP DOI BibTeX RDF	random simulation, BDD-based verification, counter example pattern, design partitioning, Boolean reasoning, formal verification, formal verification, hardware designs, functional equivalence
21	Keivan Navi, Daniel Etiemble	From Multi-Valued Current Mode CMOS Circuits to Efficient Voltage Mode CMOS Arithmetic Operators.	ISMVL	1995	DBLP DOI BibTeX RDF	multivalued current mode CMOS circuits, voltage mode CMOS arithmetic operators, 3-valued current mode CMOS 2-input BSC adder, CMOS binary 4-2 counter, 1-digit Avizienis-like adder, adders, CMOS integrated circuits, integrated logic circuits, multivalued logic circuits, ternary logic, redundant number representation
21	Khaled Saab 0001, Bozena Kaminska, Bernard Courtois, Marcelo Lubaszewski	Frequency-based BIST for analog circuit testin.	VTS	1995	DBLP DOI BibTeX RDF	waveform generators, frequency-based BIST, analog circuit testing, sine wave generator, sinusoidal input signals, variable frequency input stimulus, frequency input signal, T-BIST approach, frequency-counter BIST approach, VLSI, VLSI, built-in self test, integrated circuit testing, analogue integrated circuits
21	Sunil R. Das, H. T. Ho, Wen-Ben Jone, Amiya R. Nayak	An improved output compaction technique for built-in self-test in VLSI circuits.	VLSI Design	1995	DBLP DOI BibTeX RDF	output compaction technique, space compression technique, compaction tree generation, detectable error probability, Boolean difference method, syndrome counter, VLSI, logic testing, probability, built-in self test, built-in self-test, Boolean functions, integrated circuit testing, design for testability, BIST, combinational circuits, combinational circuits, automatic testing, DFT, fault coverage, integrated logic circuits, digital circuits, VLSI circuits, digital integrated circuits
21	Wayne Hayes, Mart L. Molle	Solving capture in switched two-node Ethernets by changing only one node.	LCN	1995	DBLP DOI BibTeX RDF	telecommunication switching, Ethernet medium access control protocol, switched two-node Ethernets, short-term unfairness, heavily loaded Ethernets, capture avoidance binary exponential back-off, two-node collision domain, equal time round-robin scheme, modified node, attempts counter, aggressively persistent system, completely passive system, low delay shared channel access, fair shared channel access, round-robin shared channel access, local area networks, access protocols, capture effect, active nodes
18	Dmitry G. Korzun, Andrei V. Gurtov	A local equilibrium model for P2P resource ranking.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
18	Bill Lin 0001, Jun (Jim) Xu, Nan Hua, Hao Wang 0006, Haiquan (Chuck) Zhao	A randomized interleaved DRAM architecture for the maintenance of exact statistics counters.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
18	Sipat Triukose, Zhihua Wen, Michael Rabinovich	Content delivery networks: how big is big enough?	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
18	Alma Riska, Erik Riedel	Evaluation of disk-level workloads at different time scales.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
18	Ömer Egecioglu, Oscar H. Ibarra	On Stateless Multicounter Machines.	CiE	2009	DBLP DOI BibTeX RDF	Stateless multicounter machines, reversal-bounded, realtime computation, hierarchies
18	Rajeev K. Ranjan 0001, Claudionor Coelho, Sebastian Skalberg	Beyond verification: leveraging formal for debugging.	DAC	2009	DBLP DOI BibTeX RDF	behavioral indexing, post-silicon debugging, traceless debugging, formal verification, debugging, property verification
18	Sriram K. Rajamani	Tests, Proofs and Refinements.	ATVA	2008	DBLP DOI BibTeX RDF
18	Peter Habermehl, Radu Iosif, Tomás Vojnar	What Else Is Decidable about Integer Arrays?.	FoSSaCS	2008	DBLP DOI BibTeX RDF
18	Wei-bang Chen, Chengcui Zhang	Bacteria Colony Enumeration and Classification for Clonogenic Assay.	ISM	2008	DBLP DOI BibTeX RDF
18	Saleh Abdel-Hafeez, Shadi M. Harb, William R. Eisenstadt	High speed digital CMOS divide-by-N fequency divider.	ISCAS	2008	DBLP DOI BibTeX RDF
18	Rotem Oshman, Orna Grumberg	A New Approach to Bounded Model Checking for Branching Time Logics.	ATVA	2007	DBLP DOI BibTeX RDF
18	Seung Ho Ok, Byung In Moon	A Digit Reversal Circuit for the Variable-Length Radix-4 FFT.	FGCN (2)	2007	DBLP DOI BibTeX RDF
18	Ying-Wen Bai, Yung-Sen Cheng, Cheng-Hung Tsai	An Approximate Analysis of the Balance among Performance, Utilization and Power Estimation of Server Systems by Use of the Batch Service.	ICON	2007	DBLP DOI BibTeX RDF
18	Vijay Nagarajan, Rajiv Gupta 0001, Arvind Krishnaswamy	Compiler-Assisted Memory Encryption for Embedded Processors.	HiPEAC	2007	DBLP DOI BibTeX RDF
18	Torvald Riegel, Christof Fetzer, Pascal Felber	Time-based transactional memory with scalable time bases.	SPAA	2007	DBLP DOI BibTeX RDF	transactional memory
18	Min Dong 0006, HuiYu Jiang, Xiangpeng Li, Qing Liu 0011	An Application of CP Neural Network Based on Rough Set in Image Edge Detection.	GrC	2007	DBLP DOI BibTeX RDF
18	M. V. Panduranga Rao	Generalized Counters and Reversal Complexity.	TAMC	2006	DBLP DOI BibTeX RDF
18	M. C. Dharmadeep, K. Gopinath	Proactive Leader Election in Asynchronous Shared Memory Systems.	ATVA	2006	DBLP DOI BibTeX RDF
18	Humberto Calderon, Stamatis Vassiliadis	Reconfigurable Multiple Operation Array.	SAMOS	2005	DBLP DOI BibTeX RDF
18	Dominique Larchey-Wendling	Bounding Resource Consumption with Gödel-Dummett Logics.	LPAR	2005	DBLP DOI BibTeX RDF
18	Michael Manzke, Brian A. Coghlan	Optimal Performance State Estimation of Compute Systems.	MASCOTS	2005	DBLP DOI BibTeX RDF
18	Dan Dumitriu, Edward W. Knightly, Aleksandar Kuzmanovic, Ion Stoica, Willy Zwaenepoel	Denial-of-service resilience in peer-to-peer file sharing systems.	SIGMETRICS	2005	DBLP DOI BibTeX RDF	file pollution, network-targeted attacks, peer-to-peer, denial of service
18	Florian T. Schneider, Thomas R. Gross	Using Platform-Specific Performance Counters for Dynamic Compilation.	LCPC	2005	DBLP DOI BibTeX RDF
18	Yun-Che Wen	A BIST Scheme for Testing Analog-to-Digital Converters with Digital Response Analyses.	VTS	2005	DBLP DOI BibTeX RDF
18	Nirman Kumar, Viraj Kumar, Mahesh Viswanathan 0001	On the Complexity of Error Explanation.	VMCAI	2005	DBLP DOI BibTeX RDF
18	Michael Liljenstam, David M. Nicol	Comparing Passive and Active Worm Defenses.	QEST	2004	DBLP DOI BibTeX RDF
18	Vicente Casares Giner, Pablo García-Escalle	On the Fractional Movement-Distance Based Scheme for PCS Location Management with Selective Paging.	EuroNGI Workshop	2004	DBLP DOI BibTeX RDF
18	Abhishek Kumar 0003, Minho Sung, Jun (Jim) Xu, Jia Wang 0001	Data streaming algorithms for efficient and accurate estimation of flow size distribution.	SIGMETRICS	2004	DBLP DOI BibTeX RDF	data streaming, network measurement, traffic analysis, statistical inference
18	Giovanni Di Crescenzo, Giuseppe Persiano, Ivan Visconti	Improved Setup Assumptions for 3-Round Resettable Zero Knowledge.	ASIACRYPT	2004	DBLP DOI BibTeX RDF
18	Casper Lageweg, Sorin Cotofana, Stamatis Vassiliadis	Binary Multiplication based on Single Electron Tunneling.	ASAP	2004	DBLP DOI BibTeX RDF
18	Bibhudatta Sahoo 0002, Keshab K. Parhi	A Low Power Correlator for CDMA Wireless Systems.	J. VLSI Signal Process.	2003	DBLP DOI BibTeX RDF	low-power, correlator, CDMA, incrementer
18	Emil Gizdarski, Hideo Fujiwara	Fault Set Partition for Efficient Width Compression.	Asian Test Symposium	2002	DBLP DOI BibTeX RDF
18	Hong Jo Ahn, Mohammed Ismail 0001	GHz programmable dual-modulus prescaler for multi-standard wireless applications.	ISCAS (1)	2002	DBLP DOI BibTeX RDF
18	Elena Trichina, Domenico De Seta, Lucia Germani	Simplified Adaptive Multiplicative Masking for AES.	CHES	2002	DBLP DOI BibTeX RDF
18	Masami Ito, Carlos Martín-Vide, Victor Mitrana	Group weighted finite transducers.	Acta Informatica	2001	DBLP DOI BibTeX RDF
18	Sybille Hellebrand, Huaguo Liang, Hans-Joachim Wunderlich	A Mixed Mode BIST Scheme Based on Reseeding of Folding Counters.	J. Electron. Test.	2001	DBLP DOI BibTeX RDF	store and generate schemes, BIST, deterministic BIST
18	Romit Roy Choudhury, Somprakash Bandyopadhyay, Krishna Paul	A distributed mechanism for topology discovery in ad hoc wireless networks using mobile agents.	MobiHoc	2000	DBLP DOI BibTeX RDF
18	Alain Finkel, Grégoire Sutre	Decidability of Reachability Problems for Classes of Two Counters Automata.	STACS	2000	DBLP DOI BibTeX RDF
18	Bibhudatta Sahoo 0002, Martin Kuhlmann, Keshab K. Parhi	A low-power correlator.	ACM Great Lakes Symposium on VLSI	2000	DBLP DOI BibTeX RDF
18	Ilker Hamzaoglu, Janak H. Patel	Reducing Test Application Time for Built-in-Self-Test Test Pattern Generators.	VTS	2000	DBLP DOI BibTeX RDF	Built-in-Self-Test, Test Generation, Combinational Circuits, Test Application Time, Stuck-at Fault Model
18	Ioannis Voyiatzis, Antonis M. Paschalis, Dimitris Nikolos, Constantin Halatsis	An Accumulator-Based BIST Approach for Two-Pattern Testing.	J. Electron. Test.	1999	DBLP DOI BibTeX RDF	stuck-open fault testing, built-in self test, delay fault testing, two-pattern testing
18	Lea Hwang Lee, Jeff Scott, Bill Moyer, John Arends	Low-Cost Branch Folding for Embedded Applications with Small Tight Loops.	MICRO	1999	DBLP DOI BibTeX RDF
18	Pingying Zeng, Zhigang Mao, Yizheng Ye, Yuliang Deng	Test Pattern Generation for Column Compression Multiplier.	Asian Test Symposium	1998	DBLP DOI BibTeX RDF
18	Klaus Weich	Decision Procedures for Intuitionistic Propositional Logic by Program Extraction.	TABLEAUX	1998	DBLP DOI BibTeX RDF
18	Mohammad Al-Rousan, LeRoy Bearnson, James K. Archibald	The Two-Processor Reliability of Hierarchical Large-Scale Ring-Based Networks.	HICSS (1)	1996	DBLP DOI BibTeX RDF
18	Lynn Choi, Pen-Chung Yew	A compiler-directed cache coherence scheme with improved intertask locality.	SC	1994	DBLP DOI BibTeX RDF
18	Yesh C. Pendarkar	The porting of XINU to the system 370 VM/CMS environment (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	XINU, IBM System/370
18	Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong	Fair Model Checking with Process Counter Abstraction.	FM	2009	DBLP DOI BibTeX RDF
18	Holger Petersen 0001	Simulations by Time-Bounded Counter Machines.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
18	Luís Pinto 0001, Tarmo Uustalu	Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents.	TABLEAUX	2009	DBLP DOI BibTeX RDF
18	Bin Zhou, Yizheng Ye, Zhao-lin Li, Xin-chun Wu, Rui Ke	A new low power test pattern generator using a variable-length ring counter.	ISQED	2009	DBLP DOI BibTeX RDF
18	Naofumi Homma, Takafumi Aoki, Tatsuo Higuchi 0001	A Systematic Approach for Designing Redundant Arithmetic Adders Based on Counter Tree Diagrams.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
18	Debrup Chakraborty, Palash Sarkar 0001	HCH: A New Tweakable Enciphering Scheme Using the Hash-Counter-Hash Approach.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
18	Haiting Tian, Shakith Fernando, Hock Wei Soon, Yajun Ha, Nanguang Chen	Design of a high speed pseudo-random bit sequence based time resolved single photon counter on FPGA.	FPL	2008	DBLP DOI BibTeX RDF
18	Tian Chen, Huaguo Liang, Minsheng Zhang, Wei Wang 0310	A Scheme of Test Pattern Generation Based on Reseeding of Segment-Fixing Counter.	ICYCS	2008	DBLP DOI BibTeX RDF
18	Guohua Wu, Xiaodong Zhou	A Fast Audio Digital Watermark Method Based on Counter-Propagation Neural Networks.	CSSE (3)	2008	DBLP DOI BibTeX RDF
18	Hyung Joo Ki, Bum-Gon Choi, Tae-Jin Lee 0001, Min Young Chung	Fast backoff counter reduction algorithm to enhance the binary negative-exponential backoff algorithm in heterogeneous condition.	ICUIMC	2008	DBLP DOI BibTeX RDF	BNEB, EGDCF, FBCR, WLAN, DCF
18	Naofumi Homma, Katsuhiko Degawa, Takafumi Aoki, Tatsuo Higuchi 0001	Algorithm-Level Optimization of Multiple-Valued Arithmetic Circuits Using Counter Tree Diagrams.	ISMVL	2007	DBLP DOI BibTeX RDF
18	JinKyu Lee 0003, H. Raghav Rao	Citizen centric analysis of anti/counter-terrorism e-government services.	DG.O	2007	DBLP BibTeX RDF
18	Akashi Satoh	High-Speed Parallel Hardware Architecture for Galois Counter Mode.	ISCAS	2007	DBLP DOI BibTeX RDF
18	Wei-Chih Chen, Shi-Jinn Horng, Pingzhi Fan	An Enhanced Anti-collision Algorithm in RFID Based on Counter and Stack.	ICSNC	2007	DBLP DOI BibTeX RDF
18	András Bánhalmi, András Kocsor, Róbert Busa-Fekete	Counter-Example Generation-Based One-Class Classification.	ECML	2007	DBLP DOI BibTeX RDF
18	Richard M. Adler	A Dynamic Social Network Software Platform for Counter-Terrorism Decision Support.	ISI	2007	DBLP DOI BibTeX RDF
18	Aleksandar Kuzmanovic, Edward W. Knightly	Low-rate TCP-targeted denial of service attacks and counter strategies.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	TCP, TCP/IP, denial of service, retransmission timeout
18	Chris Gniady, Ali Raza Butt, Y. Charlie Hu, Yung-Hsiang Lu	Program Counter-Based Prediction Techniques for Dynamic Power Management.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	storage management, Energy-aware systems, hardware/software interfaces
18	Alet Roux, Tomasz Zastawniak	A counter-example to an option pricing formula under transaction costs.	Finance Stochastics	2006	DBLP DOI BibTeX RDF	JEL Classification G11, G13
18	Paul Andrew Watters	e-Learning for policing, intelligence and counter-terrorism: Performance.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
18	Don Radlauer	Rational Choice Deterrence and Israeli Counter-Terrorism.	ISI	2006	DBLP DOI BibTeX RDF
18	Vineetha Kalavally, Tin Win, Malin Premaratne	Crosstalk in Counter-Pumped Distributed Raman Amplifiers with DTDM pumping.	DELTA	2006	DBLP DOI BibTeX RDF