Sortiert nach
IEEE access, 2021, Vol.9, p.160559-160579
2021
Link zum Volltext
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.1182-1193
2018
- Link zum Volltext
IEEE embedded systems letters, 2018-03, Vol.10 (1), p.22-25
2018
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Software
- Technology
- Abstract Interpretation
- Computer Science, Software Engineering
- Engineering
- Engineering, Electrical & Electronic
- Hardware
- Semantics
- Adders
- Approximate Computing
- Automata
- Codes
- Computer Science, Hardware & Architecture
- Computer Science, Information Systems
- Conditional Model Checking
- Custom Instruction
- Formal Verification
- Hardware Design Languages
Kollektion
Zeitschrift / Serie