|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 934 occurrences of 609 keywords
|
|
|
Results
Found 1797 publication records. Showing 1790 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
194 | D. Gnanaraj Thomas, M. Humrosia Begam, K. G. Subramanian 0001, S. Gnanasekaran |
Learning of Regular Bi-omega Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings, pp. 283-292, 2002, Springer, 3-540-44239-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
local bi-$omega$ languages, recognizable bi-$omega$ languages, rational bi-adherence languages, B$ddot{u}$chi local bi-$omega$ languages, regular bi-$omega$ languages, Learning algorithm |
87 | Myung-Kyun Kim, Hyunsoo Yoon, Seung Ryoul Maeng |
A Necessary and Sufficient Condition for Proper Routing in Omega-Omega Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par, Vol. I ![In: Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I, pp. 278-282, 1996, Springer, 3-540-61626-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
83 | Linjiang Ma, Tse-Yun Feng |
Routing A Class of Concatenated Omega Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 20-22 December 1999, Cape Town, South Africa, Proceedings, pp. 29-35, 1999, IEEE Computer Society, 0-7695-0468-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
topological equivalence, omega + omega networks, labeling scheme, Benes networks |
80 | Xiaojun Shen, Fan Yang, Yi Pan 0001 |
Equivalent permutation capabilities between time-division optical omega networks and non-optical extra-stage omega networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 9(4), pp. 518-524, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
crosstalk-free connection, dilated MIN, time-domain approach, optical switch, Omega network, Conflict graph |
67 | Rina Panigrahy, Kunal Talwar, Udi Wieder |
A Geometric Approach to Lower Bounds for Approximate Near-Neighbor Search and Partial Match. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, October 25-28, 2008, Philadelphia, PA, USA, pp. 414-423, 2008, IEEE Computer Society, 978-0-7695-3436-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
67 | Paul Beame, Erik Vee |
Time-Space Tradeoffs, Multiparty Communication Complexity, and Nearest-Neighbor Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 17th Annual IEEE Conference on Computational Complexity, Montréal, Québec, Canada, May 21-24, 2002, pp. 18, 2002, IEEE Computer Society, 0-7695-1468-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
67 | Gill Barequet |
w-Searchlight Obedient Graph Drawings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 8th International Symposium, GD 2000, Colonial Williamsburg, VA, USA, September 20-23, 2000, Proceedings, pp. 321-327, 2000, Springer, 3-540-41554-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Heilbronn's triangle problem, Geometric optimization |
65 | Victor L. Selivanov |
Wadge Degrees of omega-Languages of Deterministic Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings, pp. 97-108, 2003, Springer, 3-540-00623-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Wadge degree, $omega$-language, Cantor space, set-theoretic operation, hierarchy, reducibility |
65 | 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 |
59 | Paul Beame, Erik Vee |
Time-space tradeoffs, multiparty communication complexity, and nearest-neighbor problems. ![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. 688-697, 2002, ACM, 1-58113-495-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
59 | Salvatore La Torre, Margherita Napoli |
Timed tree automata with an application to temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 38(2), pp. 89-116, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
59 | Uri Zwick |
All Pairs Shortest Paths in Weighted Directed Graphs ¾ Exact and Almost Exact Algorithms. ![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. 310-319, 1998, IEEE Computer Society, 0-8186-9172-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Bridging sets, Randomized algorithms, Shortest paths, Matrix multiplication |
57 | Emmanuel Hainry |
Computing Omega-Limit Sets in Linear Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computing, 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008. Proceedings, pp. 83-95, 2008, Springer, 978-3-540-85193-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
omega-limit set, verification, hybrid systems, Dynamical Systems, safety properties, reachable set |
56 | Tommi Syrjänen |
Omega-Restricted Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, pp. 267-279, 2001, Springer, 3-540-42593-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
56 | David Niedzielski, Kleanthis Psarris |
An Analytical Comparison of the I-Test and Omega Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 12th International Workshop, LCPC'99, La Jolla/San Diego, CA, USA, August 4-6, 1999, Proceedings, pp. 251-270, 1999, Springer, 3-540-67858-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
56 | Yannis Haralambous, John Plaice |
The Design and Use of a Multiple-Alphabet Font with Omega. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EP ![In: Electronic Publishing, Artistic Imaging, and Digital Typography, 7th International Conference on Electronic Publishing, EP '98, Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT '98, St. Malo, France, March 30 - April 3, 1998, Proceedings, pp. 126-137, 1998, Springer, 3-540-64298-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
50 | Arnold L. Rosenberg |
Path-robust multi-channel wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-10, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
50 | Ran Raz |
A Counterexample to Strong Parallel Repetition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, October 25-28, 2008, Philadelphia, PA, USA, pp. 369-373, 2008, IEEE Computer Society, 978-0-7695-3436-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Marcela X. Ribeiro, Mônica Ribeiro Porto Ferreira, Caetano Traina Jr., Agma J. M. Traina |
Data pre-processing: a new algorithm for feature selection and data discretization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSTST ![In: CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, October 28-31, 2008, pp. 252-257, 2008, ACM, 978-1-60558-046-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
data discretization, feature selection, data pre-processing |
50 | Marco Grassi, Piero Malcovati, Andrea Baschirotto |
Wide-range integrated gas sensor interface based on a resistance-to-number converter technique with the oscillator decoupled from the input device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
50 | Rahul Jain 0001, Jaikumar Radhakrishnan, Pranab Sen |
A Lower Bound for the Bounded Round Quantum Communication Complexity of Set Disjointness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 44th Symposium on Foundations of Computer Science (FOCS 2003), 11-14 October 2003, Cambridge, MA, USA, Proceedings, pp. 220-229, 2003, IEEE Computer Society, 0-7695-2040-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Martin E. Dyer, Mark Jerrum, Eric Vigoda |
Rapidly Mixing Markov Chains for Dismantleable Constraint Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RANDOM ![In: Randomization and Approximation Techniques, 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002, Proceedings, pp. 68-77, 2002, Springer, 3-540-44147-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Gianfranco Bilardi |
Merging and Sorting Networks with the Topology of the Omega Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 38(10), pp. 1396-1403, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
omega permutation network, bitonic, network topology, switching networks, sorting networks, omega network, mergers, comparator networks |
49 | Mikel Larrea, Cristian Martín 0001 |
From Omega to ?P in the Crash-Recovery Failure Model with Unknown Membership. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 801-806, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Omega failure detector, eventually perfect, Distributed algorithms, Consensus, crash-recovery |
49 | Xiaoping Chen, Wei-Tek Tsai, Hai Huang 0011, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang |
Omega - an integrated environment for C++ program maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1996 International Conference on Software Maintenance (ICSM '96), 4-8 November 1996, Monterey, CA, USA, Proceedings, pp. 114-, 1996, IEEE Computer Society, 0-8186-7677-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C++ program maintenance, object-oriented software-specific techniques, class dependence, message dependence, declaration dependence, hierarchical C++ dependence graph construction algorithms, slicing techniques, class slicing, message slicing, constrained slicing, recursive slicing, variable slicing, condition slicing, programming environments, program slicing, regression testing, source code, integrated environment, Omega, ripple effect analysis, dependence relations |
49 | Philip J. Bernhard, Daniel J. Rosenkrantz |
Using the Dual Path Property of Omega Networks to Obtain Conflict-Free Message Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(4), pp. 503-507, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
source processors, disjoint network routes, bidirectional network links, bidirectionalnetwork switches, dual path, conflict-free message routing, communication conflicts, destination processors, circuit switchingmode, conflict-free message transmission, message switching, algorithm, parallel algorithms, omega networks, multiprocessorinterconnection networks, message patterns |
48 | Ricardo S. Ferreira 0001, Alex Damiany, Julio C. Goldner Vendramini, Tiago Teixeira, João M. P. Cardoso |
On Simplifying Placement and Routing by Extending Coarse-Grained Reconfigurable Arrays with Omega Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARC ![In: Reconfigurable Computing: Architectures, Tools and Applications, 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings, pp. 145-156, 2009, Springer, 978-3-642-00640-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Hiromasa Watanabe, Shoichi Hirasawa, Hiroki Honda |
F-Omega: A Framework for Steering GridRPC Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eScience ![In: Third International Conference on e-Science and Grid Computing, e-Science 2007, 10-13 December 2007, Bangalore, India, pp. 475-482, 2007, IEEE Computer Society, 0-7695-3064-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Kousha Etessami |
Stutter-Invariant Languages, omega-Automata, and Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 236-248, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
45 | Xiaojun Shen, Fan Yang, Yi Pan 0001 |
Equivalent permutation capabilities between time division optical omega network and non-optical extra stage omega network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCCC ![In: Proceedings of the IEEE International Performance Computing and Communications Conference, IPCCC 1999, Phoenix/Scottsdale, Arizona, USA, 10-12 February 1999, pp. 356-362, 1999, IEEE, 0-7803-5258-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
43 | Jorge Jiménez Meana, María Luisa Serrano 0001, Branimir Seselja, Andreja Tepavcevic |
Omega Ideals in Omega Rings and Systems of Linear Equations over Omega Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(8), pp. 757, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
43 | Takayuki Abe, Takehiko Oe, Masaya Kumagai, Matsuo Zama, Nobu-hisa Kaneko |
Characterization of $1~\mathrm{k}\Omega$ Metal-Foil Standard Resistors and Continuing Drift-Rate Evaluation of 1 $\Omega$ and $10~\Omega$ Standard Resistors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 68(6), pp. 2078-2083, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
43 | Claribet Piña |
A partition relation for pairs on $$\omega ^{\omega ^\omega }$$ ωωω. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 57(7-8), pp. 727-753, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Ran Raz, Amir Yehudayoff |
Multilinear Formulas, Maximal-Partition Discrepancy and Mixed-Sources Extractors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, October 25-28, 2008, Philadelphia, PA, USA, pp. 273-282, 2008, IEEE Computer Society, 978-0-7695-3436-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | David P. Woodruff |
Lower Bounds for Additive Spanners, Emulators, and More. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2006), 21-24 October 2006, Berkeley, California, USA, Proceedings, pp. 389-398, 2006, IEEE Computer Society, 0-7695-2720-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Raphael Yuster, Uri Zwick |
Answering distance queries in directed graphs using fast matrix multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005), 23-25 October 2005, Pittsburgh, PA, USA, Proceedings, pp. 389-396, 2005, IEEE Computer Society, 0-7695-2468-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Marcin Mucha, Piotr Sankowski |
Maximum Matchings via Gaussian Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 45th Symposium on Foundations of Computer Science (FOCS 2004), 17-19 October 2004, Rome, Italy, Proceedings, pp. 248-255, 2004, IEEE Computer Society, 0-7695-2228-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Elchanan Mossel, Amir Shpilka, Luca Trevisan |
On e-Biased Generators in NC0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 44th Symposium on Foundations of Computer Science (FOCS 2003), 11-14 October 2003, Cambridge, MA, USA, Proceedings, pp. 136-145, 2003, IEEE Computer Society, 0-7695-2040-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Yaoyun Shi |
Quantum Lower Bounds for the Collision and the Element Distinctness Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 43rd Symposium on Foundations of Computer Science (FOCS 2002), 16-19 November 2002, Vancouver, BC, Canada, Proceedings, pp. 513-519, 2002, IEEE Computer Society, 0-7695-1822-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Alexander A. Razborov |
Resolution Lower Bounds for Perfect Matching Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 17th Annual IEEE Conference on Computational Complexity, Montréal, Québec, Canada, May 21-24, 2002, pp. 29-38, 2002, IEEE Computer Society, 0-7695-1468-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Matching Principles, Resolution, Proof Complexity, Pigeonhole principle |
42 | Robert Rettinger, Xizhong Zheng |
Hierarchy of Monotonically Computable Real Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings, pp. 633-644, 2001, Springer, 3-540-42496-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
40 | Christian Schäck, Wolfgang Heenes, Rolf Hoffmann |
A Multiprocessor Architecture with an Omega Network for the Massively Parallel Model GCA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Embedded Computer Systems: Architectures, Modeling, and Simulation, 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings, pp. 98-107, 2009, Springer, 978-3-642-03137-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Global Cellular Automata, FPGA, multiprocessor architecture, omega network |
40 | William W. Pugh, David Wonnacott |
Eliminating False Data Dependences using the Omega Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), San Francisco, California, USA, June 17-19, 1992, pp. 140-151, 1992, ACM, 0-89791-475-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Omega |
39 | Clément Escoffier, Jonathan Bardin, Johann Bourcier, Philippe Lalanda |
Developing User-Centric Applications with H-Omega. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOBILWARE Workshops ![In: Mobile Wireless Middleware, Operating Systems, and Applications - Workshops, Mobilware 2009 Workshops, Berlin, Germany, April 2009, Revised Selected Papers, pp. 118-123, 2009, Springer, 978-3-642-03568-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
iPOJO, web portal, application server, pervasive application |
39 | Manki Min, Panos M. Pardalos |
OMEGa: an optimistic most energy gain method for minimum energy multicasting in wireless ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 16(1), pp. 81-95, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multicasting, Energy efficiency, Wireless ad hoc networks |
39 | Cristian Martín 0001, Mikel Larrea, Ernesto Jiménez |
On the implementation of the Omega failure detector in the crash-recovery failure model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria, pp. 975-982, 2007, IEEE Computer Society, 0-7695-2775-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Yanjie Wang, Rabin Raut |
A 2.4 GHz 82 dB-Omega fully differential CMOS transimpedance amplifier for optical receiver based on wide-swing cascode topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (2) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 1601-1605, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Lee Papayanopoulos |
Generalized Variance of Multivariate Omega Functions and Duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 116(1-4), pp. 21-40, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
weighted binomial, combinatorial distribution, prior and posterior analysis, Bernoulli, discrete random variable, variance, multivariance, volume, covariance |
39 | Hana Chockler, Orna Kupferman |
omega-Regular Languages Are Testable with a Constant Number of Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RANDOM ![In: Randomization and Approximation Techniques, 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002, Proceedings, pp. 26-28, 2002, Springer, 3-540-44147-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Rakotovao Lovanantenaina Omega, Yo Ishigaki, Sidik Permana, Yoshinori Matsumoto, Kayoko Yamamoto, Katsumi Shozugawa, Mayumi Hori |
Low-Cost Sensor Deployment on a Public Minibus in Fukushima Prefecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(5), pp. 1375, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
39 | Arash Zakeresfahani, Madeline Everhart, Anna N. Baglione, Margarita Castellanos Llorca, Vivian Grant, Nia Omega, Alexandria Woertz, James Clawson |
Design Implications to Support Integrative Medicine in Pregnancy Care. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Hum. Comput. Interact. ![In: Proc. ACM Hum. Comput. Interact. 6(CSCW2), pp. 1-32, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Jesús Alberto Meda-Campaña, Jonathan Omega Escobedo-Alva, José de Jesús Rubio, Carlos Aguilar Ibáñez, Jose Humberto Pérez-Cruz, Guillermo Obregon-Pulido, Ricardo Tapia-Herrera, Eduardo Orozco, Daniel Andrés Córdova, Marco Antonio Islas |
On the Rejection of Random Perturbations and the Tracking of Random References in a Quadrotor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex. ![In: Complex. 2022, pp. 3981340:1-3981340:16, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Ben Omega Petrazzini, Hugo Naya, Fernando Lopez-Bello, Gustavo E. Vazquez, Lucía Spangenberg |
Evaluation of different approaches for missing data imputation on features associated to genomic data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioData Min. ![In: BioData Min. 14(1), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
39 | Luis A. Páramo-Carranza, Elba Cinthya Garcia-Estrada, Jesús A. Meda-Campaña, José de Jesús Rubio, Jonathan Omega Escobedo-Alva, Ricardo Tapia-Herrera, J. O. Hernandez-Monterrosas, G. Lopez-Contreras, Juan Francisco Novoa, Arturo Aguilar |
Quadrotor stabilization by Fuzzy Kalman Filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 38(4), pp. 4485-4494, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
39 | Alfa Omega Hutagalung, Sawarni Hasibuan |
Determining the Priority of Medical Equipment Maintenance with Analytical Hierarchy Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Online Biomed. Eng. ![In: Int. J. Online Biomed. Eng. 15(10), pp. 107-120, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Dilshan Kumarathunga, Omega Gamage, Asitha Samarasinghe, Nipuna Saranga, Ranga Rodrigo, Ajith A. Pasqual |
VLIW Based Runtime Reconfigurable Machine Vision Coprocessor Architecture for Edge Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 30th IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP 2019, New York, NY, USA, July 15-17, 2019, pp. 103-106, 2019, IEEE, 978-1-7281-1601-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Jonathan Omega Escobedo-Alva, Elba Cinthya Garcia-Estrada, Luis Alberto Páramo-Carranza, Jesús A. Meda-Campaña, Ricardo Tapia-Herrera |
Theoretical Application of a Hybrid Observer on Altitude Tracking of Quadrotor Losing GPS Signal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 76900-76908, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Marsha Berry, Omega Goodwin |
Poetry 4 U: Pinning poems under/over/through the streets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 15(6), pp. 909-929, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Seung-Woo Seo, Tse-Yun Feng, Hyoung-Il Lee |
Permutation Realizability and Fault Tolerance Property of the Inside-Out Routing Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(9), pp. 946-957, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Omega + Omega network, looping algorithm, inside-out routing algorithm, fault tolerance, Benes network, Rearrangeable networks |
35 | Marion Scheepers |
The length of some diagonalization games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 38(2), pp. 103-122, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
$omega$-concentrated, point-open type, $omega$-type, strong-fan type, density type, infinite game |
35 | Myung-Kyun Kim, Hyunsoo Yoon, Seung Ryoul Maeng |
On the Correctness of Inside-Out Routing Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 46(7), pp. 820-823, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
asymmetric MINs, omega-omega network, routing algorithm, Multistage interconnection networks (MINs), rearrangeable networks |
35 | André Seznec |
A New Interconnection Network for SIMD Computers: The Sigma Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 36(7), pp. 794-801, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
BPC (bit permute complement permutation), reverse Omega network, Sigma network, compression, expansion, Omega network, vector processing, SIMD computer |
35 | David Nassimi, Sartaj Sahni |
A Self-Routing Benes Network and Parallel Permutation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 30(5), pp. 332-340, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
perfect shuffle computer, bit-permute-complement permutations, cube connected computer, inverse omega perputations, omega permutations, complexity, Benes network |
34 | Yannis Haralambous, Gábor Bella |
Injecting information into atomic units of text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2005 ACM Symposium on Document Engineering, Bristol, UK, November 2-4, 2005, pp. 134-142, 2005, ACM, 1-59593-240-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
OpenType, multilingual typesetting, texteme, SVG, character, PDF, Unicode, glyph, omega |
34 | David M. Koppelman |
A Family of Interconnection Networks for Nonuniform Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(5), pp. 486-492, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
simulation, interconnection networks, Congestion, omega networks, nonuniform traffic |
34 | Mark A. Linton |
Implementing Relational Views of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Development Environments (SDE) ![In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, Pennsylvania, USA, April 23-25, 1984, pp. 132-140, 1984, ACM, 0-89791-131-8. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
OMEGA |
34 | Søren Riis |
On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 272-283, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Algebraic proof complexity, predicate logic, Propositional proof complexity |
34 | Gabriel Paillard, Vlady Ravelomanana |
Limit Theorems for Degree of Coverage and Lifetime in Large Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2008. 27th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 13-18 April 2008, Phoenix, AZ, USA, pp. 2011-2019, 2008, IEEE, 978-1-4244-2026-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Cristian Martín 0001, Mikel Larrea |
Eventual Leader Election in the Crash-Recovery Failure Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan, pp. 208-215, 2008, IEEE Computer Society, 978-0-7695-3448-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Qi Cheng 0001 |
Derandomization of Sparse Cyclotomic Integer Zero Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007), October 20-23, 2007, Providence, RI, USA, Proceedings, pp. 74-80, 2007, IEEE Computer Society, 978-0-7695-3010-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Markus Aleksy, Michael Schwind, Ralf Gitzel |
Generating Families of Business Components from Metamodel Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: First International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2007), Vienna, Austria, 10-12 April 2007, pp. 197-204, 2007, IEEE Computer Society, 0-7695-2823-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Russell Impagliazzo, Ragesh Jaiswal, Valentine Kabanets |
Approximately List-Decoding Direct Product Codes and Uniform Hardness Amplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2006), 21-24 October 2006, Berkeley, California, USA, Proceedings, pp. 187-196, 2006, IEEE Computer Society, 0-7695-2720-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Ada S. Y. Poon, Robert W. Brodersen, David N. C. Tse |
Degrees of freedom in multiple-antenna channels: a signal space approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 51(2), pp. 523-536, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Jean Ponce, Kenton McHenry, Théodore Papadopoulo, Monique Teillaud, Bill Triggs |
On the Absolute Quadratic Complex and Its Application to Autocalibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (1) ![In: 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2005), 20-26 June 2005, San Diego, CA, USA, pp. 780-787, 2005, IEEE Computer Society, 0-7695-2372-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Neeta Pandey, Sajal K. Paul, Asok Bhattacharyya |
An insensitive current mode universal biquad: multi-input multi-output. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (4) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 3299-3302, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Kleanthis Psarris, Konstantinos Kyriakopoulos |
An Experimental Evaluation of Data Dependence Analysis Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 15(3), pp. 196-213, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
program analysis, compiler optimization, Parallelizing compilers, data dependence, automatic parallelization |
34 | Johannes Sturm, Martin Leifhelm, Harald Schatzmayr, Stefan Groiss, Horst Zimmermann |
Optical Receiver IC for CD/DVD/Blue-Laser Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 215-218, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Ran Raz, Amir Shpilka |
On the Power of Quantum Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 19th Annual IEEE Conference on Computational Complexity (CCC 2004), 21-24 June 2004, Amherst, MA, USA, pp. 260-274, 2004, IEEE Computer Society, 0-7695-2120-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Kleanthis Psarris, Konstantinos Kyriakopoulos |
The impact of data dependence analysis on compilation and program parallelization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 17th Annual International Conference on Supercomputing, ICS 2003, San Francisco, CA, USA, June 23-26, 2003, pp. 205-214, 2003, ACM, 1-58113-733-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
program analysis, compiler optimization, parallelizing compilers, data dependence, automatic parallelization |
34 | Nikhil Bansal 0001, Kedar Dhamdhere, Jochen Könemann, Amitabh Sinha |
Non-clairvoyant Scheduling for Minimizing Mean Slowdown. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings, pp. 260-270, 2003, Springer, 3-540-00623-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Malik Magdon-Ismail, Costas Busch, Mukkai S. Krishnamoorthy |
Cake-Cutting Is Not a Piece of Cake. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings, pp. 596-607, 2003, Springer, 3-540-00623-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Amit Chakrabarti, Subhash Khot, Xiaodong Sun |
Near-Optimal Lower Bounds on the Multi-Party Communication Complexity of Set Disjointness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 18th Annual IEEE Conference on Computational Complexity (Complexity 2003), 7-10 July 2003, Aarhus, Denmark, pp. 107-117, 2003, IEEE Computer Society, 0-7695-1879-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Philipp Woelfel |
On the Complexity of Integer Multiplication in Branching Programs with Multiple Tests and in Read-Once Branching Programs with Limited Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 17th Annual IEEE Conference on Computational Complexity, Montréal, Québec, Canada, May 21-24, 2002, pp. 80-89, 2002, IEEE Computer Society, 0-7695-1468-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Lower Bounds, BDDs, Nondeterminism, Branching Programs, Integer Multiplication |
34 | Robert Seater, David Wonnacott |
Polynomial Time Array Dataflow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001. Revised Papers, pp. 411-426, 2001, Springer, 3-540-04029-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Dima Grigoriev, Marek Karpinski, Nicolai N. Vorobjov Jr. |
Lower Bound on Testing Membership to a Polyhedron by Algebraic Decision and Computation Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 17(2), pp. 191-215, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Paul Petersen, David A. Padua |
Static and Dynamic Evaluation of Data Dependence Analysis Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(11), pp. 1121-1132, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
parallelism detection, evaluation of compiler techniques, compiler optimizations, Dependence analysis, automatic parallelization |
34 | Luke O'Connor |
On the Distribution of Characteristics in Bijective Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '93, Workshop on the Theory and Application of of Cryptographic Techniques, Lofthus, Norway, May 23-27, 1993, Proceedings, pp. 360-370, 1993, Springer, 3-540-57600-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
iterated mapping, product cipher, Differential cryptanalysis |
32 | Eryk Kopczynski |
Omega-Regular Half-Positional Winning Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 41-53, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
omega-regular languages, positional strategies, winning condtions, automata, infinite games |
32 | Nils Klarlund |
Progress Measures for Complementation of omega-Automata with Applications to Temporal Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991, pp. 358-367, 1991, IEEE Computer Society, 0-8186-2445-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
complementation omega -automata, languages of infinite words, Buchi automata, Streett automata, optimal complementation, temporal logic, finite-state automata, ETLs, graph-theoretic approach |
32 | William W. Pugh |
The Omega test: a fast and practical integer programming algorithm for dependence analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '91, Albuquerque, NM, USA, November 18-22, 1991, pp. 4-13, 1991, ACM, 0-89791-459-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Omega |
32 | Shmuel Safra |
On the Complexity of omega-Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 29th Annual Symposium on Foundations of Computer Science, White Plains, New York, USA, 24-26 October 1988, pp. 319-327, 1988, IEEE Computer Society, 0-8186-0877-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Buchi automata, complexity, decision procedures, deterministic automata, omega -automata |
32 | David Steinberg |
Invariant Properties of the Shuffle-Exchange and a Simplified Cost-Effective Version of the Omega Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 32(5), pp. 444-450, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
triangular permutation, Admissible permutation, linear permutation, lower triangular shuffle-exchange network, SIMD array, parallel processing, invariance, Omega network, permutation network, shuffle-exchange |
31 | Wei-Zen Chen, Da-Shin Lin |
A 90-dB Omega 10-Gb/s Optical Receiver Analog Front-End in a 0.18µm CMOS Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 15(3), pp. 358-365, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Peter Höfner, Bernhard Möller, Kim Solin |
Omega Algebra, Demonic Refinement Algebra and Commands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 222-234, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Mikel Larrea, Cristian Martín 0001 |
Implementing the Omega Failure Detector in the Crash-Recovery Model with partial Connectivity and/or Synchrony. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 4-8 September 2006, Krakow, Poland, pp. 400-405, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger, Jean-François Raskin |
Algorithms for Omega-Regular Games with Imperfect Information, . ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings, pp. 287-302, 2006, Springer, 3-540-45458-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Jin-Hwan Cho, Haruhiko Okumura |
Typesetting CJK Languages with Omega. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEX, XML, and Digital Typography ![In: TeX, XML, and Digital Typography, International Conference on TeX, XML, and Digital Typography, Held Jointly with the 25th Annual Meeting of the TeX Users Group, TUG 2004, Xanthi, Greece, August 30 - September 3, 2004, Proceedings, pp. 139-148, 2004, Springer, 3-540-22801-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Benedetto Intrigila, Richard Statman |
The Omega Rule is II_2^0-Hard in the lambda beta -Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings, pp. 202-210, 2004, IEEE Computer Society, 0-7695-2192-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke 0001, Helmut Horacek, Michael Kohlhase, Andreas Meier 0002, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer |
Proof Development with OMEGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings, pp. 144-149, 2002, Springer, 3-540-43931-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Robert M. Corless, David J. Jeffrey |
The Wright omega Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 76-89, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1790 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|