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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Oper. Res. ![In: Comput. Oper. Res. 21(9), pp. 969-977, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(5), pp. 560-568, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Evangelos P. Markatos, Catherine E. Chronaki |
Using Reference Counters in Update-Based Coherent Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings, pp. 805-808, 1994, Springer, 3-540-58184-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Jo C. Ebergen, Ad M. G. Peeters |
Design and Analysis of Delay-Insensitive Modulo-N Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 3(3), pp. 211-232, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Anastasios Vergis |
On the multiple-fault testability of generalized counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12(6), pp. 905-909, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Alice M. Tokarnia |
Minimal Shift Counters and Frequency Division. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 30th Design Automation Conference. Dallas, Texas, USA, June 14-18, 1993., pp. 19-24, 1993, ACM Press, 0-89791-577-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Christian Neusius |
Adapting synchronization counters to the requirements of inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPS Messenger ![In: OOPS Messenger 3(1), pp. 38-44, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Enrico Macii, Bernard Plessier, Fabio Somenzi |
Verification of systems containing counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 1992 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1992, Santa Clara, CA, USA, November 8-12, 1992. Digest of Technical Papers, pp. 179-182, 1992, IEEE Computer Society / ACM, 0-8186-3010-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Jo C. Ebergen, Ad M. G. Peeters |
Modulo-N Counters: Design and Analysis of Delay-Insensitive Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Designing Correct Circuits ![In: Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992, pp. 27-46, 1992, North-Holland, 0-444-89335-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | Christian Neusius |
Adapting synchronization counters to the requirements of inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPS Messenger ![In: OOPS Messenger 2(4), pp. 16-22, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Selim G. Akl, Thibault Duboux, Ivan Stojmenovic |
Constant Delay Parallel Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 1, pp. 143-148, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Luc Devroye |
Limit Laws for Local Counters in Random Binary Search Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Random Struct. Algorithms ![In: Random Struct. Algorithms 2(3), pp. 303-316, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Oscar H. Ibarra, Tao Jiang 0001 |
The Power of Alternating One-Reversal Counters and Stacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 20(2), pp. 278-290, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Stéphane Grumbach, Christophe Tollu |
The Generic Complexity of Query Languages with Counters (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMLDO ![In: Third Workshop on Foundations of Models and Languages for Data and Objects, Aigen, Austria, 23.-27. September 1991, pp. 131-146, 1991, Technische Universität Clausthal. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
16 | Jean Vuillemin |
Constant time arbitrary length synchronous binary counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 10th IEEE Symposium on Computer Arithmetic, ARITH 1991, Grenoble, France, June 26-28, 1991, pp. 180-183, 1991, IEEE, 0-8186-9151-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Douglas M. Grant, Peter B. Denyer |
Address Generation for array access based on modulus m counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: Proceedings of the conference on European design automation, EURO-DAC'91, Amsterdam, The Netherlands, 1991, pp. 118-122, 1991, EEE Computer Society, 0-8186-2130-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
16 | Gita Gopal, Nancy D. Griffeth, Abel Weinrib |
Distributed Implementation of Real-Time Resource Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Proceedings IEEE INFOCOM '91, The Conference on Computer Communications, Tenth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking in the 90s, Bal Harbour, Florida, USA, April 7-11, 1991, pp. 415-425, 1991, IEEE Computer Society, 0-87942-694-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Rönn, Heikki Saikkonen |
Distributed Termination Detection with Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 34(5), pp. 223-227, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Tat-hung Chan |
Pushdown Automata with Reversal-Bounded Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 37(3), pp. 269-291, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Rainer Amann, Bernhard Eschermann, Utz G. Baitinger |
PLA based finite state machines using Johnson counters as state memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Computer Design: VLSI in Computers and Processors, ICCD 1988., Proceedings of the 1988 IEEE International Conference on, Rye Brook, NY, USA, October 3-5, 1988, pp. 267-270, 1988, IEEE, 0-8186-0872-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Abhijit Chatterjee, Jacob A. Abraham |
On the C-Testability of Generalized Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 6(5), pp. 713-726, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Behrooz Parhami |
Systolic up/down counters with zero and sign detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 8th IEEE Symposium on Computer Arithmetic, ARITH 1987, Como, Italy, May 18-21, 1987, pp. 174-178, 1987, IEEE Computer Society, 0-8186-0774-2. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | A. C. Maan |
Data transfer from Beckman LS 5800 liquid scintillation counters to IBM personal computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Biosci. ![In: Comput. Appl. Biosci. 1(3), pp. 183-184, 1985. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 16(5), pp. 97-105, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
16 | David C. Chu |
Calibration of Systematic Errors in Precision Time-Interval Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings International Test Conference 1985, Philadelphia, PA, USA, November 1985, pp. 185-190, 1985, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
16 | Satoru Miyano |
Remarks on Two-Way Automata with Weak-Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 18(2), pp. 105-107, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Tinko Tinchev, Dimiter Vakarelov |
Propositional dynamic logics with counters and stacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Computation Theory ![In: Computation Theory - Fifth Symposium, Zaborów, Poland, December 3-8, 1984, Proceedings, pp. 364-374, 1984, Springer, 978-3-540-16066-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Sebastián Dormido 0001, M. A. Canto |
Synthesis of Generalized Parallel Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 30(9), pp. 699-703, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
16 | Ira R. Forman |
On the Time Overhead of Counters and Traversal Markers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 5th International Conference on Software Engineering, San Diego, California, USA, March 9-12, 1981., pp. 164-169, 1981, IEEE Computer Society, 0-89791-146-6. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP BibTeX RDF |
|
16 | Luigi Dadda |
Composite Parallel Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 29(10), pp. 942-946, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
16 | John E. Hershey |
Comma-free synchronization of binary counters (Corresp.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 25(6), pp. 724-725, 1979. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 26(12), pp. 1212-1221, 1977. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 33(4), pp. 304-332, April 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
16 | Frank B. Manning, Robert Fenichel |
Synchronous Counters Constructed Entirely of J-K Flip-Flops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 25(3), pp. 300-306, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
16 | Klaus Weihrauch |
Program Schemata with Polynomial Bounded Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 3(3), pp. 91-96, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
16 | Burkhard Monien |
Relationships between Pushdown Automata with Counters and Complexity Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 9(3), pp. 248-264, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
16 | Eric J. Van Lantschoot, Joos Vandewalle |
Design of Weighted Counters with Rational Scale Using Continued Fraction Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 23(3), pp. 232-238, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
16 | Earl E. Swartzlander Jr. |
Parallel Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 22(11), pp. 1021-1024, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
16 | Kenneth H. O'Keefe |
Modularity in Design: Skit Registers and Counters Used as System Building Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 22(2), pp. 194-197, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
16 | Robert C. Dorr |
Self-Checking Combinational Logic Binary Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 21(12), pp. 1426-1430, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
16 | Tiko Kameda |
Pushdown Automata with Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 6(2), pp. 138-150, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
16 | David A. Plaisted |
Flowchart Schemata with Counters ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 4th Annual ACM Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, USA, pp. 44-51, 1972, ACM. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
16 | Joseph S. Byrd |
Variable-Mode Counting with Straight Binary Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 20(1), pp. 97-98, 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
16 | Irving S. Reed, Albert C. L. Chiang |
Coding Techniques for Failure-Tolerant Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 19(11), pp. 1035-1038, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
16 | Jochen Beister |
On the Implementation of Failure-Tolerant Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 17(9), pp. 885-886, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
|
16 | Richard Y. Kain |
Synthesis of UP-DOWN Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Electron. Comput. ![In: IEEE Trans. Electron. Comput. 16(2), pp. 146-151, 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP DOI BibTeX RDF |
|
16 | John S. Bailey |
Generalized Single-Ended Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 13(3), pp. 412-418, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
16 | J. E. Olivares |
Synthesis of Nonconstant Weight Binary Codes for Minimum Diode Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Electron. Comput. ![In: IEEE Trans. Electron. Comput. 14(1), pp. 69-72, 1965. The full citation details ...](Pics/full.jpeg) |
1965 |
DBLP DOI BibTeX RDF |
|
16 | Roy L. Russo |
Synthesis of Error-Tolerant Counters Using Minimum Distance Three State Assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Electron. Comput. ![In: IEEE Trans. Electron. Comput. 14(3), pp. 359-366, 1965. The full citation details ...](Pics/full.jpeg) |
1965 |
DBLP DOI BibTeX RDF |
|
16 | I. Brcic |
"Ideally Fast" Decimal Counters with Bistables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Electron. Comput. ![In: IEEE Trans. Electron. Comput. 14(5), pp. 733-737, 1965. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWCT ![In: 6th Annual Symposium on Switching Circuit Theory and Logical Design, Ann Arbor, Michigan, USA, October 6-8, 1965, pp. 25-35, 1965, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1965 |
DBLP DOI BibTeX RDF |
|
16 | Mitchell P. Marcus |
Cascaded Binary Counters with Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Electron. Comput. ![In: IEEE Trans. Electron. Comput. 12(4), pp. 361-364, 1963. The full citation details ...](Pics/full.jpeg) |
1963 |
DBLP DOI BibTeX RDF |
|
16 | John S. Bailey, George Epstein |
Single Function Shifting Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 9(3), pp. 375-378, 1962. The full citation details ...](Pics/full.jpeg) |
1962 |
DBLP DOI BibTeX RDF |
|
16 | Robert C. Brigham |
Some Properties of Binary Counters with Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRE Trans. Electron. Comput. ![In: IRE Trans. Electron. Comput. 10(4), pp. 699-701, 1961. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
|
16 | William H. Kautz |
Constant-Weight Counters and Decoding Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRE Trans. Electron. Comput. ![In: IRE Trans. Electron. Comput. 9(2), pp. 231-244, 1960. The full citation details ...](Pics/full.jpeg) |
1960 |
DBLP DOI BibTeX RDF |
|
16 | Frederick H. Young |
Analysis of Shift Register Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 5(4), pp. 385-388, 1958. The full citation details ...](Pics/full.jpeg) |
1958 |
DBLP DOI BibTeX RDF |
|
16 | Marcel J. E. Golay |
The Logic of Bidirectional Binary Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRE Trans. Electron. Comput. ![In: IRE Trans. Electron. Comput. 6(1), pp. 1-4, 1957. The full citation details ...](Pics/full.jpeg) |
1957 |
DBLP DOI BibTeX RDF |
|
16 | James E. Robertson |
Odd Binary Asynchronous Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRE Trans. Electron. Comput. ![In: IRE Trans. Electron. Comput. 5(1), pp. 12-15, 1956. The full citation details ...](Pics/full.jpeg) |
1956 |
DBLP DOI BibTeX RDF |
|
16 | R. M. Brown |
Some Notes on Logical Binary Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRE Trans. Electron. Comput. ![In: IRE Trans. Electron. Comput. 4(2), pp. 67-69, 1955. The full citation details ...](Pics/full.jpeg) |
1955 |
DBLP DOI BibTeX RDF |
|
16 | R. Stuart Mackay, R. MacIntyre |
Ternary Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRE Trans. Electron. Comput. ![In: IRE Trans. Electron. Comput. 4(4), pp. 144-149, 1955. The full citation details ...](Pics/full.jpeg) |
1955 |
DBLP DOI BibTeX RDF |
|
9 | Jiaqing Du, Nipun Sehrawat, Willy Zwaenepoel |
Performance profiling of virtual machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 7th International Conference on Virtual Execution Environments, VEE 2011, Newport Beach, CA, USA, March 9-11, 2011 (co-located with ASPLOS 2011), pp. 3-14, 2011, ACM, 978-1-4503-0687-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
9 | Ruslan Nikolaev 0001, Godmar Back |
Perfctr-Xen: a framework for performance counter virtualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 7th International Conference on Virtual Execution Environments, VEE 2011, Newport Beach, CA, USA, March 9-11, 2011 (co-located with ASPLOS 2011), pp. 15-26, 2011, ACM, 978-1-4503-0687-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2010, Bilkent, Ankara, Turkey, June 26-30, 2010, pp. 73-77, 2010, ACM, 978-1-60558-729-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: SIGMETRICS 2010, Proceedings of the 2010 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, New York, New York, USA, 14-18 June 2010, pp. 155-166, 2010, ACM, 978-1-4503-0038-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 483-496, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 24th International Conference on Supercomputing, 2010, Tsukuba, Ibaraki, Japan, June 2-4, 2010, pp. 337-348, 2010, ACM, 978-1-4503-0018-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
9 | Georgios Keramidas, Vasileios Spiliopoulos, Stefanos Kaxiras |
Interval-based models for run-time DVFS orchestration in superscalar processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 7th Conference on Computing Frontiers, 2010, Bertinoro, Italy, May 17-19, 2010, pp. 287-296, 2010, ACM, 978-1-4503-0044-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 37th International Symposium on Computer Architecture (ISCA 2010), June 19-23, 2010, Saint-Malo, France, pp. 280-289, 2010, ACM, 978-1-4503-0053-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(3), pp. 16:1-16:30, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Computational complexity, expressiveness |
9 | Stefan Heinz 0001, Martin Sachenbacher |
Using Model Counting to Find Optimal Distinguishing Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings, pp. 117-131, 2009, Springer, 978-3-642-01928-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Zhenyu Liu, Weijun Li, Yue Lai |
Application of Bloom Filter for GTP Stateful Inspection in Network Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: Proceedings of the Fifth International Conference on Information Assurance and Security, IAS 2009, Xi'An, China, 18-20 August 2009, pp. 589-592, 2009, IEEE Computer Society, 978-0-7695-3744-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Meiqin Wang, Jorge Nakahara Jr., Yue Sun |
Cryptanalysis of the Full MMB Block Cipher. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Areas in Cryptography ![In: Selected Areas in Cryptography, 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers, pp. 231-248, 2009, Springer, 978-3-642-05443-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOMP ![In: Evolving OpenMP in an Age of Extreme Parallelism, 5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009, Proceedings, pp. 93-103, 2009, Springer, 978-3-642-02284-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1676-1682, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Heinz Bast |
Parallelism in Current and Future Processors - Challenges and Support for Designing Optimal Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEA ![In: Experimental Algorithms, 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings, pp. 1, 2009, Springer, 978-3-642-02010-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), December 12-16, 2009, New York, New York, USA, pp. 78-88, 2009, ACM, 978-1-60558-798-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), December 12-16, 2009, New York, New York, USA, pp. 493-504, 2009, ACM, 978-1-60558-798-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, IWCMC 2009, Leipzig, Germany, June 21-24, 2009, pp. 437-441, 2009, ACM, 978-1-60558-569-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 127-139, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCS ![In: Architecture of Computing Systems - ARCS 2009, 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings, pp. 219-232, 2009, Springer, 978-3-642-00453-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Pingjing Lu, Yonggang Che, Zhenghua Wang |
A Framework for Effective Memory Optimization of High Performance Computing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: 11th IEEE International Conference on High Performance Computing and Communications, HPCC 2009, 25-27 June 2009, Seoul, Korea, pp. 95-102, 2009, IEEE, 978-0-7695-3738-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Wouter Gelade, Marc Gyssens, Wim Martens |
Regular Expressions with Counting: Weak versus Strong Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings, pp. 369-381, 2009, Springer, 978-3-642-03815-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | John Cieslewicz, William Mee, Kenneth A. Ross |
Cache-conscious buffering for database operators with state. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaMoN ![In: Proceedings of the Fifth International Workshop on Data Management on New Hardware, DaMoN 2009, Providence, Rhode Island, USA, June 28, 2009, pp. 43-51, 2009, ACM, 978-1-60558-701-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-12, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Juan Gonzalez, Judit Giménez, Jesús Labarta |
Automatic detection of parallel applications computation phases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-11, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 23rd international conference on Supercomputing, 2009, Yorktown Heights, NY, USA, June 8-12, 2009, pp. 519-520, 2009, ACM, 978-1-60558-498-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
data center applications, machine learning |
9 | Marius Bozga, Codruta Gîrlea, Radu Iosif |
Iterating Octagons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 337-351, 2009, Springer, 978-3-642-00767-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 22-26 June 2009, Montreal, Québec, Canada, pp. 129-136, 2009, IEEE Computer Society, 978-0-7695-3659-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 22-26 June 2009, Montreal, Québec, Canada, pp. 137-144, 2009, IEEE Computer Society, 978-0-7695-3659-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE Conference on High Performance Computing, SC 2009, November 14-20, 2009, Portland, Oregon, USA, 2009, ACM, 978-1-60558-744-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Abhishek Bhattacharjee, Margaret Martonosi |
Thread criticality predictors for dynamic performance, power, and resource management in chip multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 36th International Symposium on Computer Architecture (ISCA 2009), June 20-24, 2009, Austin, TX, USA, pp. 290-301, 2009, ACM, 978-1-60558-526-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 36th International Symposium on Computer Architecture (ISCA 2009), June 20-24, 2009, Austin, TX, USA, pp. 462-473, 2009, ACM, 978-1-60558-526-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 210-219, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Marek Olszewski, Jason Ansel, Saman P. Amarasinghe |
Kendo: efficient deterministic multithreading in software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009, pp. 97-108, 2009, ACM, 978-1-60558-406-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: EDBT 2009, 12th International Conference on Extending Database Technology, Saint Petersburg, Russia, March 24-26, 2009, Proceedings, pp. 48-59, 2009, ACM, 978-1-60558-422-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Laura Kovács, Andrei Voronkov |
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 470-485, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 10th International Conference on Document Analysis and Recognition, ICDAR 2009, Barcelona, Spain, 26-29 July 2009, pp. 151-155, 2009, IEEE Computer Society, 978-0-7695-3725-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Danny Hendler, Nir Shavit |
Solo-valency and the cost of coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 21(1), pp. 43-54, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld |
Sequentially consistent versus linearizable counting networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 21(4), pp. 249-269, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 36(2), pp. 45-51, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|