|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 205 occurrences of 161 keywords
|
|
|
Results
Found 1123 publication records. Showing 1083 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
136 | Michael Alekhnovich, Alexander A. Razborov |
Satisfiability, Branch-Width and Tseitin Tautologies. ![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. 593-603, 2002, IEEE Computer Society, 0-7695-1822-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
99 | Fritz Henglein, Jakob Rehof |
The Complexity of Subtype Entailment for Simple Types. ![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. 352-361, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
subtype entailment complexity, atomic entailment, coNP-completeness, complexity-theoretic marker, exponential explosion, subtype inference, structural complexity bounds, computability, satisfiability, axiomatization, linear-time algorithm |
86 | Vassil S. Dimitrov, Kimmo U. Järvinen, Michael J. Jacobson Jr., W. F. Chan, Zhun Huang |
Provably Sublinear Point Multiplication on Koblitz Curves and Its Hardware Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(11), pp. 1469-1481, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
86 | Werner Damm, Alexander Metzner, Friedrich Eisenbrand, Gennady Shmonin, Reinhard Wilhelm, Sebastian Winkel |
Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 16-18 August 2006, Sydney, Australia, pp. 87-90, 2006, IEEE Computer Society, 0-7695-2676-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
86 | Maria C. Yuang, Po L. Tien, Julin Shih, Alice Chen |
QoS scheduler/shaper for optical coarse packet switching IP-over-WDM networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 22(9), pp. 1766-1780, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
79 | Svetla Nikova, Ventzislav Nikov |
Improvement of the Delsarte Bound for tau-Designs in Finite Polynomial Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMACC ![In: Cryptography and Coding, 8th IMA International Conference, Cirencester, UK, December 17-19, 2001, Proceedings, pp. 191-204, 2001, Springer, 3-540-43026-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
74 | X. Y. Zeng |
Equivalence of the Oscillation of Two Coupled Difference Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD (2) ![In: Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China, pp. 757-761, 2007, IEEE Computer Society, 0-7695-2909-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
73 | Marian Bubak, Wlodzimierz Funika, Marcin Koch, Dominik Dziok, Allen D. Malony, Marcin Smetek, Roland Wismüller |
Towards the Performance Visualization of Web-Service Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers, pp. 108-115, 2005, Springer, 3-540-34141-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
TAU, web service, performance visualization, OMIS, monitoring tools |
66 | Farideh Ghoreishi, M. Hadizadeh |
Numerical computation of the Tau approximation for the Volterra-Hammerstein integral equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 52(4), pp. 541-559, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 45G05, Secondary 65R20 |
66 | Zhouyi Xu, Xiaodong Cai |
Unbiased tau-leap methods for stochastic simulation of biochemical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 657-660, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
66 | Wlodzimierz Funika, Marcin Koch, Dominik Dziok, Marcin Smetek, Roland Wismüller |
Performance Visualization of Web Services Using J-OCM and SCIRun/TAU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: High Performance Computing and Communications, First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005, Proceedings, pp. 666-671, 2005, Springer, 3-540-29031-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
J-OCM, TAU, SCIRun, web service, Performance visualization, monitoring tools |
62 | Baris Nakiboglu, Robert G. Gallager |
Error Exponents for Variable-Length Block Codes With Feedback and Cost Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(3), pp. 945-963, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Guoning Chen, Konstantin Mischaikow, Robert S. Laramee, Eugene Zhang |
Efficient Morse Decompositions of Vector Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 14(4), pp. 848-862, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells |
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 90-101, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
62 | Stefan Felsner |
On the Number of Arrangements of Pseudolines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 18(3), pp. 257-267, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
60 | Muhittin Gökmen, Anil K. Jain 0001 |
λτ-space representation of images and generalized edge detector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1996 Conference on Computer Vision and Pattern Recognition (CVPR '96), June 18-20, 1996 San Francisco, CA, USA, pp. 764-769, 1996, IEEE Computer Society, 0-8186-7258-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
image clad surface representation, physical membrane, plate models, /spl lambda//spl tau/-representation, scale space representation, generalized edge detector, edge detection, representation, image representation, range images, stereo images, image data, edge detector, regularization theory |
60 | Xiao-Jia M. Zhou, Tharam S. Dillon |
A Statistical-Heuristic Feature Selection Criterion for Decision Tree Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(8), pp. 834-841, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
statistical-heuristic feature selection criterion, multibranching decision trees, built-in statistical test, proportional-reduction-in-error, cost-of-complexity heuristic, middle-cut preference, tau criterion, prepruning, dynamic error estimation, pattern recognition, pattern recognition, robustness, statistics, trees (mathematics), decision theory, Bayes methods, Bayesian classifier, decision tree induction |
53 | Alan Morris, Allen D. Malony, Sameer Shende |
Supporting Nested OpenMP Parallelism in the TAU Performance System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 35(4), pp. 417-436, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
TAU, OpenMP, Nested parallelism |
52 | E. L. Ortiz, H. Samara |
Numerical solution of differential eigenvalue problems with an operational approach to the Tau method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 31(2), pp. 95-103, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
differential eigenvalue problems, systems of differential equations, Tau method, Legendre or Chebyshev series methods, Eigenvalues, differential equations, collocation |
49 | Sung Jin Yoo, Jin Bae Park, Yoon Ho Choi |
Comments on "Adaptive Neural Control for a Class of Nonlinearly Parametric Time-Delay Systems". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 19(8), pp. 1496-1498, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Kalle Ranto, Petri Rosendahl |
On Four-Valued Niho-Type Cross-Correlation Functions of m-Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(12), pp. 5533-5536, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
49 | Sebastian Maneth |
The Complexity of Compositions of Deterministic Tree Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, pp. 265-276, 2002, Springer, 3-540-00225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Deterministic Macro Tree Transducers, Complexity |
49 | Chuchang Liu, Maris A. Ozols |
Consistency of Trust Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings, pp. 717, 2002, Springer, 3-540-00197-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Mario Bravetti, Roberto Gorrieri |
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings, pp. 744-755, 2000, Springer, 3-540-67715-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Daniel T. Gillespie |
Simulation Methods in Systems Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 125-167, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
stochastic chemical kinetics, stochastic simulation algorithm, tau-leaping, Langevin equation, Fokker-Planck equation, stiff systems, slow-scale stochastic simulation algorithm, Michaelis-Menten, enzyme-substrate reaction, multiscale, master equation |
48 | Xiaotie Deng, Qizhi Fang, Shanfeng Zhu |
Approximate Rank Aggregation (Preliminary Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 9th Annual International Conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings, pp. 262-271, 2003, Springer, 3-540-40534-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Kendall-$tau$ distance, weighted ECC, coherence, Rank aggregation |
42 | Sameer Shende, Allen D. Malony, Alan Morris |
Workload Characterization Using the TAU Performance System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing. State of the Art in Scientific Computing, 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers, pp. 289-296, 2006, Springer, 978-3-540-75754-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Performance mapping, performance evaluation, measurement, instrumentation, workload characterization |
42 | Matthew Murray, Geir Hovland, Torgny Brogardh |
Collision-Free Workspace Design of the 5-Axis Gantry-Tau Parallel Kinematic Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 2150-2155, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Wyatt Spear, Allen D. Malony, Alan Morris, Sameer Shende |
Integrating TAU with Eclipse: A Performance Analysis System in an Integrated Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: High Performance Computing and Communications, Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings, pp. 230-239, 2006, Springer, 3-540-39368-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Adrian Lahanas, Vassilios Tsaoussidis |
Tau-AIMD for Asynchronous Receiver Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June - 3 July 2003, Kiris-Kemer, Turkey, pp. 735-740, 2003, IEEE Computer Society, 0-7695-1961-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | André van Schaik, Craig T. Jin |
The tau-cell: a new method for the implementation of arbitrary differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 569-572, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Joachim Parrow, Björn Victor |
The Tau-Laws of Fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings, pp. 99-114, 1998, Springer, 3-540-64896-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
37 | Frédéric Pascal 0001, Yacine Chitour, Jean Philippe Ovarlez, Philippe Forster, Pascal Larzabal |
Covariance Structure Maximum-Likelihood Estimates in Compound Gaussian Noise: Existence and Algorithm Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(1), pp. 34-48, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Aroon Nataraj, Allen D. Malony, Sameer Shende, Alan Morris |
Integrated parallel performance views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 11(1), pp. 57-73, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Measurement, Linux, Kernel, Instrumentation, Parallel performance |
37 | Paul Baker, Clive Jervis |
Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings, pp. 86-100, 2007, Springer, 978-3-540-74983-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Emmanuel J. Candès, Justin K. Romberg, Terence Tao |
Robust uncertainty principles: exact signal reconstruction from highly incomplete frequency information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(2), pp. 489-509, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Pasi Fränti, Olli Virmajoki, Ville Hautamäki |
Fast Agglomerative Clustering Using a k-Nearest Neighbor Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 28(11), pp. 1875-1881, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
PNN, Clustering, vector quantization, nearest neighbor, agglomeration |
37 | Aroon Nataraj, Allen D. Malony, Alan Morris, Sameer Shende |
Early Experiences with KTAU on the IBM BG/L. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28 - September 1, 2006, Proceedings, pp. 99-110, 2006, Springer, 3-540-37783-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
performance, measurement, analysis, Kernel |
37 | Aroon Nataraj, Allen D. Malony, Sameer Shende, Alan Morris |
Kernel-Level Measurement for Integrated Parallel Performance Views: the KTAU Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: Proceedings of the 2006 IEEE International Conference on Cluster Computing, September 25-28, 2006, Barcelona, Spain, 2006, IEEE Computer Society, 1-4244-0328-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Wen Chen 0004, Bin Han 0003, Rong-Qing Jia |
On simple oversampled A/D conversion in shift-invariant spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 51(2), pp. 648-657, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Evans Gouno, Ananda Sen, N. Balakrishnan 0002 |
Optimal step-stress test under progressive type-I censoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 53(3), pp. 388-393, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Rajit Manohar, Clinton Kelly IV, John Teifel, David Fang, David Biermann |
Energy-Efficient Pipelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002), 9-11 April 2002, Manchester, UK, pp. 23-33, 2002, IEEE Computer Society, 0-7695-1540-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
energy-time metrics, pipeline dynamics, low-power design |
37 | J. B. Wells |
The Essence of Principal Typings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, pp. 913-925, 2002, Springer, 3-540-43864-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Sabine Broda, Luís Damas |
A Context-Free Grammar Representation for Normal Inhabitants of Types in TAlambda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, pp. 321-334, 2001, Springer, 3-540-43030-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
37 | John L. Bruno, Edward G. Coffman Jr. |
Optimal Fault-Tolerant Computing on Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 34(12), pp. 881-904, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
37 | Tomás Kaiser |
Transversals of d-Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 18(2), pp. 195-203, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
37 | J. C. Lagarias 0001, Nagabhushana Prabhu, James A. Reeds |
The d-Step Conjecture and Gaussian Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 18(1), pp. 53-82, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
35 | Ravi Kumar 0001, Sergei Vassilvitskii |
Generalized distances between rankings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 571-580, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
kendall's tau, permutation distances, spearman footrule, metrics |
35 | Muhammad R. Abid 0001, Daniel Amyot, Stéphane S. Somé, Gunter Mussbacher |
A UML Profile for Goal-Oriented Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings, pp. 133-148, 2009, Springer, 978-3-642-04553-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Tau G2, Metamodel, UML Profile, User Requirements Notation, Goal-oriented Requirement Language |
35 | Joachim Giesen, Eva Schuberth, Milos Stojakovic |
Approximate Sorting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2006: Theoretical Informatics, 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings, pp. 524-531, 2006, Springer, 3-540-32755-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Spearman’s footrule metric, Kendall’s tau metric, Ranking, Sorting |
35 | Noboru Takagi, Y. Nakamura, Kyoichi Nakashima |
Set-Valued Functions and Regularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 89-96, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
set-valued functions, propositional connectives, n-variable ternary functions, /spl tau/-valued functions, regularity, multivalued logic, ternary logic |
35 | Sissel Olander, Tau Ulv Lenskjold, Signe Louise Yndigegn, Maria Foverskov |
Mobilizing for community building and everyday innovation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interactions ![In: Interactions 18(4), pp. 28-32, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
34 | N. Lima, José Matos, Jody Maick Matos, Paulo B. Vasconcelos |
A Time-Splitting Tau Method for PDE's: A Contribution for the Spectral Tau Toolbox Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 16(1), pp. 7, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Vincent A. Cicirello |
Kendall tau sequence distance: Extending Kendall tau from ranks to sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAI Endorsed Trans. Ind. Networks Intell. Syst. ![In: EAI Endorsed Trans. Ind. Networks Intell. Syst. 7(23), pp. e1, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Vincent A. Cicirello |
Kendall Tau Sequence Distance: Extending Kendall Tau from Ranks to Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.02752, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
34 | Yann Fichou |
Hydration water dynamics of the tau protein in its native and amyloid states. (Dynamique de l'eau d'hydratation de la protéine tau dans des formes native et amyloïde). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
34 | Meriem Ouederni, Gwen Salaün |
Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCSI ![In: Proceedings International Workshop on Component and Service Interoperability, WCSI 2010, Málaga, Spain, 29th June 2010., pp. 57-70, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Theresa M. Yuraszeck, Pierre Neveu, Maria Rodriguez-Fernandez, Anne S. Robinson, Kenneth S. Kosik, Francis J. Doyle III |
Vulnerabilities in the Tau Network and the Role of Ultrasensitive Points in Tau Pathophysiology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 6(11), 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Werner Sandmann |
Streamlined Formulation of Adaptive Explicit-Implicit Tau-leaping with Automatic Tau Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2009 Winter Simulation Conference, WSC 2009, Hilton Austin Hotel, Austin, TX, USA, December 13-16, 2009, pp. 1104-1112, 2009, IEEE, 978-1-4244-5770-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Gerhard Benadé, Izak Broere, Betsie Jonck, Marietjie Frick |
Uniquely (m, k)tau-colourable graphs and k-tau-saturated graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 162(1-3), pp. 13-22, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
29 | Isolde Dressler, Anders Robertsson, Rolf Johansson 0001 |
Automatic kinematic calibration of a modular Gantry-Tau parallel robot from a kinematics point of view. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 1282-1287, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Nicolas Andreff, Isolde Dressler |
Closed-form calibration of the Gantry-Tau parallel robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 993-998, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Naum Chernoguz |
Adaptive-gain-and-tau tracking filters for correlated target maneuvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 3553-3556, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Geir Hovland, Martin Choux, Matthew Murray, Torgny Brogardh |
Benchmark of the 3-DOF Gantry-Tau Parallel Kinematic Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 535-542, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Isolde Dressler, Anders Robertsson, Rolf Johansson 0001 |
Accuracy of Kinematic and Dynamic Models of a Gantry-Tau Parallel Kinematic Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 883-888, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Isolde Dressler, Mathias Haage, Klas Nilsson, Rolf Johansson 0001, Anders Robertsson, Torgny Brogardh |
Configuration Support and Kinematics for a Reconfigurable Gantry-Tau Manipulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 2957-2962, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Mark Sanderson, Ian Soboroff |
Problems with Kendall's tau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Amsterdam, The Netherlands, July 23-27, 2007, pp. 839-840, 2007, ACM, 978-1-59593-597-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
experimentation |
29 | Tara Julia Hamilton, Craig T. Jin, André van Schaik |
An analysis of matching in the Tau cell log-domain filter. ![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 |
|
29 | Sameer Shende, Allen D. Malony |
Integration and applications of the TAU performance system in parallel Java environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the ACM 2001 Java Grande Conference, Stanford University, California, USA, June 2-4, 2001, pp. 87-96, 2001, ACM, 1-58113-359-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Java |
29 | Bernd Mohr, Darryl Brown, Allen D. Malony |
TAU: A Portable Parallel Program Analysis Environment for pC++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings, pp. 29-40, 1994, Springer, 3-540-58430-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Allen D. Malony, Scott Biersdorff, Wyatt Spear, Shangkar Mayanglambam |
An experimental approach to performance measurement of heterogeneous parallel applications using CUDA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 24th International Conference on Supercomputing, 2010, Tsukuba, Ibaraki, Japan, June 2-4, 2010, pp. 127-136, 2010, ACM, 978-1-4503-0018-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
profiling, GPGPU, tracing, performance tools |
25 | Claudia Hauff, Leif Azzopardi |
When is query performance prediction effective? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 32nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2009, Boston, MA, USA, July 19-23, 2009, pp. 829-830, 2009, ACM, 978-1-60558-483-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
evaluation, query performance prediction |
25 | Yacine Chitour, Frédéric Pascal 0001 |
Exact Maximum Likelihood Estimates for SIRV Covariance Matrix: Existence and Algorithm Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(10-1), pp. 4563-4573, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Zhiguo Ding 0001, Tharmalingam Ratnarajah, Colin Cowan |
On the Diversity-Multiplexing Tradeoff for Wireless Cooperative Multiple Access Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 55(9), pp. 4627-4638, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Thuy Duong Vu |
Deciding orthogonal bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 19(4), pp. 475-485, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Orthogonal bisimulation equivalence, Branching bisimulation equivalence, Silent step, Labeled transition system, Concurrency theory |
25 | Aroon Nataraj, Matthew J. Sottile, Alan Morris, Allen D. Malony, Sameer Shende |
TAUoverSupermon : Low-Overhead Online Parallel Performance Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2007, Parallel Processing, 13th International Euro-Par Conference, Rennes, France, August 28-31, 2007, Proceedings, pp. 85-96, 2007, Springer, 978-3-540-74465-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Online performance measurement, cluster monitoring |
25 | Tae-Hyong Kim, Qi-Ping Yang, Soon-Gi Park, Yeun-Seung Shin |
SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings, pp. 272-288, 2007, Springer, 978-3-540-74983-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | José Luis Rojo-Álvarez, Javier Bermejo, V. M. Juarez-Caballero, Raquel Yotti, Cristina Cortina, Miguel A. García-Fernández, José Carlos Antoranz |
Support vector analysis of color-Doppler images: a new approach for estimating indices of left ventricular function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 25(8), pp. 1037-1043, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Ping Li 0037, Hou-Sheng Chen, Guangdong Huang, Xiao-Jun Shi |
On Portfolio's Default-Risk-Adjusted Duration and Value: Model and Algorithm Based on Copulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, Second International Workshop, WINE 2006, Patras, Greece, December 15-17, 2006, Proceedings, pp. 214-224, 2006, Springer, 3-540-68138-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Zhenguo Shi, Zongtian Liu, Qiang Wu |
Research on au-Parameter Fuzzy Concept Lattice for Grid Resource. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKG ![In: 2006 International Conference on Semantics, Knowledge and Grid (SKG 2006), 1-3 November 2006, Guilin, China, pp. 16, 2006, IEEE Computer Society, 0-7695-2673-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Ian W. C. Lee, Abraham O. Fapojuwo |
Effect of non-stationarities on multifractal analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 167-171, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Sumitha Bhandarkar, Nauzad Erach Sadry, A. L. Narasimha Reddy, Nitin H. Vaidya |
TCP-DCR: A Novel Protocol for Tolerating Wireless Channel Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 4(5), pp. 517-529, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
delayed congestion response, Wireless network, TCP, local recovery, channel errors |
25 | Jean-Christophe Sarrazin, Arnaud Tonnelier, Frédéric Alexandre |
A model of contextual effect on reproduced extents in recall tasks: the issue of the imputed motion hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 92(5), pp. 303-315, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Paolo Ferragina, Fabrizio Luccio, Giovanni Manzini, S. Muthukrishnan 0001 |
Structuring labeled trees for optimal succinctness, and beyond. ![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. 184-196, 2005, IEEE Computer Society, 0-7695-2468-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Fabrizio Angiulli, Clara Pizzuti |
Top-k Closest Pairs Join Query: An Approximate Algorithm for Large High Dimensional Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 8th International Database Engineering and Applications Symposium (IDEAS 2004), 7-9 July 2004, Coimbra, Portugal, pp. 103-110, 2004, IEEE Computer Society, 0-7695-2168-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Guy E. Blelloch, Perry Cheng, Phillip B. Gibbons |
Scalable Room Synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 36(5), pp. 397-430, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Wu Jigang, Thambipillai Srikanthan |
Partial rerouting algorithm for reconfigurable VLSI arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 641-644, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Igor M. Filanovsky |
One class of transfer functions with monotonic step response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 389-392, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Ken Y. Chan, Gregor von Bochmann |
Modeling IETF Session Initiation Protocol and Its Services in SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings, pp. 352-373, 2003, Springer. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Telelogic, UML, SIP, Design Methodology, SDL, Software Specification, Use Case, MSC, Internet Telephony |
25 | Bernd Mohr, Allen D. Malony, Sameer Shende, Felix Wolf 0001 |
Design and Prototype of a Performance Tool Interface for OpenMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 23(1), pp. 105-128, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
performance analysis, parallel programming, OpenMP |
25 | Bruno Courcelle |
Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings, pp. 1-4, 2002, Springer, 3-540-43366-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Nobuko Yoshida, Kohei Honda 0001, Martin Berger 0001 |
Linearity and Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings, pp. 417-434, 2002, Springer, 3-540-43366-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Dowon Hong, Ku-Young Chang, Heuisu Ryu |
Efficient Oblivious Transfer in the Bounded-Storage Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2002, 8th International Conference on the Theory and Application of Cryptology and Information Security, Queenstown, New Zealand, December 1-5, 2002, Proceedings, pp. 143-159, 2002, Springer, 3-540-00171-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | J. Davison de St. Germain, Alan Morris, Steven G. Parker, Allen D. Malony, Sameer Shende |
Integrating Performance Analysis in the Uintah Software Development Cycle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISHPC ![In: High Performance Computing, 4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002, Proceedings, pp. 190-206, 2002, Springer, 3-540-43674-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Davide Sangiorgi |
Types, or: Where's the Difference Between CCS and pi? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp. 76-97, 2002, Springer, 3-540-44043-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Naoki Katoh, Takeshi Tokuyama |
Notes on computing peaks in k-levels and parametric spanning trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Seventeenth Annual Symposium on Computational Geometry, Medford, MA, USA, June 3-5, 2001, pp. 241-248, 2001, ACM, 1-58113-357-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Sabine Broda, Luís Damas |
Counting a Type's Principal Inhabitants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings, pp. 69-82, 1999, Springer, 3-540-65763-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Zdzislaw Splawski, Pawel Urzyczyn |
Type Fixpoints: Iteration vs. Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 102-113, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Holger Hermanns, Markus Lohrey |
Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings, pp. 237-252, 1998, Springer, 3-540-64896-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Teena P. Gulabani, Masha Sosonkina, Mark S. Gordon, Curtis L. Janssen, Joseph P. Kenny, Heather Netzloff, Theresa L. Windus |
Development of high performance scientific components for interoperability of computing packages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
NWChem, QM/MM modeling, TAU, interoperability, common component architecture |
Displaying result #1 - #100 of 1083 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|