|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22091 occurrences of 8614 keywords
|
|
|
Results
Found 30405 publication records. Showing 30405 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Marcel Erné |
Intervals in Lattices of alpha-Meet-Closed Subsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 21(2), pp. 137-153, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
(weakly) atomic, (strongly) coatomic, extremally detachable, meet-closed, interval, prime, semilattice, complete lattice, irreducible |
13 | Xueyan Tang, Samuel T. Chanson |
The Minimal Cost Distribution Tree Problem for Recursive Expiration-Based Consistency Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 15(3), pp. 214-227, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Expiration-based consistency management, optimization, performance analysis, caching, graph theory, replication, NP-complete |
13 | Jochen Alber, Michael R. Fellows, Rolf Niedermeier |
Polynomial-time data reduction for dominating set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 51(3), pp. 363-384, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
plannar graphs, problem kernel, NP-complete problems, dominating set, data reduction, fixed-parameter tractability |
13 | Appu Muthusamy |
On Resolvable Multipartite G-Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 20(3), pp. 377-382, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Cycle-factorization, Wreath product of graphs, Complete symmetric k-partite multi-digraph, Resesolvable multipartite G-design |
13 | Nick Bezhanishvili, Ian M. Hodkinson |
All Normal Extensions of S5-squared Are Finitely Axiomatizable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 78(3), pp. 443-457, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
finite axiomatization, better-quasi-ordering, NP-complete, modal logic |
13 | Radu Prodan, Thomas Fahringer |
ZENTURIO: A Grid Service-Based Tool for Optimising Parallel and Grid Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Grid Comput. ![In: J. Grid Comput. 2(1), pp. 15-29, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
NP-complete optimisations, semi-automatic performance benchmarking, throughput scheduling, genetic algorithms, OGSA, Grid applications, OGSI, Grid/Web services |
13 | Nizar Marcus |
E-Compactness in Pointfree Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 11(2), pp. 125-133, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
nearness frames, relatively spatial reflections, E-complete frames, E-compact frames, Cauchy completeness, frames |
13 | Jens Gramm, Rolf Niedermeier, Peter Rossmanith |
Fixed-Parameter Algorithms for CLOSEST STRING and Related Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 37(1), pp. 25-42, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Consensus word analysis, NP-complete, Exact algorithms, Fixed-parameter tractability |
13 | Mariko Hagita, André Kündgen, Douglas B. West |
Probabilistic Methods for Decomposition Dimension of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 19(4), pp. 493-503, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Union-free family, Hypercube, Random graph, Probabilistic method, Cartesian product, Complete graph |
13 | Eugene Shragowitz, Habib Youssef, Bing Lu |
Iterative Converging Algorithms for Computing Bounds on Durations of Activities in Pert and Pert-Like Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 7(1), pp. 5-22, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
duration of activities, scheduling, approximation algorithms, directed acyclic graphs, NP-complete problems, critical path, timing bounds, PERT, slack |
13 | Cristina Bazgan, Zsolt Tuza, Daniel Vanderpooten |
On the Existence and Determination of Satisfactory Partitions in a Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003, Proceedings, pp. 444-453, 2003, Springer, 3-540-20695-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Satisfactory partition, degree constraints, complexity, graph, NP-complete, polynomial algorithm |
13 | Layuan Li, Chunlin Li 0001 |
A QoS Multicast Routing Protocol for Dynamic Group Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings, pp. 980-988, 2003, Springer, 3-540-40788-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multiple QoS constraints, protocol, NP-complete, QoS routing, Multicast routing |
13 | Michelle Moore |
An Accurate and Efficient Parallel Genetic Algorithm to Schedule Tasks on a Cluster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 145, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
genetic algorithms, NP-complete, scheduling algorithms, parallel genetic algorithms, parallel scheduling |
13 | Edwin D. de Jong, Jordan B. Pollack |
Learning the Ideal Evaluation Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I, pp. 274-285, 2003, Springer, 3-540-40602-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Complete Evaluation Set, ideal evaluation, underlying objectives, Pareto-hillclimber, over-specialization, Coevolution, Pareto-Coevolution |
13 | Lee J. White, Husain Almezen, Shivakumar Sastry |
Firewall Regression Testing of GUI Sequences and their Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 19th International Conference on Software Maintenance (ICSM 2003), The Architecture of Existing Systems, 22-26 September 2003, Amsterdam, The Netherlands, pp. 398-409, 2003, IEEE Computer Society, 0-7695-1905-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Complete Interaction GUI Sequences, Graphical User Interfaces, Regression Testing, GUI Testing |
13 | Iyad A. Kanj, Ljubomir Perkovic |
Improved Parameterized Algorithms for Planar Dominating Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings, pp. 399-410, 2002, Springer, 3-540-44040-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
planar dominating set, NP-complete problems, parameterized algorithms |
13 | Alexander E. Mohr |
Bit Allocation in Sub-linear Time and the Multiple-Choice Knapsack Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2002 Data Compression Conference (DCC 2002), 2-4 April, 2002, Snowbird, UT, USA, pp. 352-361, 2002, IEEE Computer Society, 0-7695-1477-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multiple choice knapsack problem, MCKP, data compression, NP-complete, NP-hard, quantization, knapsack problem, bit allocation, rate-distortion optimization |
13 | Ian Agol, Joel Hass, William P. Thurston |
3-manifold knot genus is NP-complet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 34th Annual ACM Symposium on Theory of Computing, May 19-21, 2002, Montréal, Québec, Canada, pp. 761-766, 2002, ACM, 1-58113-495-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
3-manifold, normal surface, computational complexity, NP-complete, knot, genus |
13 | S. L. Lee, H.-J. Ho |
Algorithms and Complexity for Weighted Hypergraph Embedding in a Cycle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 1st International Symposium on Cyber Worlds (CW 2002), 6-8 November 2002, Tokyo, Japan, pp. 70-78, 2002, IEEE Computer Society, 0-7695-1862-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Approximation Algorithm, Parallel Computing, NP-Complete, LP-Relaxation |
13 | Vincenzo Cutello, Giuseppe Nicosia |
An Immunological Approach to Combinatorial Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2002, 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings, pp. 361-370, 2002, Springer, 3-540-00131-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Evolutionary Computation, Combinatorial Optimization, NP-complete problems, Immune Algorithms |
13 | Mojgan Mahmoudi, M. Mehdi Ebrahimi |
Purity and Equational Compactness of Projection Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(4), pp. 381-394, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
projection algebra, pure, equationally compact, s-pure, s-compact, s-injective, pure-essential, equational compact hull, injective hull, complete, sequence |
13 | Young-Joo Suh, Kang G. Shin |
All-to-All Personalized Communication in Multidimensional Torus and Mesh Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(1), pp. 38-59, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
direct exchange, message-combining, Collective communication, interprocessor communication, complete exchange, all-to-all personalized communication |
13 | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir |
Axiomatizing Tropical Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 42-56, 2001, Springer, 3-540-41864-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
relative axiomatizations, commutative idempotent weak semirings, tropical semirings, exponential time complexity, convexity, varieties, Equational logic, complete axiomatizations |
13 | Janis Cirulis |
Are There Essentially Incomplete Knowledge Representation Systems? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001, Proceedings, pp. 94-105, 2001, Springer, 3-540-42487-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
complete information, fuzzification, knowledge representation system, simulation, uncertainty |
13 | Arun K. Somani, Allen M. Sansano |
Achieving Robustness and Minimizing Overhead in Parallel Algorithms Through Overlapped Communication/Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 16(1-2), pp. 27-52, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Proteus Parallel Computer System, overlapping computing and communication, partitioning and scheduling for high-performance, fault tolerance, communication overhead, complete exchange |
13 | Ching-Hsien Hsu, Yeh-Ching Chung, Chyi-Ren Dow |
Efficient Methods for Multi-Dimensional Array Redistribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 17(1), pp. 23-46, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
the basic-block calculation technique, the complete-dimension calculation technique, distributed memory multicomputers, array redistribution |
13 | Helmut Röhrl |
Completeness and Cocompleteness of RSmod1 N. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(1-2), pp. 257-269, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
prenormed semimodule, N-summation, cocomplete, free objects, complete |
13 | Satoshi Ohtake, Toshimitsu Masuzawa, Hideo Fujiwara |
A Non-Scan Approach to DFT for Controllers Achieving 100% Fault Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 16(5), pp. 553-566, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
non-scan design for testability, complete fault efficiency, controllers, at-speed test |
13 | Jean-Philippe Tarel, David B. Cooper |
The Complex Representation of Algebraic Curves and Its Simple Exploitation for Pose Estimation and Invariant Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 22(7), pp. 663-674, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Complex polynomials, pose-independent curve recognition, Euclidean invariants, complete-sets of rotation invariants, curve centers, implicit polynomial curves, pose estimation, shape representation, shape recognition, algebraic curves |
13 | Yukikazu Nakamoto, Yoshihiro Tsujino, Nobuki Tokura |
Real-time task scheduling algorithms for maximum utilization of secondary batteries in portable devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 347-354, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
secondary cells, power generation scheduling, power engineering computing, real time task scheduling algorithms, maximum utilization, secondary batteries, low power energy techniques, dynamic real time scheduling algorithms, secondary battery consumption, CPU frequency, real time scheduling algorithm, discrete frequency control, arbitrary frequency, real-time systems, computational complexity, computational complexity, NP-complete, portable devices, decision problem, portable computers, scheduling problem, task switching, real time tasks, amortized analysis, optimal scheduling algorithm, frequency control, frequency control |
13 | Byung-Kyu Choi, Riccardo Bettati |
Efficient resource management for hard real-time communication over differentiated services architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 119-126, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
hard real-time communication, differentiated services architectures, sink trees, admission probability, link resource utilization, resource allocation, resource management, heuristic algorithm, NP-complete problem, resource reservation, computer network management, telecommunication services, simulation experiments |
13 | Kai Song Goh, Andrew Lim 0001 |
Combining various algorithms to solve the ship berthing problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 370-, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
ship berthing problem, acyclic list, randomized local search, genetic algorithm, performance, computational complexity, Tabu search, directed graphs, directed acyclic graph, search problems, NP-complete problems |
13 | Sergio De Agostino |
Speeding up Parallel Decoding of LZ Compressed Text on the PRAM EREW. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE ![In: Seventh International Symposium on String Processing and Information Retrieval, SPIRE 2000, A Coruña, Spain, September 27-29, 2000, pp. 2-7, 2000, IEEE Computer Society, 0-7695-0746-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
LZ compressed text, PRAM EREW, sliding window compression, LZ2 compression method, LZ1 compression, output string, next character heuristic, identity heuristic, data compression, dictionary, text compression, P-complete, parallel decoding |
13 | Juan Castellanos, Gheorghe Paun, Alfonso Rodríguez-Patón |
Computing with Membranes: P Systems with Worm-Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE ![In: Seventh International Symposium on String Processing and Information Retrieval, SPIRE 2000, A Coruña, Spain, September 27-29, 2000, pp. 65-74, 2000, IEEE Computer Society, 0-7695-0746-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
worm-objects, string multisets, output membrane, recursively enumerable sets, quadratic time, membrane division, computational complexity, directed graph, NP-complete problem, symbols, P systems, linear time, SAT problem, Hamiltonian Path Problem, polynomial solution |
13 | William G. Howerton, Michael G. Hinchey |
Using the Right Tool for the Job. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 105-, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
integration phases, development technique, informal specification techniques, abstract highly structured models, rigorous analysis, Air Force Weather Agency Standard Degribber, meteorological system, data decoding/encoding, World Meteorological Organization, standard Gridded Binary format, state based issues, complete specification, tool box approach, UML, formal specification, formal methods, semantics, software specification, specification technique, formal notation, modular approach, component specification, complex systems development |
13 | Maria E. Markaki, Marios P. Saltouros, Iakovos S. Venieris |
Proportional Packet Loss Differentiation and Buffer Management for Differentiated Services in the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 306-313, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
proportional packet loss differentiation, buffer management algorithm, differentiated services architecture, class-based queuing, QoS traffic classes, OPNET Modeler 6.0.L, complete partitioning, push-out, push-out with threshold, quality of service, quality of service, Internet, Internet, queueing theory, packet switching, scheduling algorithm, digital simulation, differentiated services, buffer storage, telecommunication network routing, telecommunication traffic, packet loss, IP routers, simulation platform |
13 | Xiang-Yang Li 0001, Liwu Liu, Peng-Jun Wan, Ophir Frieder |
Practical Traffic Grooming Scheme for Single-Hub SONET/WDM Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 556-564, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
multiplexing equipment, demultiplexing equipment, practical traffic grooming, single-hub SONET/WDM rings, SONET/WDM networks, low rate tributary streams, SONET add/drop multiplexer, electronic multiplexing, electronic demultiplexing, tributary traffic patterns, minimal resource cost, BLSR/2, UPSR, optimal grooming, line speeds, computational complexity, approximation algorithms, network topology, NP-complete problem, wavelength division multiplexing, telecommunication traffic, approximation theory, ADM, SONET, optical fibre networks, nonuniform traffic |
13 | Géraud Sénizergues |
T(A) = T(B)? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings, pp. 665-675, 1999, Springer, 3-540-66224-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
deterministic pushdown transducers, finite dimensional vector spaces, matrix semi-groups, complete formal systems, test-sets, rational series |
13 | Marcos Cordeiro d'Ornellas, Rein van den Boomgaard |
Developing Morphological Building Blocks: From Design to Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: XII Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI '99), October 17-20, 1999, Campinas, Brazil, pp. 303-, 1999, IEEE Computer Society, 0-7695-0481-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
image algebra, morphological algorithms, mathematical morphology, complete lattices |
13 | Tim Kovacs |
Strength or Accuracy? Fitness Calculation in Learning Classifier Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Learning Classifier Systems ![In: Learning Classifier Systems, From Foundations to Applications, pp. 143-160, 1999, Springer, 3-540-67729-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
strong overgeneral classifiers, biased reward functions, accuracy-based fitness, complete covering maps, exploration, XCS |
13 | Tomoko Ninomiya, Masao Mukaidono |
Clarifying the Axioms of Kleene Algebra based on the Method of Indeterminate Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 29th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1999, Freiburg im Breisgau, Germany, May 20-22, 1999, Proceedings, pp. 125-130, 1999, IEEE Computer Society, 0-7695-0161-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
the Method of Indeteminate Coefficients, Independency of axiom, Complete axioms, Kleene Algebra |
13 | Géraud Sénizergues |
Decidability of Bisimulation Equivalence for Equational Graphs of Finite Out-Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 39th Annual Symposium on Foundations of Computer Science, FOCS '98, November 8-11, 1998, Palo Alto, California, USA, pp. 120-129, 1998, IEEE Computer Society, 0-8186-9172-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
equational graphs, deterministic pushdown automata, rational languages, matrix semi-groups, complete formal systems, decidability, bisimulation |
13 | Nimrod Bayer, Yaakov Kogan |
Branching/queueing networks: Their introduction and near-decomposability asymptotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 27(3-4), pp. 251-269, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
nearly complete decomposability, closed queueing networks, branching processes |
13 | Mayez A. Al-Mouhamed, Steven S. Seiden |
A Heuristic Storage for Minimizing Access Time of Arbitrary Data Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 8(4), pp. 441-447, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Boolean matrices, performance evaluation, heuristics, NP-complete, memory organization, storage schemes, parallel memories |
13 | Witold Charatonik, Andreas Podelski |
Set Constraints with Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 362-372, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
satisfiability test, set-based program analysis, DEXPTIME-complete, complexity characterization, negative set constraints, negated conjuncts, negated inclusion, computability, decidability, intersection, inclusions, set constraints |
13 | Pascal Koiran |
Randomized and Deterministic Algorithms for the Dimension of Algebraic Varieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 38th Annual Symposium on Foundations of Computer Science, FOCS '97, Miami Beach, Florida, USA, October 19-22, 1997, pp. 36-45, 1997, IEEE Computer Society, 0-8186-8197-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Arthur-Merlin class, Generalized Riemann Hypothesis, complexity, NP-complete, randomized algorithms, deterministic algorithms, deterministic algorithms, algebraic varieties |
13 | Joseph Naor, Leonid Zosin |
A 2-Approximation Algorithm for the Directed Multiway Cut Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 38th Annual Symposium on Foundations of Computer Science, FOCS '97, Miami Beach, Florida, USA, October 19-22, 1997, pp. 548-553, 1997, IEEE Computer Society, 0-8186-8197-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
directed multiway cut problem, 2-approximation algorithm, multiway flow function, NP-complete, directed graphs, polynomial-time algorithm, approximation factor |
13 | Géraud Sénizergues |
The Equivalence Problem for Deterministic Pushdown Automata is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings, pp. 671-681, 1997, Springer, 3-540-63165-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
deterministic pushdown automata, finite dimensional vector spaces, matrix semigroups, complete formal systems, rational series |
13 | Andrew E. Johnson 0002, Sing Bing Kang |
Registration and Integration of Textured 3-D Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIM ![In: International Conference on Recent Advances in 3-D Digital Imaging and Modeling (3DIM '97), May 12-15, 1997, Ottawa, Ontario, Canada, pp. 234-241, 1997, IEEE Computer Society, 0-8186-7943-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
textured 3-D data registration, textured 3-D data integration, complete 3-D model, multi-roomed indoor scene, 3-D textured model, 3-D occupancy grid, spatial occupancy, image registration, voting, occupancy grid, iterative closest point algorithm |
13 | Xuedong Jiang, Tao Yang |
Heuristic algorithms for path selection in private ATM networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), September 22-25, 1997 Las Vegas, NV, USA, pp. 372-377, 1997, IEEE Computer Society, 0-8186-8186-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
private ATM networks, minimum hop path, end-to-end delay requirement, maximum load level, unconstrained shortest path problem, randomly generated networks, call blocking ratio, link metric, performance, asynchronous transfer mode, probability, call admission control, heuristic algorithms, network routing, NP-complete problem, simulation study, shortest path problem, path selection, multiple constraints |
13 | Chotipat Pornavalai, Goutam Chakraborty, Norio Shiratori |
QoS routing algorithms for pre-computed paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), September 22-25, 1997 Las Vegas, NV, USA, pp. 248-255, 1997, IEEE Computer Society, 0-8186-8186-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
pre-computed paths, QoS routing algorithms, multiple QoS constraints, QoSR/sub BF/ on-demand algorithm, flow specification parameters, routing table size reduction, bandwidth, NP-complete problem, telecommunication network routing |
13 | Peter J. Stuckey, Vincent W. L. Tam |
Extending EGENET with Lazy Constraint Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 248-, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
extended EGENET, lazy constraint consistency, neural network simulator, min-conflict heuristic, hard graph-colouring problems, complete search methods, stochastic search methods, convergence behaviour, scheduling, planning (artificial intelligence), planning, constraint satisfaction problems, bin-packing, arc consistency, search behaviour |
13 | Dilip Krishnaswamy, Michael S. Hsiao, Vikram Saxena, Elizabeth M. Rudnick, Janak H. Patel, Prithviraj Banerjee |
Parallel Genetic Algorithms for Simulation-Based Sequential Circuit Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 10th International Conference on VLSI Design (VLSI Design 1997), 4-7 January 1997, Hyderabad, India, pp. 475-481, 1997, IEEE Computer Society, 0-8186-7755-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
simulation-based test generation, distributed memory MIMD machines, shared memory MIMD machines, parallel search strategies, logic testing, fault coverage, NP-complete problems, VLSI circuits, parallel genetic algorithms, sequential circuit test generation |
13 | Sung Kwon Kim |
An efficient parallel algorithm for the planar mincut linear arrangement problem for trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1997 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '97), 18-20 December 1997, Taipei, Taiwan, pp. 240-246, 1997, IEEE Computer Society, 0-8186-8259-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
planar mincut, parallel algorithm, NP-complete, trees (mathematics), EREW PRAM, polynomial-time solvable |
13 | Javier Orozco, Ricardo Cayssials, Jorge Santos 0002, Edgardo Ferro |
Precedence constraints in hard real-time distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy, pp. 33-38, 1997, IEEE Computer Society, 0-8186-8126-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
hard real-time distributed systems, multitask-multiprocessor systems, taxonomic genus, tentative assignment, formally proved method, tentative assignments, real-time systems, NP-complete problem, precedence constraints |
13 | Sanjoy K. Baruah, Steve Goddard, Kevin Jeffay |
Feasibility concerns in PGM graphs with bounded buffers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy, pp. 130-, 1997, IEEE Computer Society, 0-8186-8126-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
feasibility concerns, processing graph method, embedded signal processing, co-NP-complete, optimal preemptive scheduling algorithm, system architects, real-time scheduling, data flow graphs, memory requirements, computational resources, feasibility test, dataflow model, bounded buffers |
13 | Pi-Rong Sheu, Charng-Maw Lin |
A fast optimal slot reuse scheme for CRMA high speed networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 22nd IEEE Conference on Local Computer Networks (LCN '97), 2-5 November 1997, Minneapolis, Minnesota, USA, Proceedings, pp. 220-229, 1997, IEEE Computer Society, 0-8186-8141-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
CRMA high speed networks, cyclic-reservation multiple-access, fast optimal slot reuse scheme, high-speed local area networks, high-speed metropolitan area networks, folded-bus configurations, dual-bus configurations, reserve command generation, empty slots reservation, average cycle length, average throughput, average MAC delay, performance measurements, time complexity, computer simulations, NP-complete problem, metropolitan area networks, access delay |
13 | Ion Muslea |
The Very Offline k-Vehicle Routing Problem in Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), November 12-14, 1997, Valpariso, Chile, pp. 155-163, 1997, IEEE Computer Society, 0-8186-8052-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
very offline k-vehicle routing problem, general vehicle routing problem, NP-complete variants, fast approximation algorithms, 2-vehicle routing problems, computational complexity, trees |
13 | Pascal Véron |
Improved identification schemes based on error-correcting codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 8(1), pp. 57-69, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
SD problem, Zeroknowledge, NP-complete problem, Identification scheme |
13 | Moreno Coli, Paolo Palazzari |
Load Balancing with Internode Precedence Relations: A New Method for Static Allocation of DAGs into Parallel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 252-257, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
internode precedence relations, static allocation, parallel execution times, performance, parallel algorithms, load balancing, parallel programming, parallel program, resource allocation, NP-complete, parallel machine, directed graphs, DAG, directed acyclic graphs, processor scheduling, software performance evaluation, parallel systems, execution time, processor allocation, mapping algorithms, computational load |
13 | Xiaohua Jia, Jiannong Cao 0001, Weijia Jia 0001 |
Real-time multicast routing with optimal network cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 49-, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
real-time multicast routing, optimal network cost, minimal network cost, shortest network delay, optimal overall network cost, minimum spanning tree heuristic, delay, time constraint, real-time applications, NP-complete problem, telecommunication channels |
13 | Man-Fai Yu, Joel Darnauer, Wayne Wei-Ming Dai |
Interchangeable pin routing with application to package layout. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1996, San Jose, CA, USA, November 10-14, 1996, pp. 668-673, 1996, IEEE Computer Society / ACM, 0-8186-7597-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
BGA, all-angle wiring, interchangeable pin routing, min-cost max-flow heuristic, multiple layers, octilinear wiring, package layout, pin redistribution, prerouted nets, rectilinear wiring, test fixture routing, triangulated routing network, CAD, NP-complete, ASIC, circuit layout CAD, speed, PGA, input output, routing problems |
13 | Dan A. Simovici, Corina Reischer |
Several Remarks on the Complexity of Set-Valued Switching Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 166-171, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
set-valued switching functions, complexity of circuits, set-valued logic functions, complete basis, Boolean components, non-Boolean components, computational complexity, complexity, Boolean algebra, switching functions |
13 | Matthias Baaz, Christian G. Fermüller |
Intuitionistic Counterparts of Finitely-Valued Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 136-143, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Kripke's model structures, finitely-valued logics, classical sequent calculus, cut-free complete, calculi, syntactical restriction, process algebra, multivalued logic, intuitionistic logic, Kripke structures |
13 | Robert H. Klenke, James H. Aylor, Joseph M. Wolf |
An analysis of fault partitioning algorithms for fault partitioned ATPG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 14th IEEE VLSI Test Symposium (VTS'96), April 28 - May 1, 1996, Princeton, NJ, USA, pp. 231-239, 1996, IEEE Computer Society, 0-8186-7304-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
fault partitioning algorithm, VLSI device, detected fault broadcasting, preprocessing time, parallel processing, parallel processing, VLSI, fault diagnosis, integrated circuit testing, ATPG, automatic testing, dynamic load balancing, NP complete problem, digital system, test vector generation |
13 | Parthasarathi Dasgupta, Anup K. Sen, Subhas C. Nandy, Bhargab B. Bhattacharya |
Geometric bipartitioning problem and its applications to VLSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 9th International Conference on VLSI Design (VLSI Design 1996), 3-6 January 1996, Bangalore, India, pp. 400-405, 1996, IEEE Computer Society, 0-8186-7228-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
geometric bipartitioning problem, layout design, rectilinear modules, staircase, monotone increasing, classical graph bisection problem, weighted permutation graph, integer edge weights, designated nodes, absolute value, edge weights, routing, computational complexity, VLSI, VLSI, graph theory, NP-complete, branch-and-bound, floorplan, heuristic algorithm, search problems, geometry, network routing, circuit layout CAD, hierarchical decomposition |
13 | Stephen A. Fenner, Frederic Green, Steven Homer, Alan L. Selman, Thomas Thierauf, Heribert Vollmer |
Complements of Multivalued Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the Eleveth Annual IEEE Conference on Computational Complexity, Philadelphia, Pennsylvania, USA, May 24-27, 1996, pp. 260-269, 1996, IEEE Computer Society, 0-8186-7386-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multivalued functions, NPMV functions, coNPMV, complete functions, query hierarchy, functional analogue, Boolean hierarchy, computational complexity, complexity, multivalued logic, polynomial time hierarchy |
13 | Jan-Ming Ho, De-Ron Liang, Kuo-Hui Tsai |
On multicast routing in Clos networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 394-400, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
online multicast routing, off-line routing, quality of service, performance evaluation, NP-complete, multiprocessor interconnection networks, video conferencing, network routing, multicast routing, high speed networks, system performance, shortest path problem, Clos networks, network throughput, Steiner tree problem, optimizing criteria |
13 | Bill Triggs |
Matching Constraints and the Joint Image. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 338-343, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
combined homogeneous image coordinates, multi image perspective projection, image measurements, combined image projections, 3D joint image subspace, complete projective replica, 3D world, image coordinates, 4 index joint image Grassmannian tensor, multilinear tensorial equations, trilinear constraint, complex algebraic interdependency, quadratic structural simplicity constraints, computational geometry, image reconstruction, linear algebra, tensors, projective reconstruction, epipolar constraint, constraint theory, imaging geometry, matching constraints |
13 | Luc Robert, Michel Buffa, Martial Hebert |
Weakly-Calibrated Stereo Perception for Rover Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 46-51, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
weakly-calibrated stereo perception, stereo perception, rover navigation, weakly calibrated stereo images, relative point elevation, reference plane, vision module, complete navigation system, shape indicator, appropriate steering directions, unstructured outdoor environments, wheeled rover, navigation, mobile robots, calibration, image matching, path planning, stereo image processing, epipolar geometry, robot vision, vision system, computerised navigation, autonomous navigation, point matching, projection images, image rectification |
13 | Stephen S. Intille, Aaron F. Bobick |
Closed-World Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 672-678, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
closed-world tracking, weakly modeled object tracking, semantically rich domain, space-time region, complete object taxonomy, contextual object information, context-specific features, semi-automatic symbolic description generation, contextually-rich dynamic scene, football domain, closed-world football player tracking, computer vision, tracking, image sequences, image sequence, object detection, action, video annotation, sport, pixel |
13 | Moreno Coli, Paolo Palazzari |
Global execution time minimization by allocating tasks in parallel systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 91-97, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
global execution time minimization, heuristic criterion, starting population, static allocation, genetic algorithms, genetic algorithm, computational complexity, resource allocation, parallel machines, parallel machine, directed graphs, directed acyclic graphs, DAGs, processor scheduling, parallel systems, task allocation, NP-complete problem, execution time, minimisation, cost function, critical path, precedence relations, critical path analysis |
13 | José Ramón González de Mendívil, Akim Demaille, José M. Bernabéu-Aubán, José Ramón Garitagoitia |
Correctness of a distributed deadlock resolution algorithm for the single request model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 254-261, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
distributed deadlock resolution algorithm, single request model, resolution algorithm, initial specification, complete distributed system, Input/Output Automata Model, formal specification, distributed algorithms, concurrency control, refinements, operating systems (computers), automata theory, high level specification |
13 | Chantal Ykman-Couvreur, Bill Lin 0001 |
Optimised state assignment for asynchronous circuit synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: Second Working Conference on Asynchronous Design Methodologies, May 30-31, 1995, London, England, UK, pp. 118-127, 1995, IEEE Computer Society, 0-8186-7098-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
optimised state assignment, asynchronous circuit synthesis, complete state coding, state graph level, asynchronous benchmarks, circuit area, logic design, encoding, asynchronous circuits, computation time, state assignment |
13 | Dhruva R. Chakrabarti, Ajai Jain |
An improved hierarchical test generation technique for combinational circuits with repetitive sub-circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 4th Asian Test Symposium (ATS '95), November 23-24, 1995. Bangalore, India, pp. 237-243, 1995, IEEE Computer Society, 0-8186-7129-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
hierarchical test generation technique, repetitive subcircuits, hierarchical testing algorithm, bus fault model, high-level subcircuits, high level incompatibility, test generation time, complete fault coverage, computational complexity, fault diagnosis, logic testing, high level synthesis, design for testability, design for testability, ATPG, combinational circuits, combinational circuits, logic CAD, automatic test software, signal flow graphs, state transition graph |
13 | Dhabaleswar K. Panda 0001 |
Global reduction in wormhole k-ary n-cube networks with multidestination exchange worms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 652-659, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
global reduction, wormhole k-ary n-cube networks, multidestination exchange worms, multidestination message passing mechanism, pairwise exchange worms, complete global reduction, barrier synchronization operations, message passing interface standard, unicast-based message passing, communication startup time, data size, fast global reduction, message passing, synchronisation, hypercube networks, system size |
13 | Shashidhar Thakur, D. F. Wong 0001 |
Simultaneous area and delay minimum K-LUT mapping for K-exact networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 402-408, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
area/delay minimum K-LUT mapping, K-exact networks, technology mapping problem, lookup table FPGAs, area minimization problem, K-bounded networks, delay minimization problem, flow-map algorithm, field programmable gate arrays, computational complexity, complexity, NP-complete, logic design, polynomial time algorithm, programmable logic arrays, table lookup, minimisation of switching nets |
13 | Chantal Ykman-Couvreur, Bill Lin 0001 |
Efficient state assignment framework for asynchronous state graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 692-697, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
state assignment framework, asynchronous state graphs, state graph level, complete state coding problem, circuit area, logic design, encoding, asynchronous circuits, asynchronous circuits, computation time, state assignment |
13 | Stefan Ronngren, Behrooz A. Shirazi |
Static multiprocessor scheduling of periodic real-time tasks with precedence constraints and communication costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 143-152, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
static multiprocessor scheduling, periodic real-time tasks, large task sets, exclusion relation, heuristic scheduling algorithms, clustering, real-time systems, resource allocation, NP-complete, multiprocessing systems, communication complexity, mutual exclusion, processor scheduling, timing constraints, task allocation, communication costs, precedence constraints, multiprocessor architecture, precedence relations, scheduling methods |
13 | Ernst W. Mayr |
Scheduling interval orders in parallel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 20-28, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
interval order scheduling, interval representations, transitively oriented digraph, undirected chordal complement, identical parallel processors, minimal length schedule, scheduling distance computation subroutine, incremental version, empty slots, interval order precedence constraints, scheduling, parallel algorithms, parallel algorithm, computational complexity, concurrency control, directed graphs, partial orders, NP-complete problems, deadlines, execution time, minimisation, interval graphs, optimal schedule, release times, NC-algorithm, CREW-PRAM, task systems |
13 | Meenakshisundaram Gopi, Swami Manohar |
A VLSI architecture for the computation of NURBS patches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India, pp. 326-331, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
NURBS patches, nonuniform rational B-spline, interactive modeling session, patch generation, complete hardware solution, VLSI, computational geometry, parallel architectures, computer graphics, geometric modeling, VLSI architecture, splines (mathematics), B-spline curves |
13 | Mandyam-Komar Srinivas, James Jacob, Vishwani D. Agrawal |
Functional test generation for non-scan sequential circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India, pp. 47-52, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
nonscan sequential circuits, functional test vectors, growth and disappearance fault model, complete stuck fault coverage, algebraic transformations, synthesized FSMs, VLSI, fault diagnosis, logic testing, finite state machines, integrated circuit testing, sequential circuits, automatic testing, functional test generation |
13 | Michael L. Edwards, Matt Flanzer, Mark Terry, Joseph Landa |
RECAP: a requirements elicitation, capture and analysis process prototype tool for large complex systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 278-281, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
RECAP, requirements elicitation capture and analysis process prototype tool, large complex system development, consistent requirements, correct requirements, complete requirements, requirement use, requirement capture, requirement identification, natural language parsing, knowledge-based rules, semiautomatic capture elicitation analysis, unformatted natural language text, requirement translation, concise requirements data, user defined views, domain specific rules, formal specification, software tools, knowledge based systems, systems analysis, natural languages, requirement analysis, requirements specification, automated assistance, system life-cycle |
13 | Christof Ebert |
Tracing complexity through the software process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 23-30, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
complete development process, complexity factors, real-time automation projects, real-time systems, real-time systems, computational complexity, complexity, formal specification, software metrics, software process, computer aided software engineering, development environments, research project, specification methods, CASE environment |
13 | L. Simoncini, Zsolt Miklós Kovács-Vajna |
A system for reading USA census '90 hand-written fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 86-91, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
USA census '90 handwritten fields reading, complete reading task, scanned raster image, ASCII string, form identification, field isolation, bounding box removal, blob segmentation, broken character joining, isolated character recognition, word building, dictionary correction, confidence generation, NIST Special Database, standards, optical character recognition, handwriting recognition, government data processing |
13 | Koji Tsuda, Shuji Senda, Michihiko Minoh, Katsuo Ikeda |
Clustering OCR-ed texts for browsing document image database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 171-174, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
OCR text clustering, document image database browsing, cluster extraction method, ordinal clustering methods, Complete Link, term loss, recognition faults, feature extraction, human factors, optical character recognition, interactive systems, document image processing, user interaction, document clustering, visual databases, word processing |
13 | Philip J. Bernhard, Daniel J. Rosenkrantz |
Partitioning Message Patterns for Bundled Omega Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(4), pp. 353-363, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
bundled omega networks, communication conflict, conflicting messages, interconnection links, on-line heuristics, computational complexity, interconnection network, heuristic, multiprocessor, partitioning, NP-complete, multiprocessor interconnection networks, communication complexity, telecommunication network routing, message routing, message patterns, performance ratio |
13 | Tao Yang 0009, Apostolos Gerasoulis |
DSC: Scheduling Parallel Tasks on an Unbounded Number of Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(9), pp. 951-967, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
trees(mathematics), DSC, low-complexityheuristic, dominant sequence clustering algorithm, completely connected processor, unbounded number, nonzero communication overhead, arbitrary directedacyclic task graphs, special classes, coarse-grain trees, fine-grain trees, general scheduling algorithms, ETF, scheduling, performance, parallel algorithms, computational complexity, parallel programming, NP-complete, directed graphs, DAGs, join, optimal schedules, MD, fork, parallel task scheduling |
13 | Xiaola Lin, Lionel M. Ni |
Multicast Communication in Multicomputer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(10), pp. 1105-1117, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
routing of messages, routing evaluation, switching technologies, graph theoretical, optimal multicast path, optimal multicast cycle, minimal Steiner tree, graph theory, message passing, NP-complete, hypercube, multiprocessor interconnection networks, heuristic algorithms, multicomputers, multicast communication, multicomputer networks, 2D-mesh |
13 | Yahui Zhu, Mohan Ahuja |
On Job Scheduling on a Hypercube. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(1), pp. 62-69, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
LDF algorithm, job preemption, minimum finish time schedule, list scheduling algorithm, absolute bound, scheduling, computational complexity, distributed algorithms, lower bound, NP-complete, hypercube, hypercube networks, scheduling algorithms, job scheduling |
13 | Elango Ganesan, Dhiraj K. Pradhan |
The Hyper-deBruijn Networks: Scalable Versatile Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(9), pp. 962-978, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
hyper-deBruijn networks, scalable versatile architecture, logarithmic diameter, optimal connectivity, optimal one-to-allbroadcasting, fault-tolerance, parallel architectures, fault tolerant computing, routing algorithms, hypercube networks, VLSI layout, complete binary trees, multiprocessor networks, decomposability, multidimensional meshes |
13 | Krishna V. Palem, Barbara B. Simons |
Scheduling Time-Critical Instructions on RISC Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 15(4), pp. 632-658, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
RISC machine scheduling, NP-complete, latency, compiler optimization, register allocation, greedy algorithm, instruction scheduling, deadline, RISC, pipeline processor |
13 | Julian R. Ullmann |
Analysis of 2-D Occlusion by Subtracting Out. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(4), pp. 485-489, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
2-D occlusion, subtracting out, complete systematic analysis, synthetically generated noise-free pictures, 2-D objects, computer vision, computer vision, computational complexity, polynomial-time algorithm, template matching, occluded objects |
13 | Sylvia C. Boyd, Hasan Ural |
On the Complexity of Generating Optimal Test Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(9), pp. 976-978, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
maximal overlapping, test subsequences, optimal test sequence generation, OTSG problem, computational complexity, protocols, NP-complete, finite state machine, program testing, communications protocols, finite automata, polynomial time, FSM, protocol testing |
13 | Ishfaq Ahmad, Arif Ghafoor |
Semi-Distributed Load Balancing For Massively Parallel Multicomputer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(10), pp. 987-1004, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
massively parallel multicomputer systems, semidistributed approach, fully distributed approaches, two-level hierarchical control, independent symmetric regions, distance transitive graphs, scheduling points, fully distributed strategy, scheduling, distributed systems, computational complexity, load balancing, parallel architectures, multiprocessor interconnection networks, parallel machines, multiprocessor system, NP-complete problem, simulation study, interconnection structure, interconnection structures, state information, Hadamard matrix, combinatorial structure |
13 | Ouri Wolfson, Amir Milo |
The Multicast Policy and Its Relationship to Replicated Data Placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 16(1), pp. 181-205, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
complexity, message passing, NP-Complete, computer network, file allocation |
13 | Nicolien J. Drost |
Algebraic Formulations of Trace Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 157-171, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
trace models, infinite processes, verification, concurrency, process algebra, alternating bit protocol, complete axiomatization |
13 | Sheau-Dong Lang, Yannis Manolopoulos |
Efficient Expressions for Completely and Partly Unsuccessful Batched Search of Tree-Structured Files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(12), pp. 1433-1435, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
nonrecurrent expressions, partly unsuccessful batched searching, complete j-ary tree files, nonreplacement models, search queries, block accesses, hierarchical file structures, batch processing (computers), data structures, database management systems, trees (mathematics), search problems, information retrieval systems |
13 | Thomas J. Sager, Shi-Jen Lin |
A Color-Exchange Algorithm for Exact Graph Coloring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Computer Science Conference ![In: Computing in the 90's, The First Great Lakes Computer Science Conference, Kalamazzo, Michigan, USA, October 18-20, 1989, Proceedings, pp. 22-28, 1989, Springer, 3-540-97628-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
scheduling, algorithms, NP-Complete, branch-and-bound, graph-coloring, chromatic number |
13 | Yaoxue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi |
An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(3), pp. 394-404, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
interactive protocol synthesis algorithm, global state transition graph, global state transition graph, deadlock avoidance rules, complete reception, protocols, graph theory, finite-state machines, finite automata, buffer overflow, production rules, interactive programming, deadlock freeness |
Displaying result #501 - #600 of 30405 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|