Перевод: с испанского на все языки

со всех языков на испанский

checking+sequence

  • 1 autocomprobación

    f.
    self-test, self-check.
    * * *
    * * *
    = self-checking, self-test, self-testing.
    Ex. This paper discusses the features of the EDLIN program and its use for creating the computer's automatic self-checking sequence when the machine is started.
    Ex. The author offers a self-test to help users choose the model that best suits their needs.
    Ex. This system uses expert system architectural principles to generate an inexhaustible supply of accounting questions that can be used by students for self-study and self-testing.
    * * *
    = self-checking, self-test, self-testing.

    Ex: This paper discusses the features of the EDLIN program and its use for creating the computer's automatic self-checking sequence when the machine is started.

    Ex: The author offers a self-test to help users choose the model that best suits their needs.
    Ex: This system uses expert system architectural principles to generate an inexhaustible supply of accounting questions that can be used by students for self-study and self-testing.

    Spanish-English dictionary > autocomprobación

  • 2 rutina de verificación de secuencia

    • sequence-checking routine

    Diccionario Técnico Español-Inglés > rutina de verificación de secuencia

  • 3 revista de resúmenes

    (n.) = abstracts journal, abstracting journal, abstracting periodical, abstracting and indexing publication, abstract journal, synoptic journal, abstracting and indexing journal, abstracting publication
    Ex. This type of checking can be delegated to the printer to speed publication of the abstracts journal.
    Ex. Indexing journals (and the indexes to printed abstracting journals) are alphabetical indexes to the literature of a subject area.
    Ex. Abstracting and indexing periodicals may be interfiled into a common sequence with other serials, or may form a separate sequence.
    Ex. Title-based subject indexes have been used as indexes to local abstracting and indexing publications = Los índices de materias a partir de los títulos se han utilizado para indizar las publicaciones de resúmenes hechas por la propia biblioteca.
    Ex. The production of an abstract journal often seems to be a continuing fight against error.
    Ex. This article describes a study on synoptic journals, with an evaluation of pricing, delay times and prestige of authors publishing in these journals.
    Ex. There are several thousand abstracting and indexing journals available, and a large library may well take several hundred of these.
    Ex. The sheer volume of information published has underlined the importance of secondary, current awareness and abstracting publications.
    * * *
    (n.) = abstracts journal, abstracting journal, abstracting periodical, abstracting and indexing publication, abstract journal, synoptic journal, abstracting and indexing journal, abstracting publication

    Ex: This type of checking can be delegated to the printer to speed publication of the abstracts journal.

    Ex: Indexing journals (and the indexes to printed abstracting journals) are alphabetical indexes to the literature of a subject area.
    Ex: Abstracting and indexing periodicals may be interfiled into a common sequence with other serials, or may form a separate sequence.
    Ex: Title-based subject indexes have been used as indexes to local abstracting and indexing publications = Los índices de materias a partir de los títulos se han utilizado para indizar las publicaciones de resúmenes hechas por la propia biblioteca.
    Ex: The production of an abstract journal often seems to be a continuing fight against error.
    Ex: This article describes a study on synoptic journals, with an evaluation of pricing, delay times and prestige of authors publishing in these journals.
    Ex: There are several thousand abstracting and indexing journals available, and a large library may well take several hundred of these.
    Ex: The sheer volume of information published has underlined the importance of secondary, current awareness and abstracting publications.

    Spanish-English dictionary > revista de resúmenes

  • 4 integrado

    adj.
    1 integrated.
    2 integrated, built-in, component, constituent.
    past part.
    past participle of spanish verb: integrar.
    * * *
    ADJ
    1) (Elec) [circuito] integrated
    2) (Inform) [software] integrated
    * * *
    - da adjetivo integrated
    * * *
    = built-in, integrated, seamless, onboard, coupled, interwoven, aggregated.
    Ex. To use the 'default' or built-in command settings, simply press RETURN.
    Ex. In the interests of clarity an integrated account of the appropriate added entry headings is to be found in 21.29 and 21.30.
    Ex. The solution was found to be a composition of glue and treacle which could be cast on to the roller stock and which made a seamless, resilient surface that inked perfectly.
    Ex. It offers onboard spell checking.
    Ex. For future metacatalogues to be successful, methods must be developed to use all existing organizational tools by layering, exchanging and translating data within a loosely coupled organizational system.
    Ex. The structure reveals a pair of interwoven frameworks that are mutually reinforced.
    Ex. These numbers have no meaning or correlation to anything outside of the aggregated data file in which they appear.
    ----
    * bibliotecario integrado = embedded librarian.
    * circuito integrado = integrated circuit.
    * colección integrada = integrated collection.
    * conjunto integrado de protocolos = a suite of + protocols.
    * integrado en la cultura = culturally-embedded.
    * orden integrado = integrated sequence.
    * perfectamente integrado = seamless.
    * programa integrado de gestión de bibliotecas = integrated library system (ILS), integrated library management system (ILMS).
    * sentimiento de pertenecer a un lugar = sense of belonging.
    * sistema de información integrado = integrated information system.
    * sistema integrado de gestión bibliotecaria = integrated library package.
    * teoría de niveles integrados = theory of integrative levels.
    * un paquete integrado de programas = a suite of + programmes.
    * * *
    - da adjetivo integrated
    * * *
    = built-in, integrated, seamless, onboard, coupled, interwoven, aggregated.

    Ex: To use the 'default' or built-in command settings, simply press RETURN.

    Ex: In the interests of clarity an integrated account of the appropriate added entry headings is to be found in 21.29 and 21.30.
    Ex: The solution was found to be a composition of glue and treacle which could be cast on to the roller stock and which made a seamless, resilient surface that inked perfectly.
    Ex: It offers onboard spell checking.
    Ex: For future metacatalogues to be successful, methods must be developed to use all existing organizational tools by layering, exchanging and translating data within a loosely coupled organizational system.
    Ex: The structure reveals a pair of interwoven frameworks that are mutually reinforced.
    Ex: These numbers have no meaning or correlation to anything outside of the aggregated data file in which they appear.
    * bibliotecario integrado = embedded librarian.
    * circuito integrado = integrated circuit.
    * colección integrada = integrated collection.
    * conjunto integrado de protocolos = a suite of + protocols.
    * integrado en la cultura = culturally-embedded.
    * orden integrado = integrated sequence.
    * perfectamente integrado = seamless.
    * programa integrado de gestión de bibliotecas = integrated library system (ILS), integrated library management system (ILMS).
    * sentimiento de pertenecer a un lugar = sense of belonging.
    * sistema de información integrado = integrated information system.
    * sistema integrado de gestión bibliotecaria = integrated library package.
    * teoría de niveles integrados = theory of integrative levels.
    * un paquete integrado de programas = a suite of + programmes.

    * * *
    1 ( Inf) integrated
    2 ( Elec) integrated
    * * *

    Del verbo integrar: ( conjugate integrar)

    integrado es:

    el participio

    Multiple Entries:
    integrado    
    integrar
    integrado
    ◊ -da adjetivo

    integrated
    integrar ( conjugate integrar) verbo transitivo
    1 ( formar) ‹grupo/organización to make up
    2 ( incorporar) ‹idea/plan to incorporate
    3 (Mat, Sociol) to integrate
    4 (CS) ‹suma/cantidad to pay
    integrarse verbo pronominal

    integradose a or en algo to integrate into sth, fit into sth
    b) ( unirse) integradose a or en algo to join sth

    integrar vtr (componer, formar parte de) to compose, make up: cinco científicos y un filósofo integran la expedición, the expedition consists of five scientists and one philosopher
    ' integrado' also found in these entries:
    English:
    integrated
    * * *
    integrado, -a adj
    integrated

    Spanish-English dictionary > integrado

  • 5 ordenado

    adj.
    1 tidy, clean, in order, neat.
    2 organized, orderly.
    3 organized, well-structured, well organized.
    4 ordained.
    past part.
    past participle of spanish verb: ordenar.
    * * *
    1→ link=ordenar ordenar
    1 (habitación) tidy, in order; (persona) tidy, well-organized
    2 RELIGIÓN ordained
    * * *
    (f. - ordenada)
    adj.
    * * *
    ADJ
    1) (=en orden) [habitación, escritorio] tidy; [oficina] well-organized, ordered

    llevan una vida normal y ordenada — they lead a normal, ordered o orderly life

    2) [persona] [al colocar algo] tidy; [en el trabajo] organized
    3) (Rel) ordained, in holy orders
    * * *
    - da adjetivo
    a) [ESTAR] ( en orden) tidy
    b) [SER] < persona> ( metódico) organized, orderly; ( para la limpieza) tidy
    * * *
    = ordered, orderly, tidy [tidier -comp., tidiest -sup.], sorted, ordained, neat and tidy.
    Ex. Work in a duly ordered community should be made attractive by the consciousness of usefulness, by variety, and by being exercised amidst pleasurable surroundings.
    Ex. The maintenance of orderly shelf arrangement is often considered an unimportant chore.
    Ex. Their duty is to come in before school each morning and check that the book checking system is in order and that the library is tidy and presentable.
    Ex. This is an aid to producing properly sorted bibliographies in the format established in the MLA Style Manual.
    Ex. The records of ordained priests, mother superiors and religious brothers and sisters are a neglected but rich source of genealogical information.
    Ex. Singers and other entertainers in Burma have been warned to cut out saucy behaviour and be neat and tidy or face the consequences.
    ----
    * bien ordenado = well-kept, well-ordered.
    * limpito y ordenado = spic(k)-and-span.
    * mantener Algo ordenado = keep + Nombre + tidy, keep + Nombre + in order.
    * mantener ordenado = keep + Nombre + neat and tidy.
    * no ordenado = unsorted.
    * ordenado por fecha = in date order.
    * ordenado por número de clasificación = in class number order.
    * resultado ordenado jerárquicamente = ranked output.
    * secuencia ordenada alfabéticamente por el nombre del autor = author sequence.
    * * *
    - da adjetivo
    a) [ESTAR] ( en orden) tidy
    b) [SER] < persona> ( metódico) organized, orderly; ( para la limpieza) tidy
    * * *
    = ordered, orderly, tidy [tidier -comp., tidiest -sup.], sorted, ordained, neat and tidy.

    Ex: Work in a duly ordered community should be made attractive by the consciousness of usefulness, by variety, and by being exercised amidst pleasurable surroundings.

    Ex: The maintenance of orderly shelf arrangement is often considered an unimportant chore.
    Ex: Their duty is to come in before school each morning and check that the book checking system is in order and that the library is tidy and presentable.
    Ex: This is an aid to producing properly sorted bibliographies in the format established in the MLA Style Manual.
    Ex: The records of ordained priests, mother superiors and religious brothers and sisters are a neglected but rich source of genealogical information.
    Ex: Singers and other entertainers in Burma have been warned to cut out saucy behaviour and be neat and tidy or face the consequences.
    * bien ordenado = well-kept, well-ordered.
    * limpito y ordenado = spic(k)-and-span.
    * mantener Algo ordenado = keep + Nombre + tidy, keep + Nombre + in order.
    * mantener ordenado = keep + Nombre + neat and tidy.
    * no ordenado = unsorted.
    * ordenado por fecha = in date order.
    * ordenado por número de clasificación = in class number order.
    * resultado ordenado jerárquicamente = ranked output.
    * secuencia ordenada alfabéticamente por el nombre del autor = author sequence.

    * * *
    1 [ ESTAR] (en orden) tidy
    tiene el escritorio muy ordenado his desk is very tidy
    2 [ SER] ‹persona› (metódico) organized, orderly; (para la limpieza) tidy
    lleva una vida ordenada she leads an ordered existence
    * * *

     

    Del verbo ordenar: ( conjugate ordenar)

    ordenado es:

    el participio

    Multiple Entries:
    ordenado    
    ordenar
    ordenado
    ◊ -da adjetivo

    a) [ESTAR] ( en orden) tidy

    b) [SER] ‹ persona› ( metódico) organized, orderly;

    ( para la limpieza) tidy
    ordenar ( conjugate ordenar) verbo transitivo
    1habitación/armario/juguetes to straighten (up) (esp AmE), to tidy (up) (BrE);
    fichas to put in order;

    2


    b) (AmL) ( pedir) ‹taxi/bebida/postre to order

    3 sacerdote to ordain
    ordenarse verbo pronominal
    to be ordained
    ordenado,-a adjetivo tidy
    ordenar verbo transitivo
    1 (un armario, los papeles, etc) to put in order, arrange: ordené los libros por autores, I arranged the books by author
    (una habitación, la casa) to tidy up
    2 (dar un mandato) to order: les ordenó que guardaran silencio, she ordered them to keep quiet
    3 (a un sacerdote, caballero) to ordain
    ' ordenado' also found in these entries:
    Spanish:
    arreglada
    - arreglado
    - decente
    - escucha
    - mezclar
    - ordenada
    - prolijo
    English:
    immaculate
    - instruct
    - methodical
    - neat
    - order
    - orderly
    - so
    - tidy
    - go
    - must
    - ordered
    - settled
    - shipshape
    - spick-and-span
    * * *
    ordenado, -a adj
    1. [lugar, persona] tidy;
    [vida] ordered
    2. [sacerdote] ordained
    * * *
    adj tidy
    * * *
    ordenado, -da adj
    : orderly, neat
    * * *
    ordenado adj tidy [comp. tidier; superl. tidiest]

    Spanish-English dictionary > ordenado

См. также в других словарях:

  • Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… …   Wikipedia

  • Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… …   Wikipédia en Français

  • Model checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… …   Wikipédia en Français

  • The Simpsons opening sequence — The Simpsons title screen as of 2009. The Simpsons opening sequence is an element that begins almost every episode of the American animated television series The Simpsons. Starting with the season 20 episode Take My Life, Please , the opening… …   Wikipedia

  • Profibus — Infobox Fieldbus Protocol Name = PROFIBUS Type of Network = Device Bus, Process Control Physical Media = Twisted pair, fiber Network Topology = Bus Device Addressing = DIP Switch or hardware/software Governing Body = PROFIBUS PROFINET… …   Wikipedia

  • PROFIBUS — (Process Field Bus) ist ein Standard für die Feldbus Kommunikation in der Automatisierungstechnik und wurde anfangs (1989) vom BMBF gefördert. Es ist nicht zu verwechseln mit dem PROFINET Standard für Industrial Ethernet. Inhaltsverzeichnis 1 …   Deutsch Wikipedia

  • FCS — abbr. File Control Services File Conversion System Frame Checking Sequence …   Dictionary of English abbreviation

  • контрольная последовательность блоков данных — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN block checking sequence …   Справочник технического переводчика

  • порядок проверки — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN checking sequence …   Справочник технического переводчика

  • Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing …   Wikipedia

  • Controlled grammar — Controlled grammars[1] are a class of grammars that extend, usually, the context free grammars with additional controls on the derivations of a sentence in the language. A number of different kinds of controlled grammars exist, the four main… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»