Filters
Trends of SMT in Microelectronics
Trendy SMT v mikroelektronice...
JA - Elektronika a optoelektronika, elektrotechnika
- 2002 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Feeder Setup Optimization in SMT Assembly
This paper describes an algorithm developed as a decision support system for SMT line operators and its purpose is to suggest changes in an existing feeder setup in order to improve the production performance....
JD - Využití počítačů, robotika a její aplikace
- 2008 •
- O
Rok uplatnění
O - Ostatní výsledky
Experiments on Infinite Model Finding in SMT Solving
We propose infinite model finding as a new task for SMT-Solving. Model finding has a long-standing tradition in SMT and automated reasoning in general. Yet, most of the current tools are limited to finite models despite the fact tha...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Towards an Indonesian-English SMT System: A Case Study of an Under-Studied and Under-Resourced Language, Indonesian
This paper describes a work on preparing an Indonesian-English Statistical Machine Translation (SMT) System. It includes the creation of Indonesian morphological. Webuild an SMT system using the state-of-the-art phrase-based SMT...
IN - Informatika
- 2012 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Norn: An SMT Solver for String Constraints
We present version 1.0 of the Norn SMT solver for string constraints. Norn is a solver for an expressive constraint language, including word equations, length constraints, and regular membership queries. As a feature distinguishing Norn from...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2015 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Truncating abstraction of bit-vector operations for BDD-based SMT solvers
During the last few years, BDD-based SMT solvers proved to be competitive in deciding satisfiability of quantified bit-vector formulas. However, these solvers-based SMT solver Q3B extended with these abstractions can solve more quan...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Surface Mount Technology - actual situation
It is described key factor that influencing actual situation in SMT production...
Electrical and electronic engineering
- 2018 •
- Jost
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Multi-Agent Path Finding with Continuous Time and Geometric Agents Viewed through Satisfiability Modulo Theories (SMT)
-proach based on satisfiability modulo theories(SMT) to obtain makespan optimal solutions. Our SMT-based approach for MAPFR called SMT-CBSR reformulates the Conflict-based Search (CBS) algorithm in terms of SMT...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- D
Rok uplatnění
D - Stať ve sborníku
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions
Ensuring hardware and software correctness increasingly relies on the use of symbolic logic solvers, in particular for satisfiability modulo theories (SMT). However, building efficient and correct SMT solvers is difficult: even stat...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
The design of frequency duplexer for E band SMT based communication system
The design of frequency duplexer for E band SMT based communication system. The design is verified by numerical simulations.
Communication engineering and systems
- 2018 •
- O
Rok uplatnění
O - Ostatní výsledky
- 1 - 10 out of 6 250