The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase worst-case computational complexity (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1985-2006 (15) 2007-2009 (5)
Publication types (Num. hits)
article(7) inproceedings(13)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 28 occurrences of 27 keywords

Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
48Gerald M. Karam, Raymond J. A. Buhr Temporal Logic-Based Deadlock Analysis For Ada. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
27Paolo Valente Exact GPS simulation and optimal fair scheduling with logarithmic complexity. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF scheduling, complexity theory, tree data structures
25A. P. Yogananda, M. Narasimha Murty, Lakshmi Gopal A fast linear separability test by projection of positive points on subspaces. Search on Bibsonomy ICML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Yongmei Dai, Zhiyuan Yan Efficient ordering schemes for sphere decoder. Search on Bibsonomy SiPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Jacob Burnim, Sudeep Juvekar, Koushik Sen WISE: Automated test generation for worst-case complexity. Search on Bibsonomy ICSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Georgios Paliouras, David S. Brée The Effect of Numeric Features on the Scalability of Inductive Learning Programs. Search on Bibsonomy ECML The full citation details ... 1995 DBLP  DOI  BibTeX  RDF empirical concept learning, numeric features, scalability, decision trees
13Turgay Korkmaz, Marwan Krunz, Spyros Tragoudas An efficient algorithm for finding a path subject to two additive constraints. Search on Bibsonomy SIGMETRICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF multiple constrained path selection, QoS routing, scalable routing
12Éric Grégoire Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases. Search on Bibsonomy ESCQARU The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
11Yongmei Dai, Zhiyuan Yan A modified MMSE-SD soft detector for coded MIMO-OFDM systems. Search on Bibsonomy ISCAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Saumya K. Debray On the Complexity of Dataflow Analysis of Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF complexity, Prolog, program analysis
10Marta M. B. Pascoal, M. Eugénia V. Captivo, João C. N. Clímaco A note on a new variant of Murty's ranking assignments algorithm. Search on Bibsonomy 4OR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Graph theory, mathematical programming, combinatorics
10Raffaele Cerulli, Paola Festa, Giancarlo Raiconi, G. Visciano The Auction Technique for the Sensor Based Navigation Planning of an Autonomous Mobile Robot. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF robot motion, Auction method, shortest path
10Jinggang Wang, Binoy Ravindran BPA: A Fast Packet Scheduling Algorithm for Real-Time Switched Ethernet Networks. Search on Bibsonomy ICPP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Clark F. Olson Decomposition of the Hough Transform: Curve Detection with Efficient Error Propagation. Search on Bibsonomy ECCV (1) The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
10Saumya K. Debray On the Complexity of Dataflow Analysis of Logic Programs. Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
9Héctor Cancela, María E. Urquhart Adapting RVR Simulation Techniques for Residual Connectedness Network. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2002 DBLP  DOI  BibTeX  RDF residual connectedness network reliability, recursive variance reduction, simulation, Monte Carlo methods
8Yuguo He An Efficient Attribute Reduction Algorithm. Search on Bibsonomy IDEAL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Stella N. Batalama, Dimitrios A. Pados, Theodore S. Papatheodorou A heuristic single-row router minimizing interstreet crossings. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
8Scott M. Huse Optimal Path Analysis Using a Predator-Prey Neural Network Model. Search on Bibsonomy IEA/AIE (Vol. 2) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
8Tak-Kwong Ng, S. Lennart Johnsson Generation of layouts from MOS circuit schematics: a graph theoretic approach. Search on Bibsonomy DAC The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #20 of 20 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license