Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ingeniería de software
11
Normas
7
Administración
6
Desarrollo de programas para computadora
5
Diseño y construcción
5
Programas para computadora
5
Circuitos integrados
4
Modelos matemáticos
4
Semiconductores
4
Citas bibliográficas
3
Electrónica
3
Electrónica de potencia
3
Application specific integrated circuits
2
Array processors
2
Arte de escribir
2
Circuitos de microondas
2
Circuitos electrónicos
2
Control de calidad
2
Digital techniques
2
Diseño de sistemas
2
Historia
2
Ingeniería
2
Ingeniería eléctrica
2
Inteligencia artificial
2
Manuales
2
Matemáticas
2
Normas (Ingeniería)
2
Procesamiento de datos
2
Procesamiento electrónico de datos
2
Programación orientada a objetos (Computadoras)
2
-
1621
-
1622
-
1623
-
1624
-
1625
-
1626
-
1627
-
1628
-
1629
-
1630
-
1631por Gadelha, Mikhail R., Menezes, Rafael, Monteiro, Felipe R., Cordeiro, Lucas C., Nicole, Denis“…Such programs often represent real numbers using the floating-points, most commonly, the IEEE floating-point standard (IEEE 754-2008). Thus, ESBMC now includes a new floating-point arithmetic encoding layer in our SMT backend, that encodes floating-point operations into bit-vector operations. …”
Publicado 2020
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1632“…IEEE Time-Sensitive Networking (TSN) Task Group specifies a series of standards such as 802.1Qbv for enhancing the management of time-critical flows in real-time networks. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
1633
-
1634
-
1635
-
1636
-
1637
-
1638
-
1639
-
1640