Search results for "Counters"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	I. M. Premachandra, Liliana González	An exact solution to a class of queueing systems with multipurpose counters.	Comput. Oper. Res.	1994	DBLP DOI BibTeX RDF
16	Douglas W. Clark, Lih-Jyh Weng	Maximal and Near-Maximal Shift Register Seqyences: Efficient Event Counters and Easy Discrete Logarithms.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF
16	Evangelos P. Markatos, Catherine E. Chronaki	Using Reference Counters in Update-Based Coherent Memory.	PARLE	1994	DBLP DOI BibTeX RDF
16	Jo C. Ebergen, Ad M. G. Peeters	Design and Analysis of Delay-Insensitive Modulo-N Counters.	Formal Methods Syst. Des.	1993	DBLP DOI BibTeX RDF
16	Anastasios Vergis	On the multiple-fault testability of generalized counters.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
16	Alice M. Tokarnia	Minimal Shift Counters and Frequency Division.	DAC	1993	DBLP DOI BibTeX RDF
16	Christian Neusius	Adapting synchronization counters to the requirements of inheritance.	OOPS Messenger	1992	DBLP DOI BibTeX RDF
16	Enrico Macii, Bernard Plessier, Fabio Somenzi	Verification of systems containing counters.	ICCAD	1992	DBLP DOI BibTeX RDF
16	Jo C. Ebergen, Ad M. G. Peeters	Modulo-N Counters: Design and Analysis of Delay-Insensitive Circuits.	Designing Correct Circuits	1992	DBLP BibTeX RDF
16	Christian Neusius	Adapting synchronization counters to the requirements of inheritance.	OOPS Messenger	1991	DBLP DOI BibTeX RDF
16	Selim G. Akl, Thibault Duboux, Ivan Stojmenovic	Constant Delay Parallel Counters.	Parallel Process. Lett.	1991	DBLP DOI BibTeX RDF
16	Luc Devroye	Limit Laws for Local Counters in Random Binary Search Tree.	Random Struct. Algorithms	1991	DBLP DOI BibTeX RDF
16	Oscar H. Ibarra, Tao Jiang 0001	The Power of Alternating One-Reversal Counters and Stacks.	SIAM J. Comput.	1991	DBLP DOI BibTeX RDF
16	Stéphane Grumbach, Christophe Tollu	The Generic Complexity of Query Languages with Counters (Extended Abstract).	FMLDO	1991	DBLP BibTeX RDF
16	Jean Vuillemin	Constant time arbitrary length synchronous binary counters.	IEEE Symposium on Computer Arithmetic	1991	DBLP DOI BibTeX RDF
16	Douglas M. Grant, Peter B. Denyer	Address Generation for array access based on modulus m counters.	EURO-DAC	1991	DBLP BibTeX RDF
16	Gita Gopal, Nancy D. Griffeth, Abel Weinrib	Distributed Implementation of Real-Time Resource Counters.	INFOCOM	1991	DBLP DOI BibTeX RDF
16	Stefan Rönn, Heikki Saikkonen	Distributed Termination Detection with Counters.	Inf. Process. Lett.	1990	DBLP DOI BibTeX RDF
16	Tat-hung Chan	Pushdown Automata with Reversal-Bounded Counters.	J. Comput. Syst. Sci.	1988	DBLP DOI BibTeX RDF
16	Rainer Amann, Bernhard Eschermann, Utz G. Baitinger	PLA based finite state machines using Johnson counters as state memories.	ICCD	1988	DBLP DOI BibTeX RDF
16	Abhijit Chatterjee, Jacob A. Abraham	On the C-Testability of Generalized Counters.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1987	DBLP DOI BibTeX RDF
16	Behrooz Parhami	Systolic up/down counters with zero and sign detection.	IEEE Symposium on Computer Arithmetic	1987	DBLP DOI BibTeX RDF
16	A. C. Maan	Data transfer from Beckman LS 5800 liquid scintillation counters to IBM personal computers.	Comput. Appl. Biosci.	1985	DBLP DOI BibTeX RDF
16	Noriaki Muranaka, Shigeru Imanishi	Construction of up-down-type and shift-register-type counters using ternary flip-flop circuits.	Syst. Comput. Jpn.	1985	DBLP DOI BibTeX RDF
16	David C. Chu	Calibration of Systematic Errors in Precision Time-Interval Counters.	ITC	1985	DBLP BibTeX RDF
16	Satoru Miyano	Remarks on Two-Way Automata with Weak-Counters.	Inf. Process. Lett.	1984	DBLP DOI BibTeX RDF
16	Tinko Tinchev, Dimiter Vakarelov	Propositional dynamic logics with counters and stacks.	Symposium on Computation Theory	1984	DBLP DOI BibTeX RDF
16	Sebastián Dormido 0001, M. A. Canto	Synthesis of Generalized Parallel Counters.	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF
16	Ira R. Forman	On the Time Overhead of Counters and Traversal Markers.	ICSE	1981	DBLP BibTeX RDF
16	Luigi Dadda	Composite Parallel Counters.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF
16	John E. Hershey	Comma-free synchronization of binary counters (Corresp.).	IEEE Trans. Inf. Theory	1979	DBLP DOI BibTeX RDF
16	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
16	Marc Davio, G. Bioul	Interconnection Structure of Injective Counters Composed Entirely of JK Flip-Flps	Inf. Control.	1977	DBLP DOI BibTeX RDF
16	Frank B. Manning, Robert Fenichel	Synchronous Counters Constructed Entirely of J-K Flip-Flops.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF
16	Klaus Weihrauch	Program Schemata with Polynomial Bounded Counters.	Inf. Process. Lett.	1975	DBLP DOI BibTeX RDF
16	Burkhard Monien	Relationships between Pushdown Automata with Counters and Complexity Classes.	Math. Syst. Theory	1975	DBLP DOI BibTeX RDF
16	Eric J. Van Lantschoot, Joos Vandewalle	Design of Weighted Counters with Rational Scale Using Continued Fraction Expansion.	IEEE Trans. Computers	1974	DBLP DOI BibTeX RDF
16	Earl E. Swartzlander Jr.	Parallel Counters.	IEEE Trans. Computers	1973	DBLP DOI BibTeX RDF
16	Kenneth H. O'Keefe	Modularity in Design: Skit Registers and Counters Used as System Building Blocks.	IEEE Trans. Computers	1973	DBLP DOI BibTeX RDF
16	Robert C. Dorr	Self-Checking Combinational Logic Binary Counters.	IEEE Trans. Computers	1972	DBLP DOI BibTeX RDF
16	Tiko Kameda	Pushdown Automata with Counters.	J. Comput. Syst. Sci.	1972	DBLP DOI BibTeX RDF
16	David A. Plaisted	Flowchart Schemata with Counters	STOC	1972	DBLP DOI BibTeX RDF
16	Joseph S. Byrd	Variable-Mode Counting with Straight Binary Counters.	IEEE Trans. Computers	1971	DBLP DOI BibTeX RDF
16	Irving S. Reed, Albert C. L. Chiang	Coding Techniques for Failure-Tolerant Counters.	IEEE Trans. Computers	1970	DBLP DOI BibTeX RDF
16	Jochen Beister	On the Implementation of Failure-Tolerant Counters.	IEEE Trans. Computers	1968	DBLP DOI BibTeX RDF
16	Richard Y. Kain	Synthesis of UP-DOWN Counters.	IEEE Trans. Electron. Comput.	1967	DBLP DOI BibTeX RDF
16	John S. Bailey	Generalized Single-Ended Counters.	J. ACM	1966	DBLP DOI BibTeX RDF
16	J. E. Olivares	Synthesis of Nonconstant Weight Binary Codes for Minimum Diode Counters.	IEEE Trans. Electron. Comput.	1965	DBLP DOI BibTeX RDF
16	Roy L. Russo	Synthesis of Error-Tolerant Counters Using Minimum Distance Three State Assignments.	IEEE Trans. Electron. Comput.	1965	DBLP DOI BibTeX RDF
16	I. Brcic	"Ideally Fast" Decimal Counters with Bistables.	IEEE Trans. Electron. Comput.	1965	DBLP DOI BibTeX RDF
16	Charles H. Gustafson, Donald R. Haring, Alfred K. Susskind, Thomas G. Wills-Sanford	Synthesis of counters with threshold elements	SWCT	1965	DBLP DOI BibTeX RDF
16	Mitchell P. Marcus	Cascaded Binary Counters with Feedback.	IEEE Trans. Electron. Comput.	1963	DBLP DOI BibTeX RDF
16	John S. Bailey, George Epstein	Single Function Shifting Counters.	J. ACM	1962	DBLP DOI BibTeX RDF
16	Robert C. Brigham	Some Properties of Binary Counters with Feedback.	IRE Trans. Electron. Comput.	1961	DBLP DOI BibTeX RDF
16	William H. Kautz	Constant-Weight Counters and Decoding Trees.	IRE Trans. Electron. Comput.	1960	DBLP DOI BibTeX RDF
16	Frederick H. Young	Analysis of Shift Register Counters.	J. ACM	1958	DBLP DOI BibTeX RDF
16	Marcel J. E. Golay	The Logic of Bidirectional Binary Counters.	IRE Trans. Electron. Comput.	1957	DBLP DOI BibTeX RDF
16	James E. Robertson	Odd Binary Asynchronous Counters.	IRE Trans. Electron. Comput.	1956	DBLP DOI BibTeX RDF
16	R. M. Brown	Some Notes on Logical Binary Counters.	IRE Trans. Electron. Comput.	1955	DBLP DOI BibTeX RDF
16	R. Stuart Mackay, R. MacIntyre	Ternary Counters.	IRE Trans. Electron. Comput.	1955	DBLP DOI BibTeX RDF
9	Jiaqing Du, Nipun Sehrawat, Willy Zwaenepoel	Performance profiling of virtual machines.	VEE	2011	DBLP DOI BibTeX RDF
9	Ruslan Nikolaev 0001, Godmar Back	Perfctr-Xen: a framework for performance counter virtualization.	VEE	2011	DBLP DOI BibTeX RDF
9	Michael Haupt, Michael Perscheid, Robert Hirschfeld, Lysann Kessler, Thomas Klingbeil, Stephanie Platz, Frank Schlegel, Philipp Tessenow	PhidgetLab: crossing the border from virtual to real-world objects.	ITiCSE	2010	DBLP DOI BibTeX RDF	etoys, phidgetlab, phidgets, squeak, design thinking
9	Oren Laadan, Nicolas Viennot, Jason Nieh	Transparent, lightweight application execution replay on commodity multiprocessor operating systems.	SIGMETRICS	2010	DBLP DOI BibTeX RDF	record-replay, fault-tolerance, debugging, virtualization
9	Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Türkoglu	Traceable data types for self-adjusting computation.	PLDI	2010	DBLP DOI BibTeX RDF	traceable data types, self-adjusting computation
9	Jamin Naghmouchi, Daniele Paolo Scarpazza, Mladen Berekovic	Small-ruleset regular expression matching on GPGPUs: quantitative performance analysis and optimization.	ICS	2010	DBLP DOI BibTeX RDF
9	Georgios Keramidas, Vasileios Spiliopoulos, Stefanos Kaxiras	Interval-based models for run-time DVFS orchestration in superscalar processors.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	performance and power modeling, superscalar out-of-order processors, dynamic voltage and frequency scaling
9	Sunpyo Hong, Hyesoon Kim	An integrated GPU power and performance model.	ISCA	2010	DBLP DOI BibTeX RDF	GPU architecture, performance, energy, analytical model, CUDA, power estimation
9	Stéphane Demri, Ranko Lazic 0001	LTL with the freeze quantifier and register automata.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Computational complexity, expressiveness
9	Stefan Heinz 0001, Martin Sachenbacher	Using Model Counting to Find Optimal Distinguishing Tests.	CPAIOR	2009	DBLP DOI BibTeX RDF
9	Zhenyu Liu, Weijun Li, Yue Lai	Application of Bloom Filter for GTP Stateful Inspection in Network Processor.	IAS	2009	DBLP DOI BibTeX RDF
9	Meiqin Wang, Jorge Nakahara Jr., Yue Sun	Cryptanalysis of the Full MMB Block Cipher.	Selected Areas in Cryptography	2009	DBLP DOI BibTeX RDF	MMB block cipher, square cryptanalysis, differential cryptanalysis, modular multiplication, linear cryptanalysis
9	Roberto Gomperts, Michael J. Frisch, Jean-Pierre Panziera	Scalability of Gaussian 03 on SGI Altix: The Importance of Data Locality on CC-NUMA Architecture.	IWOMP	2009	DBLP DOI BibTeX RDF	Gaussian 03, SGI Altix, OpenMP, memory latency, CC-NUMA
9	Siddharth Choudhuri, Tony Givargis	FlashBox: a system for logging non-deterministic events in deployed embedded systems.	SAC	2009	DBLP DOI BibTeX RDF
9	Heinz Bast	Parallelism in Current and Future Processors - Challenges and Support for Designing Optimal Algorithms.	SEA	2009	DBLP DOI BibTeX RDF
9	Christophe Dubach, Timothy M. Jones 0001, Edwin V. Bonilla, Grigori Fursin, Michael F. P. O'Boyle	Portable compiler optimisation across embedded programs and microarchitectures using machine learning.	MICRO	2009	DBLP DOI BibTeX RDF	architecture/compiler co-design, machine learning, design-space exploration
9	Mohit Tiwari, Xun Li 0001, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood	Execution leases: a hardware-supported mechanism for enforcing strong non-interference.	MICRO	2009	DBLP DOI BibTeX RDF	gate level information flow tracking, covert channels, high assurance systems, timing channels
9	Wael Adi, Nizar Kassab	Hardware architecture for trustable vehicular electronic control units.	IWCMC	2009	DBLP DOI BibTeX RDF	clone-resistant identity, vehicular security, identification
9	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
9	Pradeep Rao, Kazuaki J. Murakami	Empirical Performance Models for Java Workloads.	ARCS	2009	DBLP DOI BibTeX RDF
9	Pingjing Lu, Yonggang Che, Zhenghua Wang	A Framework for Effective Memory Optimization of High Performance Computing Applications.	HPCC	2009	DBLP DOI BibTeX RDF
9	Wouter Gelade, Marc Gyssens, Wim Martens	Regular Expressions with Counting: Weak versus Strong Determinism.	MFCS	2009	DBLP DOI BibTeX RDF
9	John Cieslewicz, William Mee, Kenneth A. Ross	Cache-conscious buffering for database operators with state.	DaMoN	2009	DBLP DOI BibTeX RDF
9	Kyuyong Shin, Douglas S. Reeves, Injong Rhee	Treat-before-trick : Free-riding prevention for BitTorrent-like peer-to-peer networks.	IPDPS	2009	DBLP DOI BibTeX RDF
9	Juan Gonzalez, Judit Giménez, Jesús Labarta	Automatic detection of parallel applications computation phases.	IPDPS	2009	DBLP DOI BibTeX RDF
9	Shih-wei Liao, Tzu-Han Hung, Donald Nguyen, Hucheng Zhou, Chinyen Chou, Chia-Heng Tu	Prefetch optimizations on large-scale applications via parameter value prediction.	ICS	2009	DBLP DOI BibTeX RDF	data center applications, machine learning
9	Marius Bozga, Codruta Gîrlea, Radu Iosif	Iterating Octagons.	TACAS	2009	DBLP DOI BibTeX RDF
9	Gunwoo Nam, Pushkar Patankar, Seung-Hwan Lim, Bikash Sharma, George Kesidis, Chita R. Das	Clock-like Flow Replacement Schemes for Resilient Flow Monitoring.	ICDCS	2009	DBLP DOI BibTeX RDF
9	Chia-Wei Chang, Seungjoon Lee, Bill Lin 0001, Jia Wang 0001	The Taming of the Shrew: Mitigating Low-Rate TCP-Targeted Attack.	ICDCS	2009	DBLP DOI BibTeX RDF
9	Shih-wei Liao, Tzu-Han Hung, Donald Nguyen, Chinyen Chou, Chia-Heng Tu, Hucheng Zhou	Machine learning-based prefetch optimization for data center applications.	SC	2009	DBLP DOI BibTeX RDF
9	Abhishek Bhattacharjee, Margaret Martonosi	Thread criticality predictors for dynamic performance, power, and resource management in chip multiprocessors.	ISCA	2009	DBLP DOI BibTeX RDF	intel tbb, thread criticality prediction, parallel processing, caches, dvfs
9	Yangchun Luo, Venkatesan Packirisamy, Wei-Chung Hsu, Antonia Zhai, Nikhil Mungre, Ankit Tarkas	Dynamic performance tuning for speculative threads.	ISCA	2009	DBLP DOI BibTeX RDF	parallelism, multicore, dynamic optimization, thread-level speculation
9	Tomas Tuma, Sean Rooney, Paul Hurley	On the Applicability of Compressive Sampling in Fine Grained Processor Performance Monitoring.	ICECCS	2009	DBLP DOI BibTeX RDF
9	Marek Olszewski, Jason Ansel, Saman P. Amarasinghe	Kendo: efficient deterministic multithreading in software.	ASPLOS	2009	DBLP DOI BibTeX RDF	deterministic multithreading, parallel programming, debugging, multicore, determinism
9	Igor Timko, Michael H. Böhlen, Johann Gamper	Sequenced spatio-temporal aggregation in road networks.	EDBT	2009	DBLP DOI BibTeX RDF
9	Laura Kovács, Andrei Voronkov	Finding Loop Invariants for Programs over Arrays Using a Theorem Prover.	FASE	2009	DBLP DOI BibTeX RDF
9	George Nagy, Bryan Clifford, Andrew Berg, Glenn Saunders, Daniel P. Lopresti, Elisa H. Barney Smith	Camera-Based Ballot Counter.	ICDAR	2009	DBLP DOI BibTeX RDF
9	Danny Hendler, Nir Shavit	Solo-valency and the cost of coordination.	Distributed Comput.	2008	DBLP DOI BibTeX RDF
9	Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld	Sequentially consistent versus linearizable counting networks.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Balancing networks, Inconsistency fractions, Sequential consistency, Linearizability, Counting networks
9	Bill Lin 0001, Jun (Jim) Xu	DRAM is plenty fast for wirespeed statistics counting.	SIGMETRICS Perform. Evaluation Rev.	2008	DBLP DOI BibTeX RDF