|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1898 occurrences of 1118 keywords
|
|
|
Results
Found 4055 publication records. Showing 4055 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Zilu Wu, Yumin Gao, Jinsheng Luo, Xun Hou, Guofu Chen |
Application of BEM to high-voltage junction termination. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen |
On Lexicographic Termination Ordering with Space Bound Certifications. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus |
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Anish Arora, Mikhail Nesterenko |
Unifying Stabilization and Termination in Message-Passing Systems. |
ICDCS |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Toshiyuki Yamada |
Confluence and Termination of Simply Typed Term Rewriting Systems. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Femke van Raamsdonk |
On Termination of Higher-Order Rewriting. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Nadia Nedjah, Luiza de Macedo Mourelle |
Improving Space, Time, and Termination in Rewriting-Based Programming. |
IEA/AIE |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Ching-Chih Han, Chao-Ju Hou, Kar Shun Tsoi, Sean Ho |
Dynamic Establishment and Termination of Real-Time Message Streams in Dual-Bus Networks. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
Dual-bus networks, $(C,D){hbox{-}}{rm smooth}$ message model, message stream setup and tear-down, temporal QoS guarantee, distance constraint |
18 | Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux |
Refinement Based Validation of an Algorithm for Detecting Distributed Termination. |
IPDPS Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Stefano Bistarelli, Rosella Gennari, Francesca Rossi 0001 |
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Frédéric Blanqui |
Termination and Confluence of Higher-Order Rewrite Systems. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Hitoshi Ohsaki, Aart Middeldorp, Jürgen Giesl |
Equational Termination by Semantic Labelling. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Gerhard Heindl |
How to Guarantee Finite Termination of Verifying Global Optimization Codes. |
Reliab. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Robert Eschbach |
A Termination Detection Algorithm: Specification and Verification. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Kerstin Schwarz, Can Türker, Gunter Saake |
Computing Rules for Detecting Contradictory Transaction Termination Dependencies. |
ADBIS |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Termination of Logic Programs with block Declarations Running in Several Modes. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Michael Leuschel |
On the Power of Homeomorphic Embedding for Online Termination. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Claude Marché, Xavier Urbain |
Termination of Associative-Commutative Rewriting by Dependency Pairs. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Weiermann |
A proof of strongly uniform termination for Gödel's TT by methods from local predicativity. |
Arch. Math. Log. |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema |
Relative Undecidability in the Termination Hierarchy of Single Rewrite Rules. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Ekkehard Rohwedder, Frank Pfenning |
Mode and Termination Checking for Higher-Order Logic Programs. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Rohini Gupta, Byron Krauter, Lawrence T. Pileggi |
On Moment-Based Metric for Optimal Termination of Transmission Line Interconnects. |
VLSI Design |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Volker Diekert, Paul Gastin |
A Domain for Concurrent Termination: A Generalization of Mazurkiewicz Traces (Extended Abstract). |
ICALP |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Jürgen Giesl |
Generating Polynomial Orderings for Termination Proofs. |
RTA |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Joachim Steinbach |
Automatic Termination Proofs With Transformation Orderings. |
RTA |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Zbigniew Stachniak |
Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics. |
ISMIS |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Franco Barbanera, Maribel Fernández |
Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega. |
ICALP |
1993 |
DBLP DOI BibTeX RDF |
|
18 | David A. Plaisted |
Polynomial Time Termination and Constraint Satisfaction Tests. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Nachum Dershowitz, Charles Hoot |
Topics in Termination. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Luca Aceto, Matthew Hennessy |
Termination, Deadlock, and Divergence. |
J. ACM |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Kai Salomaa |
Decidability of Confluence and Termination of Monadic Term Rewriting Systems. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Weiermann |
Proving Termination for Term Rewriting Systems. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Dieter Hofbauer |
Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Joachim Steinbach |
AC-Termination of Rewrite Systems: A Modified Knuth-Bendix Ordering. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
18 | W. Eric L. Grimson |
The Combinatorics of Heuristic Search Termination for Object Recognition in Cluttered Environments. |
ECCV |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Luca Aceto, Matthew Hennessy |
Termination, Deadlock and Divergence. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Dana May Latch, Ron Sigal |
A Local Termination Property for Term Rewriting Systems. |
RTA |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Friedemann Mattern |
Experience with a New Distributed Termination Detection Algorithm. |
WDAG |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Jos C. M. Baeten, Rob J. van Glabbeek |
Merge and Termination in Process Algebra. |
FSTTCS |
1987 |
DBLP DOI BibTeX RDF |
|
18 | David Wai-Lok Cheung, Tiko Kameda |
Site Optimal termination Protocols for a Distributed Database under Network Partitioning. |
ACM SIGOPS Oper. Syst. Rev. |
1986 |
DBLP DOI BibTeX RDF |
|
18 | Krzysztof R. Apt |
Correctness Proofs of Distributed Termination Algorithms. |
ACM Trans. Program. Lang. Syst. |
1986 |
DBLP DOI BibTeX RDF |
CSP |
18 | Deepak Kapur, Paliath Narendran, G. Sivakumar |
A Path Ordering for Proving Termination of Term Rewriting Systems. |
TAPSOFT, Vol.1 |
1985 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Luc Richier |
Distributed Termination in CSP: Symmetric Solutions with Minimal Storage. |
STACS |
1985 |
DBLP DOI BibTeX RDF |
|
18 | Nissim Francez, Dexter Kozen |
Generalized Fair Termination. |
POPL |
1984 |
DBLP DOI BibTeX RDF |
|
18 | Nissim Francez |
Distributed Termination. |
ACM Trans. Program. Lang. Syst. |
1980 |
DBLP DOI BibTeX RDF |
|
18 | Hans-Josef Jeanrond |
Deciding Unique Termination of Permutative Rewriting Systems: Choose Your Term Algebra Carefully. |
CADE |
1980 |
DBLP DOI BibTeX RDF |
|
18 | Hans-Josef Jeanrond |
A Unique Termination Theorem for a Theory with Generalised Commutative Axioms. |
ICALP |
1979 |
DBLP DOI BibTeX RDF |
|
18 | Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini |
Termination Tests inside lambda-Calculus. |
ICALP |
1977 |
DBLP DOI BibTeX RDF |
|
18 | Giulio Treccani |
A Widely Convergent Minimization Algorithm with Quadratic Termination Property. |
Optimization Techniques |
1973 |
DBLP DOI BibTeX RDF |
|
13 | Brendan Moloney, Marco Ament, Daniel Weiskopf, Torsten Möller |
Sort-First Parallel Volume Rendering. |
IEEE Trans. Vis. Comput. Graph. |
2011 |
DBLP DOI BibTeX RDF |
sort-first parallelization, early ray termination, ray coherence, visualization, Volume rendering, shadow, dynamic load balancing |
13 | Jonas Boustedt, Robert McCartney, Josh Tenenberg, Edward F. Gehringer, Raymond Lister, David R. Musicant |
It seemed like a good idea at the time. |
SIGCSE |
2010 |
DBLP DOI BibTeX RDF |
doom, fiasco, gloom, humiliation, termination, failure, disaster, breakdown |
13 | Torsten Hoefler, Christian Siebert, Andrew Lumsdaine |
Scalable communication protocols for dynamic sparse data exchange. |
PPoPP |
2010 |
DBLP DOI BibTeX RDF |
alltoall, distributed termination, irregular algorithms, nonblocking collective operations, sparse data exchange |
13 | Gunnar Wilken, Andreas Weiermann |
Complexity of Gödel's T in lambda-Formulation. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
Typed ?-Calculus, Gödel’s T, Termination, Rewrite System, Strong Normalization |
13 | Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis |
Proving that non-blocking algorithms don't block. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
formal verification, concurrent programming, termination, liveness |
13 | Jonas Boustedt, Robert McCartney, Katherine Deibel, Jim Huggins, Beth Simon, Suzanne Westbrook, The Mystery Presenter |
It seemed like a good idea at the time. |
SIGCSE |
2009 |
DBLP DOI BibTeX RDF |
fiasco, humiliation, termination, failure, disaster, breakdown |
13 | William B. Langdon, Riccardo Poli |
Mapping non-conventional extensions of genetic programming. |
Nat. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Markov analysis of program search spaces, Any time computation, Entropy and irreversible loss of information, Program convergence, Halting probability genetic algorithms, Genetic programming, Turing complete, Program termination |
13 | Jonas Boustedt, Robert McCartney, Josh Tenenberg, Scott D. Anderson, Caroline M. Eastman, Daniel D. Garcia, Paul V. Gestwicki, Margaret S. Menzin |
It seemed like a good idea at the time. |
SIGCSE |
2008 |
DBLP DOI BibTeX RDF |
fiasco, humiliation, termination, failure, disaster, breakdown |
13 | Hacer Yalim Keles, Alphan Es, Veysi Isler |
Acceleration of direct volume rendering with programmable graphics hardware. |
Vis. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Empty space skipping, Early ray termination, Volume rendering, GPU programming |
13 | Geoff W. Hamilton |
Distillation: extracting the essence of programs. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
superlinear improvement, program transformation, termination, generalisation, tail-recursion |
13 | Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou |
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
Loop Termination, Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Computer Algebra, Ranking Function, Polynomial Programs |
13 | Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi |
Proving that programs eventually do something good. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
formal verification, termination, liveness, software model checking |
13 | Jonas Boustedt, Robert McCartney, Josh Tenenberg, Titus Winters, Stephen H. Edwards, Briana B. Morrison, David R. Musicant, Ian Utting, Carol Zander |
It seemed like a good idea at the time. |
SIGCSE |
2007 |
DBLP DOI BibTeX RDF |
fiasco, humiliation, termination, failure, disaster, breakdown |
13 | Max I. Kanovich |
A Note on Rewriting Proofs and Fibonacci Numbers. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
multiset rewriting, partition identities, termination, combinatorics, confluence, Fibonacci numbers, strong normalization, Church-Rosser property, integer partitions |
13 | Solange Coupet-Grimal, William Delobel |
An effective proof of the well-foundedness of the multiset path ordering. |
Appl. Algebra Eng. Commun. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Well-foundedness, Multiset path order, Termination, Constructive logic |
13 | Isabelle Gnaedig, Hélène Kirchner |
Computing constructor forms with non terminating rewrite programs. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
constructor, abstraction, termination, narrowing, ordering constraint, sufficient completeness |
13 | Xiu-Feng Wan, Dong Xu |
Intrinsic Terminator Prediction and Its Application in Synechococcus sp. WH8102. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
rho-independent terminator, RNA local secondary structure, Synechococcus, Rnall, intrinsic terminator, transcription termination |
13 | Efrat Jaeger, Nissim Francez, Shuly Wintner |
Unification Grammars and Off-Line Parsability. |
J. Log. Lang. Inf. |
2005 |
DBLP DOI BibTeX RDF |
off-line parsability, parsing termination, unification grammars |
13 | Godmar Back, Wilson C. Hsieh |
The KaffeOS Java runtime system. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
language runtimes, Robustness, virtual machines, resource management, garbage collection, termination, isolation |
13 | Kartik Hosanagar |
A utility theoretic approach to determining optimal wait times in distributed information retrieval. |
SIGIR |
2005 |
DBLP DOI BibTeX RDF |
optimal wait time, query termination, utility theory, distributed IR |
13 | Hagit Attiya, Faith Ellen Fich, Yaniv Kaplan |
Lower bounds for adaptive collect and related objects. |
PODC |
2004 |
DBLP DOI BibTeX RDF |
exclusive-write registers, sensitive objects, solo termination, weak test&set, adaptivity, contention, collect |
13 | Jaco van de Pol, Miguel Valero Espada |
Verification of JavaSpacesTM Parallel Programs. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
software architecture (JavaSpaces), Formal analysis and verification, Distributed termination problem, Parallel computing |
13 | Hang Chen, Qing-An Zeng, Dharma P. Agrawal |
A novel analytical model for optimal channel partitioning in the next generation integrated wireless and mobile networks. |
MSWiM |
2002 |
DBLP DOI BibTeX RDF |
channel partitioning, forced termination probability, QoS, mobile, wireless, handoff, blocking probability, transmission delay, integrated network |
13 | Nick Cropper, Ursula Martin |
The Classification of Polynomial Orderings on Monadic Terms. |
Appl. Algebra Eng. Commun. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Termination, Term rewriting systems, Ordinals |
13 | David Garrett, Bing Xu, Chris Nicol |
Energy efficient turbo decoding for 3G mobile. |
ISLPED |
2001 |
DBLP DOI BibTeX RDF |
extrinsics, low power, turbo coding, early termination |
13 | Elena Baralis, Jennifer Widom |
An algebraic approach to static analysis of active database rules. |
ACM Trans. Database Syst. |
2000 |
DBLP DOI BibTeX RDF |
database rule processing, database trigger processing, SQL, termination, confluence, active database systems |
13 | Giorgio Terracina, Domenico Ursino |
A Study on the Interaction Between Interscheme Property Extraction and Type Conflict Resolution. |
IDEAS |
2000 |
DBLP DOI BibTeX RDF |
interscheme property extraction, type conflict resolution, synonymies, homonymies, semi-automatic approach, computation termination, semantics, distributed databases, transformations, heterogeneous databases, polynomial complexity, iterative computation |
13 | Jason Conkey, Kenneth I. Joy |
Using Isosurface Methods for Visualizing the Envelope of a Swept Trivariate Solid. |
PG |
2000 |
DBLP DOI BibTeX RDF |
swept surface, boundary surface de-termination, trivariate B-spline solids, rank-deficient Jacobians, marching tetrahedra, envelopes |
13 | Godmar Back, Wilson C. Hsieh |
Drawing the Red Line in Java. |
Workshop on Hot Topics in Operating Systems |
1999 |
DBLP DOI BibTeX RDF |
red line, kernel structure, Java, termination, sharing, type safety, resource control |
13 | Elena Baralis, Stefano Ceri, Stefano Paraboschi |
Compile-Time and Runtime Analysis of Active Behaviors. |
IEEE Trans. Knowl. Data Eng. |
1998 |
DBLP DOI BibTeX RDF |
Rule analysis, rule termination, rule debugging, active databases, production rules |
13 | Yuguang Fang, Imrich Chlamtac, Yi-Bing Lin |
Modeling PCS networks under general call holding time and cell residence time distributions. |
IEEE/ACM Trans. Netw. |
1997 |
DBLP DOI BibTeX RDF |
billing rate planning, call holding time, call termination, cell residence, handoff, PCS, call blocking |
13 | David M. Nicol, Michael M. Johnson, Ann S. Yoshimura, Michael E. Goldsby |
Performance Modeling of the IDES Framework. |
Workshop on Parallel and Distributed Simulation |
1997 |
DBLP DOI BibTeX RDF |
Breathing-Time-Buckets, IDES project, Sandia National Laboratories, architectural parameters, large scale portable parallel simulator, stockpile stewardship, window termination, work load, parallel algorithm, parallel programming, performance modeling, discrete event simulation, synchronization protocol |
13 | Elena Baralis, Stefano Ceri, Stefano Paraboschi |
Modularization Techniques for Active Rules Design. |
ACM Trans. Database Syst. |
1996 |
DBLP DOI BibTeX RDF |
database rule processing, static analysis, modularization, termination, active database systems |
13 | Peter Thiemann 0001 |
Implementing Memoization for Partial Evaluation. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
incremental specialization, termination of partial evaluation, reflection, partial evaluation, automatic program transformation |
13 | Helena Rodrigues, Richard E. Jones |
A Cyclic Distributed Garbage Collector for Network Objects. |
WDAG |
1996 |
DBLP DOI BibTeX RDF |
fault tolerance, distributed systems, algorithms, garbage collection, termination detection |
13 | Yair I. Friedman, Dror G. Feitelson, Iaakov Exman |
The Parallel Break Construct, or How to Kill an Activity Tree. |
IPPS |
1996 |
DBLP DOI BibTeX RDF |
parallel constructs, forced termination, kill, abort, ParC, break |
13 | Alexander Aiken, Joseph M. Hellerstein, Jennifer Widom |
Static Analysis Techniques for Predicting the Behavior of Active Database Rules. |
ACM Trans. Database Syst. |
1995 |
DBLP DOI BibTeX RDF |
database rule processing, static analysis, termination, confluence, active database systems |
13 | José M. Piquer |
Large causality: ordering broadcasts and messages. |
ACM SIGOPS European Workshop |
1992 |
DBLP DOI BibTeX RDF |
Distributed Systems, Causality, Termination Detection, Token Passing, Global States |
13 | Sergei G. Vorobyov |
A structural completeness theorem for a class of conditional rewrite rule systems. |
Conference on Computer Logic |
1988 |
DBLP DOI BibTeX RDF |
conditional rewrite rules, case splitting, finite termination, reduction, inference rules, confluency, proof search, decision algorithms, strong completeness |
12 | Marco Serafini, Dan Dobre, Matthias Majuntke, Péter Bokor, Neeraj Suri |
Eventually linearizable shared objects. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
eventual linearizability, availability, graceful degradation |
12 | Jacob Matthews, Robert Bruce Findler |
Operational semantics for multi-language programs. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
interoperability, Operational semantics |
12 | Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic |
Reactive noninterference. |
CCS |
2009 |
DBLP DOI BibTeX RDF |
web applications, information flow, web browsers, noninterference, reactive programming |
12 | Stephen Olivier, Jan F. Prins |
Evaluating OpenMP 3.0 Run Time Systems on Unbalanced Task Graphs. |
IWOMP |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Luís Dominguez |
Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Peter A. Jonsson, Johan Nordlander |
Positive supercompilation for a higher order call-by-value language. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
deforestation, supercompilation, call-by-value |
12 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
An ASP System with Functions, Lists, and Sets. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
Complexity of Fractran and Productivity. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Martin Korp, Aart Middeldorp |
Beyond Dependency Graphs. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Peter Djeu, Sean Keely, Warren A. Hunt |
Accelerating shadow rays using volumetric occluders and modified kd-tree traversal. |
High Performance Graphics |
2009 |
DBLP DOI BibTeX RDF |
extended ray order, quick descent breadth-first search, shadow rays, volumetric occluders, soft shadows |
12 | Yulei Zhang 0002, Ling Zhang, Alina Deutsch, George A. Katopis, Daniel M. Dreps, James F. Buckwalter, Ernest S. Kuh, Chung-Kuan Cheng |
Design methodology of high performance on-chip global interconnect using terminated transmission-line. |
ISQED |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Georg Moser, Andreas Schnabl |
The Derivational Complexity Induced by the Dependency Pair Method. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 4055 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|