Search results for "Counters"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Vittorio Ferrari, Tinne Tuytelaars, Luc Van Gool	Simultaneous Object Recognition and Segmentation from Single or Multiple Model Views.	Int. J. Comput. Vis.	2006	DBLP DOI BibTeX RDF
9	Liliana Cojocaru	Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
9	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
9	Zhouxuan Teng, Wenliang Du	Comparisons of K-Anonymization and Randomization Schemes under Linking Attacks.	ICDM	2006	DBLP DOI BibTeX RDF
9	Nils Smeds	A PAPI Implementation for BlueGene.	PARA	2006	DBLP DOI BibTeX RDF
9	Edmond Kereku, Michael Gerndt	Automatic Monitoring of Memory Hierarchies in Threaded Applications with AMEBA.	PARA	2006	DBLP DOI BibTeX RDF
9	Alberto Gonzalez Prieto, Rolf Stadler	Distributed Real-Time Monitoring with Accuracy Objectives.	Networking	2006	DBLP DOI BibTeX RDF
9	Nicholas Riley, Craig B. Zilles	Probabilistic counter updates for predictor hysteresis and stratification.	HPCA	2006	DBLP DOI BibTeX RDF
9	Alastair F. Donaldson, Alice Miller 0001	Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives.	ATVA	2006	DBLP DOI BibTeX RDF
9	Eno Thereska, Brandon Salmon, John D. Strunk, Matthew Wachs, Michael Abd-El-Malek, Julio César López-Hernández, Gregory R. Ganger	Stardust: tracking activity in a distributed storage system.	SIGMETRICS/Performance	2006	DBLP DOI BibTeX RDF	Ursa Minor, end-to-end tracing, request causal chain
9	Alex Brodsky, Faith Ellen, Philipp Woelfel	Fully-Adaptive Algorithms for Long-Lived Renaming.	DISC	2006	DBLP DOI BibTeX RDF
9	Christopher K. Nguyen, Anup Kumar	Medium Access Control with Adjustable Sleeps for Wireless Sensor Networks.	ISCC	2006	DBLP DOI BibTeX RDF
9	Selim Gurun, Chandra Krintz	A run-time, feedback-based energy estimation model For embedded devices.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	battery monitoring unit, battery powered devices, power and energy estimation, power modeling
9	Marcin Gorawski, Michal Gorawski	Balanced Spatio-Temporal Data Warehouse with R-MVB, STCAT and BITMAP Indexes.	PARELEC	2006	DBLP DOI BibTeX RDF
9	David A. Cape, Bruce M. McMillin, James K. Townsend	Model Checking Control Communication of a FACTS Device.	ICPP Workshops	2006	DBLP DOI BibTeX RDF	lossy, model-checking, communication, verification, real-time, protocol, control, FACTS
9	Mingzhong Zhou, Jian Gong, Wei Ding 0001	A New Algorithm for Long Flows Statistics-MGCBF.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
9	Tali Treibitz, Yoav Y. Schechner	Instant 3Descatter.	CVPR (2)	2006	DBLP DOI BibTeX RDF
9	Kiyoto Ito, Tadashi Shibata	A time-domain gradient-detection architecture for VLSI analog motion sensors.	ISCAS	2006	DBLP DOI BibTeX RDF
9	Walter Binder, Jarle Hulaas, Philippe Moret	A Quantitative Evaluation of the Contribution of Native Code to Java Workloads.	IISWC	2006	DBLP DOI BibTeX RDF
9	Wessam Hassanein, Moustafa A. Hammad, Layali K. Rashid	Characterizing the Performance of Data Management Systems on Hyper-Threaded Architectures.	SBAC-PAD	2006	DBLP DOI BibTeX RDF
9	Omar I. Khan, Michael L. Bushnell	Aliasing Analysis of Spectral Statistical Response Compaction Techniques.	VLSI Design	2006	DBLP DOI BibTeX RDF
9	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
9	Saisanthosh Balakrishnan, Gurindar S. Sohi	Program Demultiplexing: Data-flow based Speculative Parallelization of Methods in Sequential Programs.	ISCA	2006	DBLP DOI BibTeX RDF
9	Jedidiah R. Crandall, Gary Wassermann, Daniela Alvim Seabra de Oliveira, Zhendong Su 0001, Shyhtsun Felix Wu, Frederic T. Chong	Temporal search: detecting hidden malware timebombs with virtual machines.	ASPLOS	2006	DBLP DOI BibTeX RDF	virtual machines, malware, worms
9	Amit Kumar 0002, Li Shang, Li-Shiuan Peh, Niraj K. Jha	HybDTM: a coordinated hardware-software approach for dynamic thermal management.	DAC	2006	DBLP DOI BibTeX RDF	hybrid hardware-software management, thermal model, dynamic thermal management
9	Shekhar Borkar, Robert W. Brodersen, Jue-Hsien Chern, Eric Naviasky, D. Saias, Charles G. Sodini	Tomorrow's analog: just dead or just different?	DAC	2006	DBLP DOI BibTeX RDF	analog CAD tools, analog design methodologies, mixed-signal design, analog design, RF design
9	Miron Abramovici, Paul Bradley, Kumar N. Dwarakanath, Peter Levin, Gérard Memmi, Dave Miller	A reconfigurable design-for-debug infrastructure for SoCs.	DAC	2006	DBLP DOI BibTeX RDF	assertion-based debug, at-speed debug, what-if experiments, silicon debug
9	Mayur Palankar, Jonathan E. Cook	Merging traces of hardware-assisted data breakpoints.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
9	Michael B. Taylor, Walter Lee, Saman P. Amarasinghe, Anant Agarwal	Scalar Operand Networks.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	microprocessors, distributed architectures, Interconnection architectures
9	Anna C. Gilbert, Yannis Kotidis, S. Muthukrishnan 0001, Martin Strauss 0001	Domain-Driven Data Synopses for Dynamic Quantiles.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	database statistics, data streams, Quantiles
9	Scott Davidson 0001	BIST the hard way.	IEEE Des. Test Comput.	2005	DBLP DOI BibTeX RDF	N-detection, scan BIST, built-in self-test, logic, IC, mixed-signal BIST
9	Gabriel H. Loh	A Simple Divide-and-Conquer Approach for Neural-Class Branch Prediction.	IEEE PACT	2005	DBLP DOI BibTeX RDF
9	Erez Perelman, Trishul M. Chilimbi, Brad Calder	Variational Path Profiling.	IEEE PACT	2005	DBLP DOI BibTeX RDF
9	Hidetaka Matsumura, Keishi Tajima	Incremental evaluation of a monotone XPath fragment.	CIKM	2005	DBLP DOI BibTeX RDF	XML, query, XPath, continuous, view, materialized view, view maintenance, incremental evaluation
9	Alok Shriram, Margaret Murray, Young Hyun, Nevil Brownlee, Andre Broido, Marina Fomenkov, Kimberly C. Claffy	Comparison of Public End-to-End Bandwidth Estimation Tools on High-Speed Links.	PAM	2005	DBLP DOI BibTeX RDF
9	Evangelos Koukis, Nectarios Koziris	Memory Bandwidth Aware Scheduling for SMP Cluster Nodes.	PDP	2005	DBLP DOI BibTeX RDF
9	Andrew Over, Peter E. Strazdins, Bill Clarke	Cycle Accurate Memory Modelling: A Case-Study in Validation.	MASCOTS	2005	DBLP DOI BibTeX RDF
9	Wei Huang 0032, Jiang Lin, Zhao Zhang 0010, J. Morris Chang	Towards Pairing Java Applications on SMT Processors.	MASCOTS	2005	DBLP DOI BibTeX RDF
9	Jiejun Kong, Xiaoyan Hong, Yunjung Yi, Joon-Sang Park, Jun Liu 0009, Mario Gerla	A secure ad-hoc routing approach using localized self-healing communities.	MobiHoc	2005	DBLP DOI BibTeX RDF	community-based security, self-healing ad hoc routing
9	Matthew Curtis-Maury, Tanping Wang	Integrating Multiple Forms of Multithreaded Execution on multi-SMT Systems: A Study with Scientific Applications.	QEST	2005	DBLP DOI BibTeX RDF
9	David Hiniker, Kim M. Hazelwood, Michael D. Smith 0001	Improving Region Selection in Dynamic Optimization Systems.	MICRO	2005	DBLP DOI BibTeX RDF
9	Craig B. Zilles, Naveen Neelakantam	Reactive Techniques for Controlling Software Speculation.	CGO	2005	DBLP DOI BibTeX RDF
9	Faith Ellen Fich, Danny Hendler, Nir Shavit	Linear Lower Bounds on Real-World Implementations of Concurrent Objects.	FOCS	2005	DBLP DOI BibTeX RDF
9	Nacer-Eddine Zergainoh, Katalin Popovici, Ahmed Amine Jerraya, Pascal Urard	IP-block-based design environment for high-throughput VLSI dedicated digital signal processing systems.	ASP-DAC	2005	DBLP DOI BibTeX RDF
9	Philip Mucci, Daniel Ahlin, Johan Danielsson, Per Ekman, Lars Malinowski	PerfMiner: Cluster-Wide Collection, Storage and Presentation of Application Level Hardware Performance Data.	Euro-Par	2005	DBLP DOI BibTeX RDF
9	Erik Berg, Erik Hagersten	Fast data-locality profiling of native execution.	SIGMETRICS	2005	DBLP DOI BibTeX RDF	cache behavior, profiling tool
9	Abhishek Kumar 0003, Minho Sung, Jun (Jim) Xu, Ellen W. Zegura	A data streaming algorithm for estimating subpopulation flow size distribution.	SIGMETRICS	2005	DBLP DOI BibTeX RDF	flow statistics, data streaming, EM algorithm, traffic analysis, statistical inference
9	Angel M. Gómez Argüello, João Navarro Jr., Wilhelmus A. M. Van Noije	A 3.5 mW programmable high speed frequency divider for a 2.4 GHz CMOS frequency synthesizer.	SBCCI	2005	DBLP DOI BibTeX RDF	high speed digital circuit, low power, prescaler, frequency synthesizer
9	Michael Gerndt, Tianchao Li	Automated Analysis of Memory Access Behavior.	IPDPS	2005	DBLP DOI BibTeX RDF
9	Luís Veiga, Paulo Ferreira 0001	Asynchronous Complete Distributed Garbage Collection.	IPDPS	2005	DBLP DOI BibTeX RDF
9	Erez Zadok, Sean Callanan, Abhishek Rai, Gopalan Sivathanu, Avishay Traeger	Efficient and Safe Execution of User-Level Code in the Kernel.	IPDPS	2005	DBLP DOI BibTeX RDF
9	Andy Georges, Lieven Eeckhout, Koen De Bosschere	Comparing Low-Level Behavior of SPEC CPU and Java Workloads.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF
9	Phil McMinn, Mike Holcombe	Evolutionary testing of state-based programs.	GECCO	2005	DBLP DOI BibTeX RDF	chaining approach, state-based programs, evolutionary testing, automated test data generation
9	Jie Tao 0001, Wolfgang Karl	CacheIn: A Toolset for Comprehensive Cache Inspection.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
9	E. Allen Emerson, Thomas Wahl	Dynamic Symmetry Reduction.	TACAS	2005	DBLP DOI BibTeX RDF
9	Martin Schulz 0001, Brian S. White, Sally A. McKee, Hsien-Hsin S. Lee, Jürgen Jeitner	Owl: next generation system monitoring.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	autonomous performance monitoring, performance analysis, reconfiguration
9	Afshin Shiravi, Yoon G. Kim, Paul S. Min	Proportional Nested Deficit Round Robin: Improving the Latency of Packet Scheduler with an O(1) Complexity.	AAA-IDEA	2005	DBLP DOI BibTeX RDF	Nested- DRR, Quantum Size, Complexity, Packet switch, Fair queueing, Deficit Round Robin
9	Haleh Najafzadeh, Seth Chaiken	Towards a framework for source code instrumentation measurement validation.	WOSP	2005	DBLP DOI BibTeX RDF
9	François Gygi, Robert K. Yates, Juergen Lorenz, Erik W. Draeger, Franz Franchetti, Christoph W. Ueberhuber, Bronis R. de Supinski, Stefan Kral, John A. Gunnels, James C. Sexton	Large-Scale First-Principles Molecular Dynamics simulations on the BlueGene/L Platform using the Qbox code.	SC	2005	DBLP DOI BibTeX RDF	Electronic structure, Ab initio simulations, First-principles simulations, BlueGene/L, Parallel computing, Molecular Dynamics
9	Parosh Aziz Abdulla	Verification of Parameterized Timed Systems.	FORMATS	2005	DBLP DOI BibTeX RDF
9	Mark Moir, Daniel Nussbaum, Ori Shalev, Nir Shavit	Using elimination to implement scalable and lock-free FIFO queues.	SPAA	2005	DBLP DOI BibTeX RDF	scalability, multiprocessors, lock-free, linearizability, nonblocking synchronization, FIFO queues, elimination
9	Kenji Yoshigoe	Rate-based Flow-control for the CICQ Switch.	LCN	2005	DBLP DOI BibTeX RDF
9	David G. Richardson, Werner Krandick	Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library.	CASC	2005	DBLP DOI BibTeX RDF
9	K. V. Seshu Kumar	When and what to compile/optimize in a virtual machine?	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	relative estimation for hotness detection, selective compilation, tier compilation, online profiling
9	Danielle Wilde, Sophie Birkmayer	Dress and Ange: coercing the address of highly personal body-centric issues.	Pers. Ubiquitous Comput.	2004	DBLP DOI BibTeX RDF	Intimacy in the public domain, Humour, Seduction through design, Mechanical vs. digital, Flex sensors, Wearable, Touch, Interactive interface
9	Jeff Sauro	Premium usability: getting the discount without paying the price.	Interactions	2004	DBLP DOI BibTeX RDF
9	Violeta Gambiroza, Ping Yuan, Laura Balzano, Yonghe Liu, Steve Sheafor, Edward W. Knightly	Design, analysis, and implementation of DVSR: a fair high-performance protocol for packet rings.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	metro rings, scheduling, fairness, dynamic bandwidth allocation
9	Eunseok Song, Young-Kil Park, Soon Kwon, Soo-Ik Chae	A Cycle-Accurate Energy Estimator for CMOS Digital Circuits.	PATMOS	2004	DBLP DOI BibTeX RDF
9	Surajit Chaudhuri, Arnd Christian König, Vivek R. Narasayya	SQLCM: A Continuous Monitoring Framework for Relational Database Engines.	ICDE	2004	DBLP DOI BibTeX RDF
9	Harish Patil, Robert S. Cohn, Mark Charney, Rajiv Kapoor, Andrew Sun, Anand Karunanidhi	Pinpointing Representative Portions of Large Intel® Itanium® Programs with Dynamic Instrumentation.	MICRO	2004	DBLP DOI BibTeX RDF
9	Murali Annavaram, Ryan N. Rakvic, Marzia Polito, Jean-Yves Bouguet, Richard A. Hankins, Bob Davies	The Fuzzy Correlation between Code and Performance Predictability.	MICRO	2004	DBLP DOI BibTeX RDF
9	Jérôme Leroux	Disjunctive Invariants for Numerical Systems.	ATVA	2004	DBLP DOI BibTeX RDF
9	Jie Tao 0001, Josef Weidendorfer	Cache Simulation Based on Runtime Instrumentation for OpenMP Applications.	Annual Simulation Symposium	2004	DBLP DOI BibTeX RDF
9	Stephen M. Blackburn, Perry Cheng, Kathryn S. McKinley	Myths and realities: the performance impact of garbage collection.	SIGMETRICS	2004	DBLP DOI BibTeX RDF	semi-space, java, generational, reference counting, mark-sweep
9	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
9	Gabriel Marin, John M. Mellor-Crummey	Cross-architecture performance predictions for scientific applications using parameterized models.	SIGMETRICS	2004	DBLP DOI BibTeX RDF	modeling, performance analysis, prediction
9	Marc Böhlen, J. T. Rinker	When code is content: experiments with a whistling machine.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	communication beyond language boundaries, situation design, whistle synthesis, whistled languages
9	Yoshinori Kitatsuji, Katsuyuki Yamazaki	A Distributed Real-Time Tool for IP-Flow Measurement.	SAINT	2004	DBLP DOI BibTeX RDF
9	Nema Elfaramawy, Amira Awad	All-optical logic circuits based on the nonlinear properties of the semiconductor optical amplifier.	ISCC	2004	DBLP DOI BibTeX RDF
9	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Race checking by context inference.	PLDI	2004	DBLP DOI BibTeX RDF	software model checking, race conditions
9	Nigel Martin, Shirley Gregor, Dennis Hart	Using a common architecture in Australian e-Government: the case of smart service Queensland.	ICEC	2004	DBLP DOI BibTeX RDF	scalability, architecture, trust, robustness, standardization, service, system, J2EE, business, electronic, smart
9	Katsuhiko Degawa, Takafumi Aoki, Tatsuo Higuchi 0001, Hiroshi Inokawa, Yasuo Takahashi	A Single-Electron-Transistor Logic Gate Family and Its Application - Part I: Basic Components for Binary, Multiple-Valued and Mixed-Mode Logic.	ISMVL	2004	DBLP DOI BibTeX RDF
9	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
9	Josef Weidendorfer, Markus Kowarschik, Carsten Trinitis	A Tool Suite for Simulation Based Analysis of Memory Access Behavior.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	Runtime Instrumentation, Visualization, Cache Simulation
9	D. Tsifakis, Alistair P. Rendell, Peter E. Strazdins	Cache Oblivious Matrix Transposition: Simulation and Experiment.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
9	Dana Angluin, James Aspnes, Zoë Diamadi, Michael J. Fischer, René Peralta 0001	Computation in networks of passively mobile finite-state sensors.	PODC	2004	DBLP DOI BibTeX RDF	finite-state agent, intermittent communication, stable computation, mobile agent, diffuse computation, sensor net
9	Yu-Chiang Li, Chin-Chen Chang 0001	A New FP-Tree Algorithm for Mining Frequent Itemsets.	AWCC	2004	DBLP DOI BibTeX RDF
9	Casper Lageweg, Sorin Cotofana, Stamatis Vassiliadis	Binary Multiplication based on Single Electron Tunneling.	ASAP	2004	DBLP DOI BibTeX RDF
9	Toshiro Minami	Needs and Benefits of Massively Multi Book Agent Systems for u-Libraries.	MMAS	2004	DBLP DOI BibTeX RDF
9	Omar I. Khan, Michael L. Bushnell	Spectral Analysis for Statistical Response Compaction During Built-In Self-Testing.	ITC	2004	DBLP DOI BibTeX RDF
9	Manikandan Narayanan, Richard M. Karp	Gapped Local Similarity Search with Provable Guarantees.	WABI	2004	DBLP DOI BibTeX RDF
9	Bryan Roger Buck, Jeffrey K. Hollingsworth	Data Centric Cache Measurement on the Intel ltanium 2 Processor.	SC	2004	DBLP DOI BibTeX RDF
9	V. Bacarella, Fosca Giannotti, Mirco Nanni, Dino Pedreschi	Discovery of ads web hosts through traffic data analysis.	DMKD	2004	DBLP DOI BibTeX RDF
9	Achour Mostéfaoui, Michel Raynal, Corentin Travers	Crash-Resilient Time-Free Eventual Leadership.	SRDS	2004	DBLP DOI BibTeX RDF	Time-free Protocol, Fault tolerance, Distributed algorithm, Asynchronous system, Process crash, Leader
9	Oscal T.-C. Chen, Sandy Wang, Yi-Wen Wu	Minimization of switching activities of partial products for designing low-power multipliers.	IEEE Trans. Very Large Scale Integr. Syst.	2003	DBLP DOI BibTeX RDF
9	Kent L. Beck, Barry W. Boehm	Agility through Discipline: A Debate.	Computer	2003	DBLP DOI BibTeX RDF
9	Zhiyuan Yan, Dilip V. Sarwate	New Systolic Architectures for Inversion and Division in GF(2^m).	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	field arithmetic, Finite fields, division, inversion, systolic, extended Euclidean algorithm
9	Takafumi Aoki, Naofumi Homma, Tatsuo Higuchi 0001	Evolutionary Synthesis of Arithmetic Circuit Structures.	Artif. Intell. Rev.	2003	DBLP DOI BibTeX RDF	genetic algorithms, genetic programming, evolutionary computation, multiple-valued logic, arithmetic circuits, evolutionary design, circuit design
9	Carlo Tomasi, Abbas Rafii, Ilhami Torunoglu	Full-size projection keyboard for handheld devices.	Commun. ACM	2003	DBLP DOI BibTeX RDF
9	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