run time translation | English-Spanish dictionary

Search also in: Web News Encyclopedia Images Context
Collaborative Dictionary     English-Spanish
n.
el tiempo de ejecución
[INFO]
adj.
en tiempo de ejecución
[INFO]
exp.
el servicio generalmente es puntual
n.
la ejecución
[INFO]
v.
discurrir
The road runs through industrial areas
n.
1) la carrera, 2) la demanda
[BIZ]
v.
embestir/arremeter contra
n.
el ensayo
adj.
de ensayo
***
'run time' also found in translations in Spanish-English dictionary
nm.
run time
[INFO]
To add entries to your own vocabulary, become a member of Reverso community or login if you are already a member. It's easy and only takes a few seconds:
Or sign up in the traditional way
Collins

time

  
a       n  
1      (gen)    tiempo    m     
as time goes on or by      con el (paso del) tiempo, a medida que pasa/pasaba el tiempo  
→ race against time      carrera    f   contra (el) reloj  
→ for all time      para siempre  
one of the best of all time      uno de los mejores de todos los tiempos  
→ Father Time      el Tiempo  
→ to find (the) time for sth      encontrar tiempo para algo  
I can't find the time for reading      no encuentro tiempo para leer  
→ time flies      el tiempo vuela  
how time flies!      ¡cómo pasa el tiempo!  
→ to gain time      ganar tiempo  
→ half the time he's drunk      la mayor parte del tiempo está borracho  
→ to have (the) time (to do sth)      tener tiempo (para hacer algo)  
we have plenty of time      tenemos tiempo de sobra  
→ to make time        (US)  
*   ganar tiempo, apresurarse  
→ to make up for lost time      recuperar el tiempo perdido  
→ it's only a matter or question of time before it falls      sólo es cuestión de tiempo antes de que caiga  
→ I've no time for him        (too busy)    no tengo tiempo para él,   (contemptuous)    no le aguanto  
I've no time for sport      odio los deportes  
there is no time to lose      no hay tiempo que perder  
he lost no time in doing it      no tardó en hacerlo  
→ my time is my own      yo dispongo de mi tiempo  
→ time presses      el tiempo apremia  
→ time is on our side      el tiempo obra a nuestro favor  
→ time and space      el tiempo y el espacio  
→ to take time        
it takes time      requiere tiempo, lleva su tiempo  
it'll take time to get over the loss of her family      le llevará tiempo superar la pérdida de su familia  
it took him all his time to find it      sólo encontrarlo le ocupó bastante tiempo  
to take one's time      hacer las cosas con calma  
take your time!      tómate el tiempo que necesites, ¡no hay prisa!  
you certainly took your time!      iro   ¡no es precisamente que te mataras corriendo!  
→ (only) time will tell      el tiempo lo dirá  
IDIOMS to have time on one's hands        
she has too much time on her hands      dispone de demasiado tiempo libre  
once you retire you'll have time on your hands      cuando te hayas jubilado, tendrás todo el tiempo del mundo  
IDIOMS to kill time      entretener el tiempo, pasar el rato, matar el tiempo  
IDIOMS to pass the time of day with sb      detenerse a charlar un rato con algn  
IDIOMS to play for time      tratar de ganar tiempo  
IDIOMS to be pressed for time      andar escaso de tiempo  
PROVERBS time is money :   el tiempo es oro  
    spare  
    waste  
2    (=period of time)   tiempo    m  , período    m     ,   (relatively short)    rato    m  
→ have you been here all this time?      ¿has estado aquí todo este tiempo?  
→ for the time being      por ahora, de momento  
→ for a time      durante un rato,   (longer)    durante una temporada  
→ a long time      mucho tiempo  
to take a long time to do sth      tardar mucho en hacer algo  
a long time ago      hace mucho (tiempo), hace tiempo  
he hasn't been seen for a long time      hace mucho tiempo que no se le ve  
she'll be in a wheelchair for a long time to come      le queda mucho tiempo de estar en silla de ruedas por delante  
→ in no time at all      en un abrir y cerrar de ojos  
→ it will last our time      durará lo que nosotros  
→ a short time      poco tiempo, un rato  
a short time ago      hace poco  
a short time after      poco (tiempo) después, al poco tiempo  
in a short time they were all gone      muy pronto habían desaparecido todos  
→ for some time past      de algún tiempo a esta parte  
after some time she looked up at me/wrote to me      después de cierto tiempo levantó la vista hacia mí/me escribió, pasado algún tiempo levantó la vista hacia mí/me escribió  
→ in a week's time      dentro de una semana  
in two weeks' time      en dos semanas, al cabo de dos semanas  
IDIOMS to do time      *   cumplir una condena  
    serve  
3      (at work)    → on Saturdays they pay time and a half      los sábados pagan lo normal más la mitad  
→ he did it in his own time      lo hizo en su tiempo libre or fuera de (las) horas de trabajo  
→ to be on short time, → work short time      trabajar en jornadas reducidas  
    full-time  
    part-time  
    short-time  
4    (=moment, point of time)   momento    m     
I was watching TV at the time      en ese momento estaba viendo la televisión  
from time to time      de vez en cuando  
→ about time too!      ¡ya era hora!  
it's about time you had a haircut      ya es hora de que te cortes el pelo  
→ come (at) any time (you like)      ven cuando quieras  
it might happen (at) any time      podría ocurrir de un momento a otro or en cualquier momento  
any time now      de un momento a otro  
→ at times      a veces, a ratos  
at all times      siempre, en todo momento  
→ to die before one's time      morir temprano  
not before time!      ¡ya era hora!  
→ between times      en los intervalos  
→ by the time he arrived      para cuando él llegó  
by the time we got there he'd left      cuando llegamos allí ya se había ido  
by this time      ya, antes de esto  
(by) this time next year      el año que viene por estas fechas  
→ to choose one's time carefully      elegir con cuidado el momento más propicio  
→ the time has come to leave      ha llegado el momento de irse  
when the time comes      cuando llegue el momento  
→ at a convenient time      en un momento oportuno  
→ at any given time      en cualquier momento dado  
→ her time was drawing near        (to give birth)    se acercaba el momento de dar a luz,   (to die)    estaba llegando al final de su vida  
→ it's high time you got a job      ya va siendo hora de que consigas un trabajo  
→ at my time of life      a mi edad, con los años que yo tengo  
→ at no time did I mention it      no lo mencioné en ningún momento  
this is no time for jokes      éste no es momento para bromas  
→ now is the time to go      ahora es el momento de irse  
now is the time to plant roses      ésta es la época para plantar las rosas  
→ at odd times      (=occasionally)   de vez en cuando  
he calls at some odd times      llama a las horas más intempestivas  
→ from that time on      a partir de entonces, desde entonces  
→ at one time      en cierto momento, en cierta época  
→ this is neither the time nor the place to discuss it      éste no es ni el momento ni el lugar oportuno para hablar de eso  
there's a time and a place for everything      todo tiene su momento y su lugar  
→ at the present time      actualmente, en la actualidad  
→ at the proper time      en el momento oportuno  
→ at the same time      (=simultaneously)   al mismo tiempo, a la vez   (=even so)   al mismo tiempo, por otro lado  
→ until such time as he agrees      hasta que consienta  
→ at that time      por entonces, en aquel entonces, en aquella época  
→ at this particular time      en este preciso momento  
→ at this time of the year      en esta época del año  
it's a lovely time of year      es una estación encantadora  
    bide  
5      (by clock)    hora    f     
what's the time?      ¿qué hora es?  
the time is 2.30      son las dos y media  
it's time to go      es hora de irse  
"time gentlemen please!"      "¡se cierra!"  
→ to arrive ahead of time      llegar temprano  
to be 30 minutes ahead of time      llevar 30 minutos de adelanto  
→ at any time of the day or night      en cualquier momento or a cualquier hora del día o de la noche  
→ to be 30 minutes behind      llevar 30 minutos de retraso  
→ it's coffee time      es la hora del café  
→ at this time of day      a esta hora  
→ it's time for the news      es (la) hora de las noticias  
it's time for lunch      es (la) hora de comer  
→ let me know in good time      avíseme con anticipación  
make sure you get there in good time      asegúrate de que llegas allí con tiempo  
he'll come in his own good time      vendrá cuando le parezca conveniente  
all in good time      todo a su (debido) tiempo  
to start in good time      partir a tiempo, partir pronto  
→ have you got the (right) time?      ¿tiene la hora (exacta)?  
→ Greenwich mean time      hora    f   de Greenwich  
→ we were just in time to see it      llegamos justo a tiempo para verlo  
→ a watch that keeps good time      un reloj muy exacto  
→ just look at the time!      ¡fíjate qué hora es ya!, ¡mira qué tarde es!  
→ what time do you make it?, → what do you make the time?      ¿qué hora es or tiene?  
we made good time on the journey      el viaje ha sido rápido  
→ to be on time      [person]   ser puntual, llegar puntualmente  
[train, plane]   llegar puntual  
→ to tell the time      [clock]   dar la hora  
[child]   saber decir la hora  
IDIOMS I wouldn't give him the time of day      a mi él me tiene sin cuidado  
    closing  
    opening  
6    (=era, period)   tiempo    m  , época    f     
in Elizabethan times      en tiempos isabelinos, en la época isabelina  
in our own time(s)      en nuestra época  
in my time(s)      en mis tiempos  
what times they were!, what times we had!      ¡qué tiempos aquellos!  
one of the greatest footballers of our time      uno de los mejores futbolistas de nuestros tiempos  
→ to be ahead of one's time      adelantarse a su época  
→ that was all before my time      todo eso fue antes de mis tiempos  
→ to be behind the times      [person]   estar atrasado de noticias  
[thing, idea]   estar fuera de moda, haber quedado anticuado  
→ how times change!      ¡cómo cambian las cosas!  
→ in times to come      en tiempos venideros  
→ times were hard      fueron tiempos duros  
times are hard      atravesamos un período bastante difícil  
they fell on hard times      entraron en un periodo de vacas flacas  
→ to keep abreast of or up with the times      ir con los tiempos, mantenerse al día  
→ the times we live in      los tiempos en que vivimos  
→ in modern times      en tiempos modernos  
→ to move with the times      ir con los tiempos, mantenerse al día  
→ in olden times, → in times past      en otro tiempo, antiguamente  
→ time was when ...      hubo un tiempo en que ...  
    sign  
7    (=experience)  
to have a bad or rough or thin time (of it)      pasarlo mal, pasarlas negras  
→ to have a good time      pasarlo bien, divertirse  
all they want to do is have a good time      no quieren más que divertirse  
to give sb a good time      hacer que algn lo pase bien  
she's out for a good time      se propone divertirse  
→ we had a high old time      *   lo hemos pasado en grande *     
→ we have a lovely time      lo pasamos la mar de bien *     
→ have a nice time!      ¡que lo pases/paséis etc bien!  
IDIOMS the big time      *   el estrellato, el éxito  
to make the big time      alcanzar el éxito, triunfar  
    big-time  
8    (=occasion)   vez    f     
three times      tres veces  
I remember the time he came here      recuerdo la ocasión en que vino por aquí, me acuerdo de cuando vino por aquí  
→ time after time, → time and again      repetidas veces, una y otra vez  
→ to carry three boxes at a time      llevar tres cajas a la vez  
he ran upstairs three at a time      subió la escalera de tres en tres escalones  
for weeks at a time      durante semanas enteras or seguidas  
→ each time, → every time      cada vez  
he won every time      ganó todas las veces  
it's the best, every time!      ¡es el mejor, no hay duda!  
give me beer every time!      ¡para mí, siempre cerveza!  
→ the first time I did it      la primera vez que lo hice  
for the first time      por primera vez  
→ last time      la última vez  
the last time I did it      la última vez que lo hice  
for the last time      por última vez  
→ many times      muchas veces  
many's the time ...      no una vez, sino muchas ...  
→ next time      la próxima vez, a la próxima   (esp LAm)     
→ the second time round      (=second marriage)   la segunda intentona de matrimonio  
→ several times      varias veces  
→ this time      esta vez  
→ at various times in the past      en determinados momentos del pasado  
IDIOMS nine times out of ten, IDIOMS ninety-nine times out of a hundred        (fig)   casi siempre  
IDIOMS third time lucky!      ¡a la tercera va la vencida!  
9      (Mus)   compás    m     
in 3/4 time      al compás de 3 por 4  
→ to beat time      marcar el compás  
→ in time to the music      al compás de la música  
→ to keep time      llevar el compás  
→ to get out of time      perder el compás  
    beat       B4  
    mark   2       B7  
10      (Math)  
4 times 3 is 12      4 por 3 son 12  
it's five times faster than or as fast as yours      es cinco veces más rápido que el tuyo  
11      (Mech)  
the ignition is out of time      el encendido está fuera de fase  
b       vt  
1    (=schedule)   planear, calcular  
(=choose time of)  

  [+remark, request]  
elegir el momento para  
the race is timed for 8.30      el comienzo de la carrera está previsto para las 8.30  
you timed that perfectly      elegiste a la perfección el momento para hacerlo  
the bomb was timed to explode five minutes later      la bomba estaba sincronizada para explotar cinco minutos más tarde  
the strike was carefully timed to cause maximum disruption      se había escogido el momento de la huelga para ocasionar el mayor trastorno posible  
the decision to sell was badly timed      se decidió vender en un mal momento  
    ill-timed  
    well-timed  
2    (=reckon time of)  
  [+call, journey]  
calcular la duración de  ,   (with stopwatch)    cronometrar
to time o.s.      cronometrarse  
I timed him doing the washing-up      le cronometré mientras lavaba los platos  
c       cpd  
  time and motion study      n   estudio    m   de tiempos y movimientos  
  time bomb      n   bomba    f   de relojería  
  time capsule      n   cápsula    f   del tiempo  
  time card      n   tarjeta    f   de registro horario  
  time clock      n   reloj    m   registrador, reloj    m   de control de asistencia  
  time deposit      n     (US)   depósito    m   a plazo  
  time exposure      n     (Phot)   exposición    f     
  time frame      n   margen    m   de tiempo  
to set a time frame for sth      poner fecha a algo  
  time fuse      n   temporizador    m  , espoleta    f   graduada, espoleta    f   de tiempo  
  time lag      n   (=delay)   retraso    m     
(=lack of synchronization)  
desfase    m     
  time limit      n   plazo    m  , límite    m   de tiempo  
(=closing date)  
fecha    f   tope  
to set a time limit (for sth)      fijar un plazo (para algo)  
  time loan      n     (US)   préstamo    m   a plazo fijo  
  time lock      n   cerradura    f   de tiempo  
  time machine      n   máquina    f   de transporte a través del tiempo  
  time out      n     (esp US, Sport, also fig)   tiempo    m   muerto  
to take time out (from sth/from doing sth)      descansar (de algo/de hacer algo)  
  time payment      n     (US)   pago    m   a plazos  
  time saver      n  
it is a great time saver      ahorra mucho tiempo  
  time sheet      n       time card  
  time signal      n   señal    f   horaria  
  time signature      n     (Mus)   compás    m  , signatura    f   de compás  
  time slice      n   fracción    f   de tiempo  
  time switch      n   interruptor    m   horario  
  time trial      n     (Cycling)   prueba    f   contra reloj, contrarreloj    f     
  time warp      n   salto    m   en el tiempo, túnel    m   del tiempo  
  time zone      n   huso    m   horario  


all-time      adj   de todos los tiempos  
an all-time record      un récord nunca igualado  
exports have reached an all-time high      las exportaciones han alcanzado cifras nunca conocidas antes  
the pound is at an all-time low      la libra ha caído a su punto más bajo  
big-time   *  
a       adj  
big-time football/politics      fútbol    m  /política    f   de alto nivel  
a big-time politician/actor      un político/actor de primera línea  
a big-time banker      un banquero de categoría  
b       adv  
he has tasted success big-time      ha conocido el éxito con mayúsculas *     
they screwed (things) up big-time      metieron la pata bien hondo *     
America lost big-time      el equipo americano se llevó una soberana paliza *     
daylight-saving time      n     (US)   horario    m   de verano  
drinking-up time      n   tiempo permitido para terminar las bebidas en el pub antes de cerrar   tiempo permitido para terminar las bebidas en el pub antes de cerrar  
first-time      adj  
first-time buyer      persona que compra su primera vivienda   persona que compra su primera vivienda  
four-four time      n  
  (Mus)  
compás    m   de cuatro por cuatro  
full-time  
a       adj  
[employment]  
a tiempo completo  
[employee]  
que trabaja una jornada completa, que trabaja a tiempo completo  
he's a full-time musician      (=professional)   es músico profesional  
a full-time job      un puesto de trabajo a tiempo completo  
a full-time course      un curso de dedicación plena  
b       adv  
to work full-time      trabajar a tiempo completo  
good-time girl   *      n   chica    f   alegre  
Greenwich mean time      n   hora    f   media de Greenwich  
half-time  
a       n     (Sport)   descanso    m     
at half-time      en el descanso  
b       adv  
to work half-time      trabajar media jornada  
c       cpd  
  half-time score      n   marcador    m   en el descanso  
the half-time score was 1-0      el marcador en el descanso era 1-0  
  half-time work      n   trabajo    m   de media jornada  
knocking-off time   *      n   hora    f   de salir del trabajo  
lighting-up time      n   hora    f   de encender los faros  
long-time      adj  
[friend]  
viejo, de muchos años  
[partner]  
de muchos años  
night-time  
a       n   noche    f     
at night-time      por la noche, de noche  
in the night-time      durante la noche, por la noche  
b       cpd  
[visit, call]  
nocturno  
old-time  
a       adj   de antaño
b       cpd  
  old-time dancing      n   baile    m   antiguo, baile    m   de antaño  
one-time      adj   antiguo, ex  
one-time prime minister      ex primer ministro (-a)      m/f     
one-time butler to Lord Yaxley      antiguo mayordomo    m   de Lord Yaxley  
the one-time revolutionary      el otrora revolucionario  
part-time  
a       adv   a tiempo parcial   (Sp)  , medio tiempo   (LAm)     
to work part-time      trabajar a tiempo parcial or   (LAm)   medio tiempo  
b       adj  
[worker, job]  
de media jornada, a tiempo parcial   (Sp)  , de medio tiempo   (LAm)  
c       n     (Ind)   jornada    f   reducida  
to be on part-time      trabajar en horario de jornada reducida  
peak-time      adj     (Brit, TV)  
a peak-time television film      una película que se emite durante las horas de máxima audiencia     (Telec)  
peak-time calls      llamadas    fpl   telefónicas durante las horas de máxima demanda  
prime-time      adj   de máxima audiencia, de mayor audiencia  
the documentary will be broadcast on prime-time television      el documental se emitirá por televisión durante las horas de máxima or mayor audiencia  
short-time  
a       adj  
short-time working      trabajo    m   de horario reducido  
to be on short-time working      trabajar jornadas reducidas or de horarios reducidos  
b       adv  
to work short-time      trabajar jornadas reducidas or de horarios reducidos  
six-eight time      n  
in six-eight time      en un compás de seis por ocho  
small-time   *      adj   de poca categoría, de poca monta  
a small-time criminal      un delincuente menor  
space-time continuum      n   continuo    m   espacio-tiempo  
time-consuming      adj   que requiere mucho tiempo  
time-honoured   , time-honored     (US)      adj   consagrado  
time-lapse photography      n   fotografía    f   de lapso de tiempo  
time-saving      adj   que ahorra tiempo  
time-server      n  
pej   contemporizador    m     
time-share  
a       n  
1      (for holiday)    multipropiedad    f  
2      (Comput)   tiempo    m   compartido
b       vt     (Comput)   utilizar colectivamente, utilizar en sistema de tiempo compartido
c       cpd  
  time-share apartment      n   piso    m   en multipropiedad  
time-sharing      n  
1      (for holiday)    multipropiedad    f  
2      (Comput)   tiempo    m   compartido  
time-waster      n   (=activity)   pérdida    f   de tiempo  
to be a time-waster      (=person)   ser de los que pierden el tiempo  
time-wasting      adj   que hace perder tiempo  
time-worn      adj  
[building]  
deteriorado por el tiempo  
[custom, method]  
añejo  
[anecdote, phrase]  
gastado  
two-time   *      vt   engañar con otro (-a)   a, ser infiel con otro (-a)   a
Translation English - Spanish Collins Dictionary  
"run time": examples and translations in context
The configuration file can be changed at run time. El archivo de configuración puede ser cambiado en tiempo de ejecución.
REMARKS: Both objects are only available at run time. OBSERVACIONES: Ambos objetos solamente se encuentran disponibles en tiempo de ejecución.
The two settings for the ultra-bright LEDs provide area lighting and extended run time. Los dos ajustes para los LED ultrabrillantes ofrecen iluminación del área y mayor tiempo de funcionamiento.
8 hours full on run time with fully loaded battery. 8 horas completas de tiempo de funcionamiento con una pila completamente cargada.
The catalyst exhibits enhanced activity vis-à-vis hydrodisintegration, hydrodemetallization and hydrodesulphurization, and has a relatively stable life as a function of run time. El catalizador presenta actividades mejoradas hacia la hidrodesintegración, hidrodesmetalización e hidrodesulfurización y tiene una vida relativamente estable en función del tiempo de corrida.
How could it be made possible for the APIs to be selected at run time? ¿Cómo hacer que las APIs sean seleccionables en tiempo de corrida?
See how “run time” is translated from English to Spanish with more examples in context

Advertising
Advertising