|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 37 occurrences of 35 keywords
|
|
|
Results
Found 54 publication records. Showing 54 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
39 | Michael Hrusák, Manuel Sanchis, Á. Tamariz-Mascarúa |
Ultrafilters, monotone functions and pseudocompactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(2), pp. 131-157, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Rudin-Keisler pre-order, Rudin-Blass pre-order, M-pseudocompactness, Semi-P-points, Rapid filters, P-points, Q-points, Selective ultrafilters |
35 | Christie I. Ezeife, Yi Lu |
Mining Web Log Sequential Patterns with Position Coded Pre-Order Linked WAP-Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 10(1), pp. 5-38, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
WAP-tree mining, pre-order linkage, position codes, apriori techniques, Web usage mining, sequential patterns |
35 | Yi Lu, Christie I. Ezeife |
Position Coded Pre-order Linked WAP-Tree for Web Log Sequential Pattern Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 7th Pacific-Asia Conference, PAKDD 2003, Seoul, Korea, April 30 - May 2, 2003, Proceedings, pp. 337-349, 2003, Springer, 3-540-04760-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
WAP-tree Mining, Pre-Order Linkage, Position Codes, Web Usage Mining, Sequential Mining |
27 | Salil S. Kanhere, Harish Sethu |
On the Latency Bound of Pre-Order Deficit Round Robin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 27th Annual IEEE Conference on Local Computer Networks (LCN 2002), 6-8 November 2002, Tampa, FL, USA, Proceedings, pp. 508-517, 2002, IEEE Computer Society, 0-7695-1591-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Sang T. T. Nguyen |
Efficient web usage mining process for sequential patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2009 - The Eleventh International Conference on Information Integration and Web-based Applications and Services, 14-16 December 2009, Kuala Lumpur, Malaysia, pp. 465-469, 2009, ACM, 978-1-60558-660-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
pre-order linked WAP-Tree (PLWAP-tree), web access patterns (WAP), web usage mining (WUM), Markov model, sequential patterns |
20 | Ladislav J. Kohout |
Boolean and Fuzzy Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 297-311, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Local relational properties, Interiors, Pre-order, BK-products, Relational compositions, Nonassociative products, Generalized morphism, Universal properties of relations, n-ary relation, Value analysis, Artificial intelligence, Decision theory, Psychology, Equivalences, Tolerances, Medicine, Scientific applications, Closures, Fuzzy relations, Engineering applications |
15 | Adrian Marius Deaconu |
Iterative Algorithm for Construction of a Tree from its Pre-order and Post-order Traversals in Linear Time and Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Cuza Univ. ![In: Sci. Ann. Cuza Univ. 14, pp. 69-80, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
12 | Mario Bravetti, Gianluigi Zavattaro |
A Theory for Strong Service Compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, pp. 96-112, 2007, Springer, 978-3-540-72793-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Chris Fox, Shalom Lappin |
A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings, pp. 175-192, 2001, Springer, 3-540-42273-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Jifeng He 0001, C. A. R. Hoare |
CSP Is a Retract of CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers, pp. 38-62, 2006, Springer, 3-540-34750-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Ed Brinksma, Arend Rensink, Walter Vogler |
Fair Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings, pp. 313-327, 1995, Springer, 3-540-60218-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Gabriel Avelino R. Sampedro |
Predicting Pre-Order Sales Using Time Series Algorithm, Forecasting, and ARIMA Model in Python for Small Businesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIC ![In: International Conference on Electronics, Information, and Communication, ICEIC 2024, Taipei, Taiwan, January 28-31, 2024, pp. 1-4, 2024, IEEE, 979-8-3503-7188-8. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Xianfeng Huang, Jianming Zhan 0001, Bingzhen Sun |
A three-way decision method with pre-order relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 595, pp. 231-256, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Wen Zhang, Weizhe Yang |
Optimal pre-order strategy with delay in payments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 305(1), pp. 347-374, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Dana Hlinená, Martin Kalina |
Characterization of Uninorms on Bounded Lattices and Pre-order They Induce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Intell. Syst. ![In: Int. J. Comput. Intell. Syst. 14(1), pp. 148-158, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Martin Kalina |
2-uninorms and pre-order induced by them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SISY ![In: 19th IEEE International Symposium on Intelligent Systems and Informatics, SISY 2021, Subotica, Serbia, September 16-18, 2021, pp. 95-100, 2021, IEEE, 978-1-6654-1380-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Matthew Hennessy |
An Equational Characterisation of the Must Testing Pre-order for Regular Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models, Languages, and Tools for Concurrent and Distributed Programming ![In: Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, pp. 15-27, 2019, Springer, 978-3-030-21484-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Dana Hlinená, Martin Kalina |
A Characterization of Uninorms by Means of a Pre-order they Induce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT Conf. ![In: Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019, Prague, Czech Republic, September 9-13, 2019, 2019, Atlantis Press, 978-94-6252-770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Carmen Coll, Marina Lattanzi, Néstor Thome |
Weighted G-Drazin inverses and a new pre-order on rectangular matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 317, pp. 12-24, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Er Su |
矩阵前主子式的三角分解改进 (Matrix Triangular Decomposition Improvement of Pre Order Principal Sub Determinant). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 44(Z11), pp. 148-153, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Youcheng Sun, Giuseppe Lipari |
A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 52(3), pp. 323-355, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
11 | Tyler Corbin, Tomasz Müldner, Jan Krzysztof Miziolek |
Pre-order Compression Schemes for XML in the Real Time Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEBIST ![In: WEBIST 2013 - Proceedings of the 9th International Conference on Web Information Systems and Technologies, Aachen, Germany, 8-10 May, 2013, pp. 5-15, 2013, SciTePress, 978-989-8565-54-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
11 | Tyler Corbin, Tomasz Müldner, Jan Krzysztof Miziolek |
Networked XML Compression by Encoding Pre-order Traversals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEBIST (Selected Papers) ![In: Web Information Systems and Technologies - 9th International Conference, WEBIST 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers, pp. 3-20, 2013, Springer, 978-3-662-44299-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
11 | Jui-Tsung Wong, Chwen-Tzeng Su, Kuei-Hsien Chen |
Replenishment policy based on modified ant colony optimisation and statistical analysis under the pre-order penetration point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 86(3), pp. 477-491, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Salil S. Kanhere, Harish Sethu |
On the latency and fairness characteristics of pre-order deficit round Robin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 27(7), pp. 664-678, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Alexander M. Rubinov, Rafail N. Gasimov |
Scalarization and Nonlinear Scalar Duality for Vector Optimization with Preferences that are not necessarily a Pre-order Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 29(4), pp. 455-477, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Shih-Chiang Tsao, Ying-Dar Jason Lin |
Pre-order Deficit Round Robin: a new scheduling algorithm for packet-switched networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 35(2-3), pp. 287-305, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic |
A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 15-17 March 2000, Newport Beach, CA, USA, pp. 96-103, 2000, IEEE Computer Society, 0-7695-0607-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Maria Angela C. M. Gurgel, Yoshiko Wakabayashi |
Adjacency of vertices of the complete pre-order polytope. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 175(1-3), pp. 163-172, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Viraj Kumar, P. Madhusudan, Mahesh Viswanathan 0001 |
Visibly pushdown automata for streaming XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007, pp. 1053-1062, 2007, ACM, 978-1-59593-654-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
XML, query, typing, schema, streaming algorithms, pushdown automata |
7 | Christie I. Ezeife, Kashif Saeed, Dan Zhang |
Mining very long sequences in large databases with PLWAPLong. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: International Database Engineering and Applications Symposium (IDEAS 2009), September 16-18, 2009, Cetraro, Calabria, Italy, pp. 234-241, 2009, ACM, 978-1-60558-402-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
PLWAP mining, long sequences, data mining, association rule mining |
7 | Didier Dubois, Souhila Kaci, Henri Prade |
Expressing Preferences from Generic Rules and Examples - A Possibilistic Approach Without Aggregation Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 293-304, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Possibility theory, Preference aggregation |
7 | Barry Norton, Matt Fairtlough |
Reactive Types for Dataflow-Oriented Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 12-15 June 2004, Oslo, Norway, pp. 211-220, 2004, IEEE Computer Society, 0-7695-2172-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | Graham Chen, Qinzheng Kong, Pierre-Yves Benain |
SP-to-SP service ordering specification and its implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: 1998 Network Operations and Management Symposium, NOMS 98, New Orleans, LA, USA, February 15-20, 1998. Proceedings, pp. 80-89, 1998, IEEE, 0-7803-4352-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
6 | Satoshi Watanabe, Takao Miura |
Reordering B-tree files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 681-686, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
B-tree, reordering, reorganization |
5 | Dong Lin, Yue Zhang 0006, Chengchen Hu, Bin Liu 0001, Xin Zhang 0003, Derek Chi-Wai Pao |
Route Table Partitioning and Load Balancing for Parallel Searching with TCAMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-10, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
5 | Jennifer M. Davoren |
Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, pp. 162-179, 2007, Springer, 978-3-540-72732-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
5 | Sujeet Pradhan |
A Framework for the Relational Implementation of Tree Algebra to Retrieve Structured Document Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems - WISE 2004, 5th International Conference on Web Information Systems Engineering, Brisbane, Australia, November 22-24, 2004, Proceedings, pp. 206-217, 2004, Springer, 3-540-23894-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
5 | Sofia Guerra |
Distance Functions for Defaults in Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, pp. 26-40, 2000, Springer, 3-540-67530-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
4 | Katsuhiko Sano |
Sound and Complete Tree-Sequent Calculus for Inquisitive Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 365-378, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
4 | Jens Chr. Godskesen, Sebastian Nanz |
Mobility Models and Behavioural Equivalence for Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, pp. 106-122, 2009, Springer, 978-3-642-02052-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
4 | Lihua Duan, Jessica Chen |
An Approach to Testing with Embedded Context Using Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 66-85, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
context-based testing, finite state machines, conformance testing, test sequences, distinguishing sequences |
4 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Monotonic Abstraction in Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, pp. 50-65, 2008, Springer, 978-3-540-85761-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
4 | Nalaka Gooneratne, Zahir Tari, James Harland |
Verification of web service descriptions using graph-based traversal algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1385-1392, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
consistent descriptions, verification, service descriptions |
4 | Khalid Saleem, Zohra Bellahsene, Ela Hunt |
Performance Oriented Schema Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 18th International Conference, DEXA 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 844-853, 2007, Springer, 978-3-540-74467-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
4 | Anupam Singh, Srikanth Sampath, Vadiraja Bhatt, Francis Pang, Bharat Rane, Phil Shaw, Gajanan S. Chinchwadkar, Ghazi-Nourdine Benadjaoud |
NXS: Native XML processing in Sybase RDBMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 21st International Conference on Data Engineering Workshops, ICDE 2005, 5-8 April 2005, Tokyo, Japan, pp. 1280, 2005, IEEE Computer Society, 0-7695-2657-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
4 | Mustafa H. Qureshi, Mansur H. Samadzadeh |
Determining the Complexity of XML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 416-421, 2005, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
4 | Luciano Lenzini, Enzo Mingozzi, Giovanni Stea |
Tradeoffs between low complexity, low latency, and fairness with deficit round-robin schedulers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 12(4), pp. 681-693, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
deficit round-robin (DRR), quality of service (QoS), scheduling algorithms |
4 | Cristinel Ababei, Kia Bazargan |
Non-Contiguous Linear Placement for Reconfigurable Fabrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
4 | Yossi Matias, Ely Porat |
Efficient Pebbling for List Traversal Synopses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 918-928, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | E. Allen Emerson, Vineet Kahlon |
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 144-159, 2003, Springer, 3-540-00898-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Jirí Kubalík, Jan Koutník, Léon J. M. Rothkrantz |
Grammatical Evolution with Bidirectional Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroGP ![In: Genetic Programming, 6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003. Proceedings, pp. 354-363, 2003, Springer, 3-540-00971-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Linda F. Garbanati, Pramila Mullan |
Enabling electronic communications for local competition-why CORBA? ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: 1998 Network Operations and Management Symposium, NOMS 98, New Orleans, LA, USA, February 15-20, 1998. Proceedings, pp. 422-430, 1998, IEEE, 0-7803-4352-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
4 | Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho |
Using On-The-Fly Verification Techniques for the Generation of test Suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings, pp. 348-359, 1996, Springer, 3-540-61474-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #54 of 54 (100 per page; Change: )
|
|