|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 399 occurrences of 324 keywords
|
|
|
Results
Found 510 publication records. Showing 510 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
103 | Jeremiah Willcock, Andrew Lumsdaine, Arch D. Robison |
Using MPI with C# and the common language infrastructure. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
common language infrastructure (CLI), parallel computing, message passing interface (MPI), C#, NET |
93 | Albrecht Schmidt 0001 |
Engineering interactive ubiquitous computing systems. |
EICS |
2011 |
DBLP DOI BibTeX RDF |
|
75 | Tristan Ravitch, Steve Jackson 0002, Eric Aderhold, Ben Liblit |
Automatic generation of library bindings using static analysis. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces |
72 | Craig Edward Rasmussen, Jeffrey M. Squyres |
A Case for New MPI Fortran Bindings. |
PVM/MPI |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Karl Meerbergen, Kresimir Fresl, Toon Knapen |
C++ Bindings to External Software Libraries with Examples from BLAS, LAPACK, UMFPACK, and MUMPS. |
ACM Trans. Math. Softw. |
2009 |
DBLP DOI BibTeX RDF |
C++, Bindings, BLAS, LAPACK, traits |
65 | Antoine Boutet, Benoit Le Texier, Julien Montavont, Nicolas Montavont, Guillaume Schreiner |
Advantages of flow bindings: an embedded mobile network use case. |
TRIDENTCOM |
2008 |
DBLP DOI BibTeX RDF |
IPv6 mobility, NEMO basic support, flow bindings, next generation wireless network testbeds, embedded applications |
65 | Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey |
A computational approach to reflective meta-reasoning about languages with bindings. |
MERLIN |
2005 |
DBLP DOI BibTeX RDF |
MetaPRL, Nuprl, languages with bindings, programming language, reflection, experimentation, type theory, higher-order abstract syntax |
62 | Dale Miller 0001 |
Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
54 | Richard W. Selby, Victor R. Basili |
Analyzing Error-Prone System Structure. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
error-prone system structure, data interaction, prediction environment, nonparametric analysis of variance model, software metrics, error analysis, software systems, program diagnostics, empirical analysis, clustering technique, data bindings |
52 | Hans Ole Rafaelsen, Frank Eliassen, Sharath Babu Musunoori |
Towards Self-organizing Distribution Structures for Streaming Media. |
OTM Conferences (2) |
2006 |
DBLP DOI BibTeX RDF |
|
52 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
A Tabling Implementation Based on Variables with Multiple Bindings. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Performance, Logic Programming, Implementation, Tabling, OR-Parallelism |
52 | Sebastian Gajek, Lijun Liao, Jörg Schwenk |
Stronger TLS bindings for SAML assertions and SAML artifacts. |
SWS |
2008 |
DBLP DOI BibTeX RDF |
client certificate, fim, saml, tls |
52 | Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli |
A Generative Approach to the Implementation of Language Bindings for the Document Object Model. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Heechern Kim, Chisu Wu |
A Class Testing Technique Based on Data Bindings. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
Software testing, data binding, class testing |
44 | Yasuhisa Tamura, Kazuya Sumi, Takeshi Yamamuro, Masashi Maejima |
CSCL Data Structurization and Inter-LMS Sharing with Use of Web Services. |
KES (3) |
2008 |
DBLP DOI BibTeX RDF |
XML bindings, automatic exchange, Web services, Collaborative Learning, CSCL |
41 | Robert A. van Engelen |
A framework for service-oriented computing with C and C++ Web service components. |
ACM Trans. Internet Techn. |
2008 |
DBLP DOI BibTeX RDF |
Web services standards, Service-oriented computing |
41 | Romain Lenglet, Shigeru Chiba |
Dryverl: a flexible Erlang/C binding compiler. |
Erlang Workshop |
2006 |
DBLP DOI BibTeX RDF |
stub, compiler, C, erlang, binding, port, driver, ODP |
41 | Kamal S. Khouri, Ganesh Lakshminarayana, Niraj K. Jha |
Memory binding for performance optimization of control-flow intensive behavioral descriptions. |
IEEE Trans. Very Large Scale Integr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Pierre-Luc Brunelle, Ettore Merlo, Giuliano Antoniol |
Investigating Java Type Analyses for the Receiver-Classes Testing Criterion. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Kamal S. Khouri, Ganesh Lakshminarayana, Niraj K. Jha |
Memory binding for performance optimization of control-flow intensive behaviors. |
ICCAD |
1999 |
DBLP DOI BibTeX RDF |
|
41 | Hans Ole Rafaelsen, Frank Eliassen |
Trading and Negotiating Stream Bindings. |
Middleware |
2000 |
DBLP DOI BibTeX RDF |
|
41 | Øyvind Hanssen, Frank Eliassen |
A Framework for Policy Bindings. |
DOA |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
A flexible framework for programming with non-deterministicfunctions. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
call-time choice, local bindings, non-deterministic functions, run-time-choice, term rewriting systems |
34 | Claus Atzenbeck, Peter J. Nürnberg |
Constraints in spatial structures. |
Hypertext |
2005 |
DBLP DOI BibTeX RDF |
WildDocs, knowledge representation, user interface design, hypermedia, collections, bindings, knowledge work, spatial structures |
34 | Han-Suk Choi, Jae Soo Yoo, Ok-Bae Chang |
A New Control Service Model Based on CORBA for Distributed Multimedia Objects. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
control service model, distributed multimedia objects, DIMCA/ORB, real-time bindings, heterogeneous components, Quality of Service, CORBA, multimedia systems, open distributed systems |
31 | David Briggs, Suad Alagic |
Algebraic specification techniques for parametric types with logic-based constraints. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
parametric types, verification theories, assertions, PVS, JML |
31 | Guor-Huar Lu, Changho Choi, Zhi-Li Zhang |
Vault: A Secure Binding Service. |
ICNP |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Cosmin E. Oancea, Stephen M. Watt |
Parametric polymorphism for software component architectures. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
antiunification, software component architecture, generics, templates, parametric polymorphism |
31 | Cesare Pautasso, Gustavo Alonso |
Flexible Binding for Reusable Composition of Web Services. |
SC@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Chen Li 0001, Edward Y. Chang |
Query Planning with Limited Source Capabilities. |
ICDE |
2000 |
DBLP DOI BibTeX RDF |
information-integration systems, limited source capabilities, Data-log programs |
31 | Roberto Ierusalimschy, Renato Cerqueira, Noemi de La Rocque Rodriguez |
Using Reflexivity to Interface with CORBA. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
CORBA binding, interpreted languages, reflexivity |
31 | Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper |
Efficient Incremental Evaluation of Higher order Attribute Grammars. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
31 | Douglas Comer |
Domain names: hierarchy in need of organization (panel session, abstract only). |
SIGCOMM |
1985 |
DBLP DOI BibTeX RDF |
|
31 | Fabrício de Alexandria Fernandes, Robin Passama, Jean-Claude Royer |
Event strictness for components with complex bindings. |
ISEC |
2009 |
DBLP DOI BibTeX RDF |
behavioural compatibility, event strictness, structured product, communication, protocol, component, binding |
31 | Tom H. F. Broens, Marten van Sinderen, Aart van Halteren, Dick A. C. Quartel |
Dynamic Context Bindings in Pervasive Middleware. |
PerCom Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
31 | John F. Buford, Rakesh Kumar, Greg Perkins |
Composition Trust Bindings in Pervasive Computing Service Composition. |
PerCom Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Tom H. F. Broens, Aart van Halteren, Marten van Sinderen |
Infrastructural Support for Dynamic Context Bindings. |
EuroSSC |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Christian Werner, Carsten Buschmann, Tobias Jäcker |
Enhanced Transport Bindings for Efficient SOAP Messaging. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Howard Ausden, Karl A. Nyberg |
Using ASIS to generate C++ bindings. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
cross-language libraries, multiple language interfaces, program transformation |
31 | Jirí Adámek, Frantisek Plásil |
Partial Bindings of Components - Any Harm?. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Anthony Savidis |
Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language. |
RISE |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Magdalena Slawiñska |
Hunting for Bindings in Distributed Object-Oriented Systems. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Fabio Simeoni, David Lievens, Richard Connor 0001, Paolo Manghi |
Language Bindings to XML. |
IEEE Internet Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Bruce R. Barkstrom |
Ada 95 bindings for the NCSA hierarchical data format. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
HDF4, Hierarchical Data Format, Self-documenting files, Ada, File formats, HDF5, HDF |
31 | Theodore P. Baker, Dong-Ik Oh |
Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
31 | Shinn-Der Lee, Daniel P. Friedman |
Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
SCHEME |
23 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
A simple rewrite notion for call-time choice semantics. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
constructor-based rewriting logic, local bindings, non-determinism calltime choice semantics, sharing, term rewriting systems, functional-logic programming |
23 | Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov |
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
languages with bindings, mechanized reasoning, meta-theory, metaPRL, nuPRL, reflection, type theory, higher-order abstract syntax |
23 | Paolo Manghi, Fabio Simeoni, David Lievens, Richard Connor 0001 |
Hybrid applications over XML: integrating the procedural and declarative approaches. |
WIDM |
2002 |
DBLP DOI BibTeX RDF |
XML high-level bindings, XML programming, advanced web applications, XML querying, web data integration |
23 | Gerardo Bandera, Manuel Ujaldon, Emilio L. Zapata |
Compile and Run-Time Support for the Parallelization of Sparse Matrix Updating Algorithms. |
J. Supercomput. |
2000 |
DBLP DOI BibTeX RDF |
data-parallel compilation, pseudo-regular distributions, dynamic data behaviour, semantic bindings, sparse matrix, run-time support |
23 | Shayne Flint |
Using Java APIs with Native Ada Compilers. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Java, Java, Ada, Ada, bindings, Java native interface |
23 | Wenyu Lu, Dik Lun Lee, Jiawei Han 0001 |
A Study on the Structure of Linear Recursion. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
linear recursion, variable connections, static bindings, chain connections, chain recursions, rule compilation, query information, optimized query-processing plans, rule classification, query processing, query processing, optimisation, database theory, deductive databases, deductive database, expansions, logic database |
21 | Wenfei Fan, Floris Geerts, Xibei Jia, Anastasios Kementsietsidis |
Conditional functional dependencies for capturing data inconsistencies. |
ACM Trans. Database Syst. |
2008 |
DBLP DOI BibTeX RDF |
SQL, functional dependency, Data cleaning |
21 | Yeong-Sheng Chen, Chien-Hsun Chen, Hua-Yin Fang |
An Efficient Quorum-Based Fault-Tolerant Approach for Mobility Agents in Wireless Mobile Networks. |
SUTC |
2008 |
DBLP DOI BibTeX RDF |
Fault-Tolerant, Mobility Agent, Mobile IP, Quorum |
21 | Timothy Bourke, Arcot Sowmya |
Automatically transforming and relating Uppaal models of embedded systems. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
timed trace inclusion, model transformation, Uppaal |
21 | Heinrich Stamerjohanns, Michael Kohlhase |
Transforming the arXiv to XML. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Philip Bohannon, Wenfei Fan, Floris Geerts, Xibei Jia, Anastasios Kementsietsidis |
Conditional Functional Dependencies for Data Cleaning. |
ICDE |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Alva L. Couch, Hengky Susanto, Marc Chiarini |
Modeling Change Without Breaking Promises. (PDF / PS) |
AIMS |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Everest T. Ong, Jay Walter Larson, Boyana Norris, Robert L. Jacob, Michael Tobis, Michael Steder |
Multilingual Interfaces for Parallel Coupling in Multiphysics and Multiscale Systems. |
International Conference on Computational Science (1) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Ustun Yildiz, Claude Godart |
Synchronization Solutions for Decentralized Service Orchestrations. |
ICIW |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Alun D. Preece, Binling Jin, Edoardo Pignotti, Paolo Missier, Suzanne M. Embury, David Stead, Al Brown |
Managing Information Quality in e-Science Using Semantic Web Technology. |
ESWC |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Vicki Ha, Kori Inkpen, Jim Wallace, Ryder Ziola |
Swordfish: user tailored workspaces in multi-display environments. |
CHI Extended Abstracts |
2006 |
DBLP DOI BibTeX RDF |
|
21 | James Cheney, Christian Urban |
alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Hans Ole Rafaelsen, Frank Eliassen |
Design and Performance of a Media Gateway Trader. |
OTM |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Tom Boyd, Partha Dasgupta |
Process Migration: A Generalized Approach Using a Virtualizing Operating System. |
ICDCS |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Seung Jin Lim, Yiu-Kai Ng |
A Hybrid Fragmentation Approach for Distributed Deductive Database Systems. |
Knowl. Inf. Syst. |
2001 |
DBLP DOI BibTeX RDF |
Hybrid fragmentation, Vertical fragmentation, Distributed systems, Deductive databases, Horizontal fragmentation |
21 | Thorsten Fiebig, Guido Moerkotte |
Algebraic XML Construction in Natix. |
WISE (1) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Armin Wolf |
Projection in Adaptive Constraint Handling. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Ole Lehrmann Madsen |
Towards Integration of State Machines and Object-Oriented Languages. |
TOOLS (29) |
1999 |
DBLP DOI BibTeX RDF |
object-oriented languages, state machines, Object-oriented analysis and design |
21 | Ashutosh Mujumdar, Rajiv Jain, Kewal K. Saluja |
Incorporating performance and testability constraints during binding in high-level synthesis. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Seung Jin Lim, Yiu-Kai Ng |
A Formal Approach for Horizontal Fragmentation in Distributed Deductive Database Design. |
DEXA |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Anindya Banerjee 0001, David A. Schmidt |
A Categorical Interpretation of Landin's Correspondence Principle. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Seppo Sippu, Eljas Soisalon-Soininen |
Multiple SIP Strategies and Bottom-Up Adorning in Logic Query Optimization. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
21 | W. P. Weijland |
Semantics for Logic Programs without Occur Check. |
ICALP |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Domenico Saccà, Carlo Zaniolo |
Magic Counting Methods. |
SIGMOD Conference |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Keith L. Clark, Steve Gregory |
Parlog: Parallel Programming in Logic. |
ACM Trans. Program. Lang. Syst. |
1986 |
DBLP DOI BibTeX RDF |
Prolog, PARLOG |
21 | Robert M. Keller, M. Ronan Sleep |
Applicative Caching. |
ACM Trans. Program. Lang. Syst. |
1986 |
DBLP DOI BibTeX RDF |
|
21 | Domenico Saccà, Carlo Zaniolo |
The Generalized Counting Method for Recursive Logic Queries. |
ICDT |
1986 |
DBLP DOI BibTeX RDF |
|
21 | Norihisa Suzuki |
Inferring Types in Smalltalk. |
POPL |
1981 |
DBLP DOI BibTeX RDF |
|
21 | Russell K. Standish |
Fat API bindings of C++ objects into scripting languages. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Hui Zhou, Ken Raffenetti, Wesley Bland, Yanfei Guo |
Generating Bindings in MPICH. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Aaron Küsters, Wil M. P. van der Aalst |
Developing a High-Performance Process Mining Library with Java and Python Bindings in Rust. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Taejoon Kim |
A Highly Adaptable and Flexible Rendering Engine by Minimum API Bindings. |
Eurographics (Short Papers) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Minhyeop Kim, In-Young Ko |
Multilevel agent negotiation on service bindings for efficient multi-tasking in IoT environments. |
Internet Things |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Gianluca Amato, Francesca Scozzari |
JGMP: Java bindings and wrappers for the GMP library. |
SoftwareX |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Baidyanath Kundu, Vassil Vassilev, Wim Lavrijsen |
Efficient and Accurate Automatic Python Bindings with cppyy & Cling. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Andrei Popescu 0001 |
Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version. |
J. Autom. Reason. |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Aïssata Maiga, Cyrille Artho, Florian Gilcher, Yannick Moy |
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library. |
FTSCS |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Frantisek Vidensky, Frantisek Zboril Jr., Radek Kocí, Frantisek Vítezslav Zboril |
Operational Semantic of an AgentSpeak(L) Interpreter Using Late Bindings. |
ICAART (1) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Martin Larralde |
Pyrodigal: Python bindings and interface to Prodigal, an efficient method for gene prediction in prokaryotes. |
J. Open Source Softw. |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Hao Li, Cor-Paul Bezemer |
Studying Popular Open Source Machine Learning Libraries and Their Cross-Ecosystem Bindings. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
21 | Andrei Popescu 0001 |
Rensets and Renaming-Based Recursion for Syntax with Bindings. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Sam Whited |
Channel Bindings for TLS 1.3. |
RFC |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Andrei Popescu 0001 |
Rensets and Renaming-Based Recursion for Syntax with Bindings. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Frantisek Zboril Jr., Frantisek Vidensky, Radek Kocí, Frantisek Vítezslav Zboril |
Late Bindings in AgentSpeak(L). |
ICAART (3) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Jérôme Eberhardt, Diogo Santos-Martins, Andreas F. Tillack, Stefano Forli |
AutoDock Vina 1.2.0: New Docking Methods, Expanded Force Field, and Python Bindings. |
J. Chem. Inf. Model. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Shaked Bergman, Alon Diament, Tamir Tuller |
New computational model for miRNA-mediated repression reveals novel regulatory roles of miRNA bindings inside the coding region. |
Bioinform. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Koehler 0005, Phil Trinder, Michel Steuwer |
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
21 | Carlos Tarjano, Valdecy Pereira |
Signal-Envelope: A C++ library with Python bindings for temporal envelope estimation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
21 | Martin Ruefenacht, Derek Schafer, Anthony Skjellum, Purushotham V. Bangalore |
MPIs Language Bindings are Holding MPI Back. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 510 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|