|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 802 occurrences of 561 keywords
|
|
|
Results
Found 1142 publication records. Showing 1142 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
88 | Ajay Kumar Verma, Paolo Ienne |
Automatic synthesis of compressor trees: reevaluating large counters. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
86 | Zhaojun Wo, Israel Koren |
Synthesis of Saturating Counters Using Traditional and Non-Traditional Basic Counters. |
IEEE Symposium on Computer Arithmetic |
2005 |
DBLP DOI BibTeX RDF |
|
80 | 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 |
79 | 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 |
70 | Haroon Malik |
A methodology to support load test analysis. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
principal component analysis, automation, counters, performance counters, load test |
70 | 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 |
69 | Sreehari Veeramachaneni, Lingamneni Avinash, Kirthi M. Krishna, M. B. Srinivas |
Novel architectures for efficient (m, n) parallel counters. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
low power, multiplexer, high speed, parallel counters |
68 | Hideaki Kobayashi, Hiroyoshi Ohara |
A Synthesizing Method for Large Parallel Counters with a Network of Smaller Ones. |
IEEE Trans. Computers |
1978 |
DBLP DOI BibTeX RDF |
Array logics, carry-shower counters, digital counters, multiple-input adders, parallel-counter networks, parallel counters, associative processors, fast multipliers |
62 | 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 |
61 | 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 |
|
61 | G. B. Fitzpatrick |
Synthesis of Binary Ring Counters of Given Periods. |
J. ACM |
1960 |
DBLP DOI BibTeX RDF |
|
60 | Stéphane Eranian |
What can performance counters do for memory subsystem analysis? |
MSPC |
2008 |
DBLP DOI BibTeX RDF |
PMU, Linux, performance monitoring, performance counters |
60 | Stanislaw J. Piestrak |
Design of Self-Testing Checkers for m-out-of-n Codes Using Parallel Counters. |
J. Electron. Test. |
1998 |
DBLP DOI BibTeX RDF |
counters of 1s, m-out-of-n (m/n) codes, concurrent error detection, on-line testing, self-checking circuit, unidirectional errors, parallel counters, unordered codes, self-testing checker |
54 | Holger Petersen 0001 |
Simulations by Time-Bounded Counter Machines. |
Developments in Language Theory |
2009 |
DBLP DOI BibTeX RDF |
|
54 | Ömer Egecioglu, Oscar H. Ibarra |
On Stateless Multicounter Machines. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
Stateless multicounter machines, reversal-bounded, realtime computation, hierarchies |
53 | Andreas Weissel, Frank Bellosa |
Process cruise control: event-driven clock scaling for dynamic power management. |
CASES |
2002 |
DBLP DOI BibTeX RDF |
clock scaling, event counters, scheduling, power management |
52 | Vincent M. Weaver, Sally A. McKee |
Can hardware performance counters be trusted? |
IISWC |
2008 |
DBLP DOI BibTeX RDF |
|
52 | Alain Finkel, Jérôme Leroux |
Polynomial Time Image Computation with Interval-Definable Counters Systems. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Alain Finkel, Grégoire Sutre |
Decidability of Reachability Problems for Classes of Two Counters Automata. |
STACS |
2000 |
DBLP DOI BibTeX RDF |
|
52 | Hubert Comon, Yan Jurski |
Multiple Counters Automata, Safety Analysis and Presburger Arithmetic. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
52 | Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer |
Verification and synthesis of counters based on symbolic techniques. |
ED&TC |
1997 |
DBLP DOI BibTeX RDF |
|
51 | Robert Michael Owens, Raminder Singh Bajwa, Mary Jane Irwin |
Reducing the number of counters needed for integer multiplication. |
IEEE Symposium on Computer Arithmetic |
1995 |
DBLP DOI BibTeX RDF |
counting circuits, reasonably small integers, partial product accumulation, aperiodic convolution, convolution algorithms, partial product formulation, fairly large integers, digital arithmetic, multiplying circuits, counters, integer multiplication |
51 | Sebastián Dormido 0001, M. A. Canto |
An Upper Bound for the Synthesis of Generalized Parallel Counters. |
IEEE Trans. Computers |
1982 |
DBLP DOI BibTeX RDF |
parallel counter networks, Digital counters, multiple input adders, parallel counters, fast multipliers |
45 | Dmitry G. Korzun, Andrei V. Gurtov |
A local equilibrium model for P2P resource ranking. |
SIGMETRICS Perform. Evaluation Rev. |
2009 |
DBLP DOI BibTeX RDF |
|
45 | Sipat Triukose, Zhihua Wen, Michael Rabinovich |
Content delivery networks: how big is big enough? |
SIGMETRICS Perform. Evaluation Rev. |
2009 |
DBLP DOI BibTeX RDF |
|
45 | Alma Riska, Erik Riedel |
Evaluation of disk-level workloads at different time scales. |
SIGMETRICS Perform. Evaluation Rev. |
2009 |
DBLP DOI BibTeX RDF |
|
45 | Paul E. West, Yuval Peress, Gary S. Tyson, Sally A. McKee |
Core monitors: monitoring performance in multicore processors. |
Conf. Computing Frontiers |
2009 |
DBLP DOI BibTeX RDF |
scheduling, debugging, profiling, multicore, cache coherency, performance monitoring, realtime |
45 | 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 |
45 | Baruch Awerbuch, Shay Kutten, Yishay Mansour, Boaz Patt-Shamir, George Varghese |
A Time-Optimal Self-Stabilizing Synchronizer Using A Phase Clock. |
IEEE Trans. Dependable Secur. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Reliability, Graph Theory, Theory, Distributed networks, DISCRETE MATHEMATICS, Computer Systems Organization, Mathematics of Computing, COMPUTER-COMMUNICATION NETWORKS |
43 | Dag Hovland |
Regular Expressions with Numerical Constraints and Automata with Counters. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Henning Gundersen, Yngvar Berg |
Fast Addition Using Balanced Ternary Counters Designed with CMOS Semi-Floating Gate Devices. |
ISMVL |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Steffen Tarnick |
Design of Embedded m-out-of-n Code Checkers Using Complete Parallel Counters. |
IOLTS |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Eu-Jin Goh, Philippe Golle |
Event Driven Private Counters. |
Financial Cryptography |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Wiplove Mathur, Jeanine E. Cook |
Improved Estimation for Software Multiplexing of Performance Counters. |
MASCOTS |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Troy D. Townsend, Peter Celinski, Said F. Al-Sarawi, Michael J. Liebelt |
Hybrid Parallel Counters - Domino and Threshold Logic. |
ISVLSI |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Israel Koren, Yaron Koren, Bejoy G. Oomman |
Saturating Counters: Application and Design Alternatives. |
IEEE Symposium on Computer Arithmetic |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Oscar H. Ibarra, Zhe Dang, Zhi-Wei Sun |
Safety Verification for Two-Way Finite Automata with Monotonic Counters. |
Developments in Language Theory |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Gabriela Peretti, Eduardo Romero 0002, Franco Salvático, Carlos A. Marqués |
A Functional Approach to Test Cascaded BCD Counters. |
DELTA |
2002 |
DBLP DOI BibTeX RDF |
off-line built-in self-test, functional test, synchronous systems, digital testing |
43 | Stéphane Grumbach, Christophe Tollu |
Query Languages with Counters. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
42 | Ramon Bertran, Marc González 0001, Xavier Martorell, Nacho Navarro, Eduard Ayguadé |
Decomposable and responsive power models for multicore processors using performance counters. |
ICS |
2010 |
DBLP DOI BibTeX RDF |
power estimation, performance counters |
42 | James Aspnes, Hagit Attiya, Keren Censor |
Max registers, counters, and monotone circuits. |
PODC |
2009 |
DBLP DOI BibTeX RDF |
max registers, distributed computing, shared memory, counters, monotone circuits |
42 | Ismail Kadayif, T. Chinoda, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam |
vEC: virtual energy counters. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
system energy consumption, optimizations, embedded systems, signal processing, hardware performance counters |
42 | Walter Dosch |
Calculating Digital Counters. |
Ershov Memorial Conference |
1996 |
DBLP DOI BibTeX RDF |
digital counters, deductive design, formal hardware description |
36 | Dmitrijs Zaparanuks, Milan Jovic, Matthias Hauswirth |
Accuracy of performance counter measurements. |
ISPASS |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Pedro Mindlin, José R. Brunheroto, Luiz De Rose, José E. Moreira |
Obtaining Hardware Performance Metrics for the BlueGene/L Supercomputer. |
Euro-Par |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Sriram Ramabhadran, George Varghese |
Efficient implementation of a statistics counter architecture. |
SIGMETRICS |
2003 |
DBLP DOI BibTeX RDF |
statistics counter, router |
36 | Jun Sakiyama, Takafumi Aoki, Tatsuo Higuchi 0001 |
Counter Tree Diagrams for Design and Analysis of Fast Addition Algorithms. |
ISMVL |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Paul E. Joustra, Nico M. van Dijk |
Simulation of check-in at airports. |
WSC |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Faith Ellen, Yossi Lev, Victor Luchangco, Mark Moir |
SNZI: scalable NonZero indicators. |
PODC |
2007 |
DBLP DOI BibTeX RDF |
scalability, transactional memory, counters |
35 | Roberto Araiza, Maria Gabriela Aguilera, Thientam Pham, Patricia J. Teller |
Towards a cross-platform microbenchmark suite for evaluating hardware performance counter data. |
Richard Tapia Celebration of Diversity in Computing Conference |
2005 |
DBLP DOI BibTeX RDF |
hardware performance counters, microbenchmarks |
35 | Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa |
Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
Reversal-bounded counters, commutation of languages, context-free languages, combinatorics on words, morphisms |
35 | Maged M. Michael, Michael L. Scott |
Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors. |
IPPS |
1997 |
DBLP DOI BibTeX RDF |
relative performance, preemption safe locking, non blocking synchronization, multiprogrammed shared memory multiprocessors, inopportune preemption, synchronized parallel applications, concurrent atomic update, non blocking lock free algorithms, kernel support, universal atomic primitive, 12 processor SGI Challenge multiprocessor, multiprogrammed machines, priority queues, multiprogramming, stacks, concurrent data structures, counters, FIFO queues, shared data structures |
35 | Frank Mueller 0001, David B. Whalley |
Fast instruction cache analysis via static cache simulation. |
Annual Simulation Symposium |
1995 |
DBLP DOI BibTeX RDF |
instruction cache analysis, static cache simulation, cache configuration, instruction reference, cache hit, counter incrementation, code execution frequency, local state information updating, frequency counters, program exit, virtual machines, cache storage, program diagnostics, dynamic simulation, cache miss |
34 | Behrooz Parhami |
Comments on "Evaluation of A + B + K Conditions Without Carry Propagation". |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
carry-free circuit, A+B=K, negative effects, carry-save redundant numbers, (3, 2)-counters, carry propagation, carry-save numbers, pipeline processing, logic circuits, pipelined architectures, comparators, addition, parallel counters, redundant number representation, conditional branches |
34 | Daniel Gajski |
Parallel Compressors. |
IEEE Trans. Computers |
1980 |
DBLP DOI BibTeX RDF |
carry-shower counters, elementary logic functions, multiple-operand addition, content- addressable memory, high-speed arithmetic, parallel counters, Associative processors, fast multipliers |
34 | Hussein T. Mouftah, I. B. Jordan |
Design of Ternary COS/MOS Memory and Sequential Circuits. |
IEEE Trans. Computers |
1977 |
DBLP DOI BibTeX RDF |
COS/MOS integrated circuits, fundamental ternary circuits, programmable divide-by-N counters, ternary counters, ternary flip-flops, ternary logic implementation, ternary memory cells, ternary sequential logic, multiple-valued logic |
34 | Nilanjan Mukherjee 0001, Artur Pogiel, Janusz Rajski, Jerzy Tyszer |
High-Speed On-Chip Event Counters for Embedded Systems. |
VLSI Design |
2009 |
DBLP DOI BibTeX RDF |
|
34 | 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 |
|
34 | Chia-Tien Dan Lo, Yi-Gang Tai |
Highly Space Efficient Counters for Perl Compatible Regular Expressions in FPGAs. |
ARC |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Leif Uhsadel, Andy Georges, Ingrid Verbauwhede |
Exploiting Hardware Performance Counters. |
FDTC |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Matthew Curtis-Maury, Dimitrios S. Nikolopoulos, Christos D. Antonopoulos |
PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Yasuaki Ito, Koji Nakano, Youhei Yamagishi |
Efficient hardware algorithms for n choose k counters. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Huaguo Liang, Maoxiang Yi, Xiangsheng Fang, Cuiyun Jiang |
A BIST Scheme Based on Selecting State Generation of Folding Counters. |
Asian Test Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Karianto Wong |
Adding Monotonic Counters to Automata and Transition Graphs. |
Developments in Language Theory |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Reza Azimi, Michael Stumm, Robert W. Wisniewski |
Online performance analysis by statistical sampling of microprocessor performance counters. |
ICS |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Florian T. Schneider, Thomas R. Gross |
Using Platform-Specific Performance Counters for Dynamic Compilation. |
LCPC |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Mustafa M. Tikir, Jeffrey K. Hollingsworth |
Using Hardware Counters to Automatically Improve Memory Performance. |
SC |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Rong Lin |
A Reconfigurable Low-Power High-Performance Matrix Multiplier Architecture with Borrow Parallel Counters. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Devavrat Shah, Sundar Iyer, Balaji Prabhakar, Nick McKeown |
Maintaining Statistics Counters in Router Line Cards. |
IEEE Micro |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Pilar Parra Fernández, Antonio J. Acosta 0001, Manuel Valencia-Barrero |
Selective Clock-Gating for Low Power/Low Noise Synchronous Counters 1. |
PATMOS |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Jonathan Katz, Steven A. Myers, Rafail Ostrovsky |
Cryptographic Counters and Applications to Electronic Voting. |
EUROCRYPT |
2001 |
DBLP DOI BibTeX RDF |
|
34 | George Logothetis, Klaus Schneider 0001 |
Abstraction from Counters: An Application on Real-Time Systems. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Pablo Moisset de Espanés, Ashish Goel |
Toward minimum size self-assembled counters. |
Nat. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Algorithmic self-assembly, Complexity, Nanotechnology, Exhaustive search, Counters |
33 | Alice M. Tokarnia |
Identifying Minimal Shift Counters: A Search Technique. |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
minimal shift counters, feedback function, shift register properties, feedback, shift registers, binary sequences, search technique |
33 | Abhijit Chatterjee, Jacob A. Abraham |
The Testability of Generalized Counters Under Multiple Faulty Cells. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
generalized counters, multiple faulty cells, counting circuits, logic testing, fault model, testability, adders, full adders |
33 | K. Wayne Current |
Pipelined Binary Parallel Counters Employing Latched Quaternary Logic Full Adders. |
IEEE Trans. Computers |
1980 |
DBLP DOI BibTeX RDF |
quaternary threshold logic full adders, Multiple-valued logic, threshold logic, parallel counters |
33 | K. Wayne Current, Douglas A. Mow |
Implementing Parallel Counters with Four-Valued Threshold Logic. |
IEEE Trans. Computers |
1979 |
DBLP DOI BibTeX RDF |
Four-valved logic full adders, multivalued logic, threshold logic, parallel counters |
33 | Seonjin Na, Sunho Lee, Yeonjae Kim, Jongse Park, Jaehyuk Huh 0001 |
Common Counters: Compressed Encryption Counters for Secure GPU Memory. |
HPCA |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Tsunehiro Yoshinaga, Katsushi Inoue |
Alternating Finite Automata with Counters and Stack-Counters Operating in Realtime. |
IEICE Trans. Inf. Syst. |
1995 |
DBLP BibTeX RDF |
|
27 | Parosh Aziz Abdulla, Pavel Krcál, Wang Yi 0001 |
R-Automata. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
27 | 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 |
27 | Ezra N. Hoch, Danny Dolev, Ariel Daliot |
Self-stabilizing Byzantine Digital Clock Synchronization. |
SSS |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Kai Cheng, Limin Xiang, Mizuho Iwaihara, Haiyan Xu, Mukesh K. Mohania |
Time-Decaying Bloom Filters for Data Streams with Skewed Distributions. |
RIDE |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn |
Interaction cost and shotgun profiling. |
ACM Trans. Archit. Code Optim. |
2004 |
DBLP DOI BibTeX RDF |
modeling, Performance analysis, profiling, critical path |
27 | Chi-Keung Luk, Robert Muth, Harish Patil, Robert S. Cohn, P. Geoffrey Lowney |
Ispike: A Post-link Optimizer for the Intel®Itanium®Architecture. |
CGO |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Haleh Najafzadeh, Seth Chaiken |
Validated observation and reporting of microscopic performance using Pentium II counter facilities. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Jérôme Leroux, Grégoire Sutre |
On Flatness for 2-Dimensional Vector Addition Systems with States. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
27 | 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 |
|
27 | Steven Gordon, Lars Michael Kristensen, Jonathan Billington |
Verification of a Revised WAP Wireless Transaction Protocol. |
ICATPN |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Martin Schulz 0001, Jie Tao 0001, Jürgen Jeitner, Wolfgang Karl |
A proposal for a new hardware cache monitoring architecture. |
MSP/ISMM |
2002 |
DBLP DOI BibTeX RDF |
|
27 | G. Edward Suh, Srinivas Devadas, Larry Rudolph |
A New Memory Monitoring Scheme for Memory-Aware Scheduling and Partitioning. |
HPCA |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Nancy M. Amato, Jack Perdue, Mark M. Mathis, Andrea Pietracaprina, Geppino Pucci |
Predicting Performance on SMPs. A Case Study: The SGI Power Challenge. |
IPDPS |
2000 |
DBLP DOI BibTeX RDF |
Caches, Performance Modeling, Memory Hierarchy, SMPs |
27 | William Aiello, Costas Busch, Maurice Herlihy, Marios Mavronicolas, Nir Shavit, Dan Touitou |
Supporting Increment and Decrement Operations in Balancing Networks. |
STACS |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni |
Towards a Characterisation of Finite-State Message-Passing Systems. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Elena Baralis, Stefano Ceri, Stefano Paraboschi |
Run-time Detection of Non-Terminating Active Rule Systems. |
DOOD |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Thomas Ball, James R. Larus |
Optimally Profiling and Tracing Programs. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
instruction tracing, profiling, instrumentation, control-flow graph |
26 | Miad Faezipour, Mehrdad Nourani, Rina Panigrahy |
A hardware platform for efficient worm outbreak detection. |
ACM Trans. Design Autom. Electr. Syst. |
2009 |
DBLP DOI BibTeX RDF |
shared counters, worm outbreak, hashing, false positive, Network Intrusion Detection System, false negative, polymorphic worm |
26 | Jorgen Peddersen, Sri Parameswaran |
Low-Impact Processor for Dynamic Runtime Power Management. |
IEEE Des. Test Comput. |
2008 |
DBLP DOI BibTeX RDF |
low-impact processor, runtime power management, power estimation, energy aware, macromodeling, counters |
26 | Tom Mihm |
Protecting Critical Data. |
IEEE Des. Test Comput. |
2007 |
DBLP DOI BibTeX RDF |
TrustZone technology, rollback attack, DRM counters, secure execution environment, trusted software application |
26 | Marten van Dijk, Jonathan Rhodes, Luis F. G. Sarmenta, Srinivas Devadas |
Offline untrusted storage with immediate detection of forking and replay attacks. |
STC |
2007 |
DBLP DOI BibTeX RDF |
forking attack, untrusted storage, virtual monotonic counters, TPM, replay attack, freshness, integrity checking |
Displaying result #1 - #100 of 1142 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|