|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11526 occurrences of 4704 keywords
|
|
|
Results
Found 29774 publication records. Showing 29763 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
49 | Chuck Monahan, Forrest Brewer |
Scheduling and binding bounds for RT-level symbolic execution.  |
ICCAD  |
1997 |
DBLP DOI BibTeX RDF |
ALAP bounds, as-late-as-possible bounds, binding bounds, efficient operand mapping bound, exact scheduling problem, minimal schedule length, operand recomputation, point-to-point delays, pre-defined data path, register transfer level symbolic execution, time improvement factors, transitive memory units, processor scheduling |
44 | Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi |
SPEED: precise and efficient static estimation of program computational complexity.  |
POPL  |
2009 |
DBLP DOI BibTeX RDF |
counter instrumentation, quantitative functions, symbolic complexity bounds, termination analysis |
44 | Chris Bentley, Scott A. Watterson, David K. Lowenthal, Barry Rountree |
Implicit array bounds checking on 64-bit architectures.  |
ACM Trans. Archit. Code Optim.  |
2006 |
DBLP DOI BibTeX RDF |
virtual memory, Array-bounds checking, 64-bit architectures |
43 | Sieteng Soh, Suresh Rai, Jerry L. Trahan |
Improved Lower Bounds on the Reliability of Hypercube Architectures.  |
IEEE Trans. Parallel Distributed Syst.  |
1994 |
DBLP DOI BibTeX RDF |
Boolean n-cube, structural-reliability models, tighter bounds, time O(n/sup 2/), reliability bounds, computational complexity, reliability, reliability, parallel architectures, lower bounds, fault tolerant computing, hypercube, hypercube networks, spanning trees, network reliability, node failure, path generation, hypercube topology, terminal reliability, hypercube architecture |
42 | Wael M. Elseaidy |
Static and dynamic analysis of real-time systems.  |
ACM Southeast Regional Conference  |
1992 |
DBLP DOI BibTeX RDF |
SUP-INF procedure, Spec U/L bounds, deterministic timing tools, negative cycle, positive cycle, program U/L bounds, Real-time, theorem proving, real-time logic |
42 | Daiyuan Peng, Pingzhi Fan, Moon Ho Lee |
Lower bounds on the periodic Hamming correlations of frequency hopping sequences with low hit zone.  |
Sci. China Ser. F Inf. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
frequency hopping sequences, Hamming correlation, Lempel-Greenberger bounds, low hit zone, no hit zone, lower bounds |
42 | Frederick D. Garber, Abdelhamid Djouadi |
Bounds on the Bayes Classification Error Based on Pairwise Risk Functions.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
1988 |
DBLP DOI BibTeX RDF |
Bayes classification error, pairwise risk functions, composite-hypothesis classification, pairwise Bayes risk, pattern recognition, pattern recognition, lower bounds, upper bounds, decision theory, Bayes methods, error statistics |
40 | Michal Hospodár, Galina Jirásková, Peter Mlynárcik |
A Survey on Fooling Sets as Effective Tools for Lower Bounds on Nondeterministic Complexity.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
38 | Chris Bentley, Scott A. Watterson, David K. Lowenthal, Barry Rountree |
Implicit java array bounds checking on 64-bit architecture.  |
ICS  |
2004 |
DBLP DOI BibTeX RDF |
java, virtual memory, array-bounds checking |
38 | Amir M. Ben-Amram, Zvi Galil |
Lower Bounds for Dynamic Data Structures on Algebraic RAMs.  |
Algorithmica  |
2002 |
DBLP DOI BibTeX RDF |
Cell-probe lower bounds, Dynamic prefix sum, Union-find, Random access machine |
38 | Michael V. Mannino, Vijay S. Mookerjee |
Probability Bounds for Goal Directed Queries in Bayesian Networks.  |
IEEE Trans. Knowl. Data Eng.  |
2002 |
DBLP DOI BibTeX RDF |
probability bounds, acquisition cost, Bayesian networks, sequential decision making |
38 | Mikel Luján, John R. Gurd, T. L. Freeman, José Miguel-Alonso |
Elimination of Java array bounds checks in the presence of indirection.  |
Java Grande  |
2002 |
DBLP DOI BibTeX RDF |
array indirection, Java, array bounds check |
37 | Krishnamurthy Dvijotham, Soumen Chakrabarti, Subhasis Chaudhuri |
New closed-form bounds on the partition function.  |
Mach. Learn.  |
2008 |
DBLP DOI BibTeX RDF |
Associative potential, Graphical model, Variational methods, Belief propagation, Partition function, Approximate inference |
37 | Yvo Desmedt, Brian King, Berry Schoenmakers |
Revisiting the Karnin, Greene and Hellman Bounds.  |
ICITS  |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Alan C. Shaw |
Reasoning About Time in Higher-Level Language Software.  |
IEEE Trans. Software Eng.  |
1989 |
DBLP DOI BibTeX RDF |
higher-level language software, program elements, time-related statements, timing invariants, periodic processes, real-time systems, real-time, formal specification, synchronization, specification, lower bounds, delay, concurrent programs, synchronisation, upper bounds, assertions, deadlines, execution times, computer times, formal logic, Hoare logic, timing bounds, sequential programs |
36 | John A. Buzacott, Dinah W. Cheng |
Improved bounds for queues with delayed arrivals.  |
Queueing Syst. Theory Appl.  |
1998 |
DBLP DOI BibTeX RDF |
improved bounds, delayed arrivals, bounds |
36 | Jaikumar Radhakrishnan, Amnon Ta-Shma |
Tight Bounds for Depth-two Superconcentrators.  |
FOCS  |
1997 |
DBLP DOI BibTeX RDF |
depth-two superconcentrators, optimal bounds, disperser graphs, entropy loss, superconcentrator, entropy, directed graphs, directed graph, edges, tight bounds |
35 | Jeffrey D. Ouellette, Ethan Raines, Joel T. Johnson, William T. Bounds, David J. Dowgiallo, Jakov V. Toporkov, Paul A. Hwang |
Sea Surface Scattering Observations and Predictions Using Satellite-Based S-Band Signals-of-Opportunity.  |
IEEE Trans. Geosci. Remote. Sens.  |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Oren Weiss, Hayley A. Bounds, Hillel Adesnik, Ruben Coen Cagli |
Modeling the diverse effects of divisive normalization on noise correlations.  |
PLoS Comput. Biol.  |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Jeffrey D. Ouellette, William T. Bounds, David J. Dowgiallo, Jakov V. Toporkov, Paul A. Hwang |
On the Sensitivity of Passive Multistatic Radar Amplitude and Doppler Measurements to Significant Wave Height.  |
IEEE Geosci. Remote. Sens. Lett.  |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Justin Bobak, Scott Rudolph, Blerta Markowski, David Bonanno, Michael Nurnberger, Brian Hicks, Hatim Alqadah, William Bounds |
Further Development of the Mechanically-Actuated Reconfigurable Reflectarry (MARR) for the Microwave Single Pixel Imager (MSPI).  |
IGARSS  |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Justin Bobak, Scott Rudolph, Michael Nurnberger, Hatim Alqadah, Brian Hicks, Blerta Markowski, David Bonanno, William Bounds |
Mechanically-Actuated Reconfigurable Reflectarray (MARR) for Microwave Single Pixel Imager (MSPI).  |
IGARSS  |
2020 |
DBLP DOI BibTeX RDF |
|
35 | Justin Bobak, Hatim Alqadah, Michael Nurnberger, Scott Rudolph, William Bounds, Tanish P. Himani |
Imaging Algorithm and Measurement Error Impact on Retrievals from the Microwave Single Pixel Imager (MSPI).  |
IGARSS  |
2020 |
DBLP DOI BibTeX RDF |
|
35 | Alireza Tavakkoli, Brandon Wilson, Matthew Bounds |
An Immersive Virtual Environment for Teleoperation of Remote Robotic Agents for Everyday Applications in Prohibitive Environments.  |
VR Workshops  |
2020 |
DBLP DOI BibTeX RDF |
|
35 | Brandon Wilson, Matthew Bounds, David McFadden, Jace Regenbrecht, Loveth Ohenhen, Alireza Tavakkoli, Donald Loffredo |
VETO: An Immersive Virtual Environment for Tele-Operation.  |
Robotics  |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Mallory Bounds Sheth, Roy E. Welsch, Natasha Markuzon |
The Univariate Flagging Algorithm (UFA): a Fully-Automated Approach for Identifying Optimal Thresholds in Data.  |
CoRR  |
2016 |
DBLP BibTeX RDF |
|
35 | Matthew Bounds, Brandon Wilson, Alireza Tavakkoli, Donald Loffredo |
An Integrated Cyber-Physical Immersive Virtual Reality Framework with Applications to Telerobotics.  |
ISVC (2)  |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Brandon Wilson, Matthew Bounds, Alireza Tavakkoli |
A full-body motion calibration and retargeting for intuitive object manipulation in immersive virtual environments.  |
SEARIS  |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Brandon Wilson, Matthew Bounds, Alireza Tavakkoli |
Hand motion calibration and retargeting for intuitive object manipulation in immersive virtual environments.  |
VR  |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Mallory Bounds Sheth, Abdullah Chahin, Roger Mark, Natasha Markuzon |
Protective effects of rheumatoid arthritis in septic ICU patients.  |
IEEE BigData  |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Marcellus W. Bounds III |
IEEE 1512 family of standards.  |
Space Commun.  |
2002 |
DBLP BibTeX RDF |
|
35 | K. Davey, S. Bounds |
A Generalized SOR Method for Dense Linear Systems of Boundary Element Equations.  |
SIAM J. Sci. Comput.  |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Bryn V. Williams, Richard T. J. Bostock, David Bounds, Alan J. Harget |
Improving Classification Performance in the Bumptree Network by Optimising Topology with a Genetic Algorithm.  |
International Conference on Evolutionary Computation  |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Scott R. Bounds, Shannon E. Schroer, Bernard J. Schroer |
Experimentation with telerobotics for use in space systems.  |
J. Intell. Robotic Syst.  |
1990 |
DBLP DOI BibTeX RDF |
space systems, human factors, Telerobotics |
35 | Bradley T. Binder, Peter T. Yu, Jeffrey H. Shapiro, Jeffrey K. Bounds |
An atmospheric optical ring network.  |
IEEE Trans. Commun.  |
1990 |
DBLP DOI BibTeX RDF |
|
35 | David G. Bounds, Paul J. Lloyd, Bruce G. Mathew |
A comparison of neural network and other pattern recognition approaches to the diagnosis of low back disorders.  |
Neural Networks  |
1990 |
DBLP DOI BibTeX RDF |
|
35 | David G. Bounds, Paul J. Lloyd, Bruce G. Mathew, Gordon Waddell |
A multilayer perceptron network for the diagnosis of low back pain.  |
ICNN  |
1988 |
DBLP DOI BibTeX RDF |
|
35 | Ran Raz |
Tensor-rank and lower bounds for arithmetic formulas.  |
STOC  |
2010 |
DBLP DOI BibTeX RDF |
homogenous circuits, multilinear circuits, tensor rank, lower bounds, arithmetic circuits |
35 | Amit Chakrabarti, Graham Cormode, Andrew McGregor 0001 |
Robust lower bounds for communication and stream computation.  |
STOC  |
2008 |
DBLP DOI BibTeX RDF |
lower bounds, data streams, communication complexity |
35 | Mihai Patrascu |
Lower bounds for 2-dimensional range counting.  |
STOC  |
2007 |
DBLP DOI BibTeX RDF |
cell-probe complexity, orthogonal range queries, lower bounds |
35 | Xue Liu 0001, Tarek F. Abdelzaher |
On Non-Utilization Bounds for Arbitrary Fixed Priority Policies.  |
IEEE Real Time Technology and Applications Symposium  |
2006 |
DBLP DOI BibTeX RDF |
Real-time scheduling, schedulability analysis, utilization bounds, aperiodic tasks |
35 | John Langford 0001, Avrim Blum |
Microchoice Bounds and Self Bounding Learning Algorithms.  |
Mach. Learn.  |
2003 |
DBLP DOI BibTeX RDF |
Occam's razor, self-bounding algorithms, PAC bounds, sample complexity |
35 | Ziv Bar-Yossef |
Sampling lower bounds via information theory.  |
STOC  |
2003 |
DBLP DOI BibTeX RDF |
lower bounds, query complexity, Jensen-Shannon divergence |
34 | Joel L. Horowitz, Charles F. Manski, Maria Ponomareva, Jürg Stoye |
Computation of Bounds on Population Parameters When the Data Are Incomplete.  |
Reliab. Comput.  |
2003 |
DBLP DOI BibTeX RDF |
|
34 | M. Narasimhan, J. Ramanujam |
On lower bounds for scheduling problems in high-level synthesis.  |
DAC  |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Hans-Joachim Böckenhauer, Dennis Komm, Walter Unger (eds.) |
Adventures Between Lower Bounds and Higher Altitudes - Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Joss Miller-Todd, Kathleen Steinhöfel, Patrick Veenstra |
Firefly-Inspired Algorithm for Job Shop Scheduling.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Annalisa D'Andrea, Luca Forlizzi, Guido Proietti |
Stability of Reapproximation Algorithms for the \beta β -Metric Traveling Salesman (Path) Problem.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Juhani Karhumäki, Markus A. Whiteland |
Regularity of k-Abelian Equivalence Classes of Fixed Cardinality.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Ulrik Schroeder, Nadine Bergner, Thiemo Leonhardt |
Paving the Way for Computer Science in German Schools.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Pavol Duris, Rafael Korbas, Rastislav Královic, Richard Královic |
Determinism and Nondeterminism in Finite Automata with Advice.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Stefan Wolf 0001 |
Second Thoughts on the Second Law.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Walter Gander |
Infinity and Finite Arithmetic.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Björn Feldkord, Manuel Malatyali, Friedhelm Meyer auf der Heide |
A Dynamic Distributed Data Structure for Top-k and k-Select Queries.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Arto Salomaa |
Parikh Matrices: Subword Indicators and Degrees of Ambiguity.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Georg Schnitger |
Probabilism versus Alternation for Automata.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Anna Zych-Pawlewicz |
Reoptimization of NP-Hard Problems.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Christos A. Kapoutsis |
Optimal 2DFA Algorithms for One-Way Liveness on Two and Three Symbols.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Farid M. Ablayev, Marat Ablayev, Kamil Khadiev, Alexander Vasiliev |
Classical and Quantum Computations with Restricted Memory.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Martin Dietzfelbinger |
Universal Hashing via Integer Arithmetic Without Primes, Revisited.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Jetty Kleijn, Maciej Koutny, Lukasz Mikulski, Grzegorz Rozenberg |
Reaction Systems, Transition Systems, and Equivalences.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Ralf Klasing, Tobias Mömke |
A Modern View on Stability of Approximation.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Tim Bell 0001, Jan Vahrenhold |
CS Unplugged - How Is It Used, and Does It Work?  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Valentina Dagiene |
Resurgence of Informatics Education in Schools - A Way to a Deeper Understanding of Informatics Concepts.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Hans-Joachim Böckenhauer, Lucia Di Caro, Walter Unger |
Fully Online Matching with Advice on General Bipartite Graphs and Paths.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Shogo Ehara, Kazuo Iwama, Junichi Teruyama |
Small Complexity Gaps for Comparison-Based Sorting.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Elisabet Burjons, Fabian Frei, Jasmin Smula, David Wehner |
Length-Weighted Disjoint Path Allocation - Advice and Parametrization.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Branislav Rovan, Simon Sádovský |
On Usefulness of Information: Framework and NFA Case.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Lane A. Hemaspaandra |
That Most Important Intersection.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Takashi Okumura, Koichi Wada 0001, Yoshiaki Katayama |
Rendezvous of Asynchronous Mobile Robots with Lights.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Katerina Böhmová, Jérémie Chalopin, Matús Mihalák, Guido Proietti, Peter Widmayer |
Sequence Hypergraphs: Paths, Flows, and Cuts.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Tom Verhoeff |
A Master Class on Recursion.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | David Harel, Assaf Marron |
Toward Scenario-Based Algorithmics.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Josep Fàbrega, Xavier Muñoz |
Online Matching in Regular Bipartite Graphs with Randomized Adversary.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Marios Mavronicolas, Burkhard Monien |
NP NP -Hardness of Equilibria in Case of Risk-Averse Players.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Joan Boyar, Lene M. Favrholdt, Kim S. Larsen |
Relative Worst-Order Analysis: A Survey.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Christos H. Papadimitriou |
About Place Cells and Grid Cells - About Place Cells and Grid Cells.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Jens Gallenbacher |
The Adventure of Computer Science - Understanding the Impact of Informatics on General Education and Designing the Living Environment.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Peter Rossmanith |
On the Advice Complexity of Online Edge- and Node-Deletion Problems.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Michael R. Fellows, Lars Jaffke, Aliz Izabella Király, Frances A. Rosamond, Mathias Weller |
What Is Known About Vertex Cover Kernelization?  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Michael R. Fellows, Frances A. Rosamond, Maise Dantas da Silva, Uéverton S. Souza |
A Survey on the Complexity of Flood-Filling Games.  |
Adventures Between Lower Bounds and Higher Altitudes  |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Monika Rauch Henzinger, Michael L. Fredman |
Lower Bounds for Fully Dynamic Connectivity Problems in Graphs.  |
Algorithmica  |
1998 |
DBLP DOI BibTeX RDF |
Dynamic planarity testing, Dynamic connectivity testing, Dynamic planarity testing, Dynamic connectivity testing, Lower bounds, Lower bounds, Key words, Cell probe model, Cell probe model |
33 | David T. Clemens, David W. Jacobs |
Space and Time Bounds on Indexing 3D Models from 2D Images.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
1991 |
DBLP DOI BibTeX RDF |
3D model indexing, visual recognition systems, grouping operation, feature extraction, computerised picture processing, computerised pattern recognition, image features, time bounds, 2D images, model-based recognition, space bounds, model features |
32 | Daniel J. Rosenkrantz, Lin Yu, S. S. Ravi |
Efficient Construction of Minimum Makespan Schedules for Tasks with a Fixed Number of Distinct Execution Times.  |
Algorithmica  |
2001 |
DBLP DOI BibTeX RDF |
Cell-probe lower bounds, Dynamic prefix sum, Union-find, Random access machine |
32 | Georg Gottlob, Stephanie Tien Lee, Gregory Valiant |
Size and treewidth bounds for conjunctive queries.  |
PODS  |
2009 |
DBLP DOI BibTeX RDF |
size bounds, database theory, conjunctive queries, treewidth |
32 | Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris |
Speculative improvements to verifiable bounds check elimination.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
SafeTSA, array bounds check elimination, verifiable annotations, Java, optimization, just-in-time compilation |
32 | Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck |
Array bounds check elimination for the Java HotSpot™ client compiler.  |
PPPJ  |
2007 |
DBLP DOI BibTeX RDF |
array bounds check elimination, Java, optimization, performance, just-in-time compilation |
32 | Wei Sun, Kang G. Shin |
End-to-end delay bounds for traffic aggregates under guaranteed-rate scheduling algorithms.  |
IEEE/ACM Trans. Netw.  |
2005 |
DBLP DOI BibTeX RDF |
aggregate scheduling, end-to-end (e2e) delay bounds, token bucket model, traffic aggregation |
32 | Thore Graepel, Ralf Herbrich, John Shawe-Taylor |
PAC-Bayesian Compression Bounds on the Prediction Error of Learning Algorithms for Classification.  |
Mach. Learn.  |
2005 |
DBLP DOI BibTeX RDF |
sample compression, PAC-Bayes, kernel classifiers, classification, error bounds |
32 | Deniz Erdogmus, José C. Príncipe |
Lower and Upper Bounds for Misclassification Probability Based on Renyi's Information.  |
J. VLSI Signal Process.  |
2004 |
DBLP DOI BibTeX RDF |
classifier performance, Renyi's entropy, Fano's inequality, error bounds |
32 | Marco A. Boschetti, Aristide Mingozzi |
The two-dimensional finite bin packing problem. Part I: New lower bounds for the oriented case.  |
4OR  |
2003 |
DBLP DOI BibTeX RDF |
Lower Bounds, Combinatorial Optimization, Cutting and Packing |
32 | Ryan O'Donnell, Rocco A. Servedio |
New degree bounds for polynomial threshold functions.  |
STOC  |
2003 |
DBLP DOI BibTeX RDF |
ptfs, learning, lower bounds, polynomials, duality, degree, formulas, polynomial threshold functions |
32 | Dani Lischinski, Brian E. Smits, Donald P. Greenberg |
Bounds and error estimates for radiosity.  |
SIGGRAPH  |
1994 |
DBLP DOI BibTeX RDF |
a posteriori error bounds and estimates, global illumination, hierarchical radiosity, importance, adaptive refinement |
31 | Paul Beame, Erik Vee |
Time-Space Tradeoffs, Multiparty Communication Complexity, and Nearest-Neighbor Problems.  |
CCC  |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Gabriel Nivasch |
Improved bounds and new techniques for Davenport-Schinzel sequences and their generalizations.  |
SODA  |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Krishnamurthy Dvijotham, Soumen Chakrabarti, Subhasis Chaudhuri |
New Closed-Form Bounds on the Partition Function.  |
ECML/PKDD (1)  |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Igal Sason, Idan Goldenberg |
Coding for Parallel Channels: Gallager Bounds and Applications to Turbo-Like Codes.  |
IEEE Trans. Inf. Theory  |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Rüdiger Ebendt, Rolf Drechsler |
Effect of improved lower bounds in dynamic BDD reordering.  |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.  |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Lifang Feng, Pingzhi Fan |
Generalized Bounds on Partial Aperiodic Correlation of Complex Roots of Unity Sequences.  |
SETA  |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Rüdiger Ebendt, Rolf Drechsler |
Lower bounds for dynamic BDD reordering.  |
ASP-DAC  |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 29763 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|