tag :: smt | BibSonomy

закладки (спрятать)4
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

1The Rosette Guide
https://docs.racket-lang.org/rosette-guide/index.html
6 лет назад , @bshanks
racket
sat
smt
racketsatsmt
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Modern SAT solvers: fast, neat and underused | Hacker News
https://news.ycombinator.com/item?id=17684502
6 лет назад , @bshanks
minisat
sat
smt
z3
minisatsatsmtz3
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Z3: SMT solver
http://research.microsoft.com/en-us/um/redmond/projects/z3/
13 лет назад , @draganigajic
.net
C#
ai
microsoft
programming
prover
research
smt
theorem
.netC#aimicrosoftprogrammingproverresearchsmttheorem
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Barcelona Supercomputing Center - Centro Nacional de Supercomputación
They have been publishing a lot of papers about SMT and multicores.
16 лет назад , @ykwok
SMT
multicore
SMTmulticore
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи

&lang;&lang;
⟨
1
&rang;
⟩⟩

публикации (спрятать)59
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...

1Breaking Mignotte's Sequence Based Secret Sharing Scheme Using SMT Solver
M. Abu-Zant, и M. Hamarsheh. International Journal of Computer Science & Information Technology (IJCSIT), 9 (6): 35 - 42 (декабря 2017)
3 лет назад , @shamerjose
Data
Mignotte’s
SMT
Satisfiability
Secret
Security
sequence
sharing
solver
DataMignotte’sSMTSatisfiabilitySecretSecuritysequencesharingsolver
(0)
копироватьудалитьдобавить публикацию в буфер
1Reliable Benchmarking: Requirements and Solutions
D. Beyer, S. Löwe, и P. Wendler. International Journal on Software Tools for Technology Transfer, 21 (1): 1--29 (01.02.2019)
4 лет назад , @gron
BenchExec
Benchmarking
Empirical
Evaluation
ReBench
SAT
SMT
BenchExecBenchmarkingEmpiricalEvaluationReBenchSATSMT
(0)
копироватьудалитьдобавить публикацию в буфер
4Moses: Open Source Toolkit for Statistical Machine Translation
P. Koehn, H. Hoang, A. Birch, C. Callison-Burch, M. Federico, N. Bertoldi, B. Cowan, W. Shen, C. Moran, R. Zens и 4 other автор(ы). Proceedings of the 45th Annual Meeting of the ACL on Interactive Poster and Demonstration Sessions, стр. 177--180. Stroudsburg, PA, USA, Association for Computational Linguistics, (2007)
7 лет назад , @izzy278
SMT
uw_ws17_ml
SMTuw_ws17_ml
(0)
копироватьудалитьдобавить публикацию в буфер
1Machine Translation for Amharic: Where we are
S. Adafre. Strategies for developing machine translation for minority languages, (2006)
9 лет назад , @asmelash
amharic
language
smt
amhariclanguagesmt
(0)
копироватьудалитьдобавить публикацию в буфер
1Toward a Rule-Based System for English-Amharic Translation
M. Gasser. Language Technology for Normalisation of Less-Resourced Languages, (2012)
9 лет назад , @asmelash
amharic
language
smt
amhariclanguagesmt
(0)
копироватьудалитьдобавить публикацию в буфер
1A dependency grammar for Amharic
M. Gasser. Proceedings of the Workshop on Language Resources and Human Language Technologies for Semitic Languages, Valletta, Malta, (2010)
9 лет назад , @asmelash
amharic
language
smt
amhariclanguagesmt
(0)
копироватьудалитьдобавить публикацию в буфер
1Application of corpus-based techniques to Amharic texts
S. Fissaha, и J. Haller. Proc. MT Summit IX Workshop on Machine Translation for Semitic Languages, (2003)
9 лет назад , @asmelash
amharic
language
smt
amhariclanguagesmt
(0)
копироватьудалитьдобавить публикацию в буфер
1Formal Analysis of Some Aspects of Amharic Noun Phrases
S. Adafre. (2006)
9 лет назад , @asmelash
amharic
language
smt
amhariclanguagesmt
(0)
копироватьудалитьдобавить публикацию в буфер
2Data-driven Amharic-English Bilingual Lexicon Acquisition
S. Amsalu. Proceedings of Language Resources and Evaluation Conference (LREC2006), (2006)
9 лет назад , @asmelash
amharic
language
smt
amhariclanguagesmt
(0)
копироватьудалитьдобавить публикацию в буфер
2Exact Decoding for Phrase-Based Statistical Machine Translation.
W. Aziz, M. Dymetman, и L. Specia. EMNLP, стр. 1237-1249. ACL, (2014)
9 лет назад , @jil
amsterdam
based
decoding
exact
grahical
machine
model
phrase
smt
translation
amsterdambaseddecodingexactgrahicalmachinemodelphrasesmttranslation
(0)
копироватьудалитьдобавить публикацию в буфер
3Z3: An Efficient SMT Solver.
L. de Moura, и N. Bjørner. TACAS, том 4963 из Lecture Notes in Computer Science, стр. 337-340. Springer, (2008)
10 лет назад , @fibso
SMT
SMT
(0)
копироватьудалитьдобавить публикацию в буфер
2The Static Driver Verifier Research Platform.
T. Ball, E. Bounimova, V. Levin, R. Kumar, и J. Lichtenberg. CAV, том 6174 из Lecture Notes in Computer Science, стр. 119-122. Springer, (2010)
11 лет назад , @kaptoxic
masterthesis
smt
solver
theorem
verification
masterthesissmtsolvertheoremverification
(0)
копироватьудалитьдобавить публикацию в буфер
3Z3: An Efficient SMT Solver.
L. de Moura, и N. Bjørner. TACAS, том 4963 из Lecture Notes in Computer Science, стр. 337-340. Springer, (2008)
11 лет назад , @kaptoxic
masterthesis
smt
solver
theorem
verification
z3
masterthesissmtsolvertheoremverificationz3
(0)
копироватьудалитьдобавить публикацию в буфер
1Thread-sensitive scheduling for SMT processors
S. Parekh, S. Eggers, H. Levy, и J. Lo. (2000)
12 лет назад , @ytyoun
scheduling
smt
thread
schedulingsmtthread
(0)
копироватьудалитьдобавить публикацию в буфер
2Code and Data Transformations for Improving Shared Cache Performance on SMT Processors
D. Nikolopoulos. High Performance Computing, том 2858 из Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2003)
12 лет назад , @ytyoun
cache
smt
cachesmt
(0)
копироватьудалитьдобавить публикацию в буфер
1SMT-based Model Checking
C. Tinelli. Presentation, Formal Techniques Summer School, University of Iowa, (2011)
12 лет назад , @henningb
k-induction
smt
k-inductionsmt
(0)
копироватьудалитьдобавить публикацию в буфер
1Verifying safety properties of Lustre programs: an SMT-based approach
G. Hagen. Department of Computer Science. The University of Iowa, (2008)
12 лет назад , @henningb
smt
smt
(0)
копироватьудалитьдобавить публикацию в буфер
2Interpolants from Z3 proofs
K. McMillan. Microsoft Research, (2011)
12 лет назад , @henningb
z3
interpolation
smt
z3interpolationsmt
(0)
копироватьудалитьдобавить публикацию в буфер
2PKind: A parallel k-induction based model checker
T. Kahsai, и C. Tinelli. PDMC, том 72 из EPTCS, стр. 55-62. (2011)
12 лет назад , @henningb
k-induction
lustre
smt
k-inductionlustresmt
(0)
копироватьудалитьдобавить публикацию в буфер
1A Survey of Processors with Explicit Multithreading
T. Ungerer, B. Robic, и J. Silc. ACM Comput. Surv., (марта 2003)
13 лет назад , @gron
Hardware
Hyperthreads
MultiCore
Processor
SMT
Threads
HardwareHyperthreadsMultiCoreProcessorSMTThreads
(0)
копироватьудалитьдобавить публикацию в буфер

&lang;&lang;
⟨
1
2
3
&rang;
⟩⟩

BibSonomy

закладки (спрятать)4
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

1The Rosette Guide

1Modern SAT solvers: fast, neat and underused | Hacker News

1Z3: SMT solver

1Barcelona Supercomputing Center - Centro Nacional de Supercomputación

публикации (спрятать)59
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...

1Breaking Mignotte's Sequence Based Secret Sharing Scheme Using SMT Solver

1Reliable Benchmarking: Requirements and Solutions

4Moses: Open Source Toolkit for Statistical Machine Translation

1Machine Translation for Amharic: Where we are

1Toward a Rule-Based System for English-Amharic Translation

1A dependency grammar for Amharic

1Application of corpus-based techniques to Amharic texts

1Formal Analysis of Some Aspects of Amharic Noun Phrases

2Data-driven Amharic-English Bilingual Lexicon Acquisition

2Exact Decoding for Phrase-Based Statistical Machine Translation.

3Z3: An Efficient SMT Solver.

2The Static Driver Verifier Research Platform.

3Z3: An Efficient SMT Solver.

1Thread-sensitive scheduling for SMT processors

2Code and Data Transformations for Improving Shared Cache Performance on SMT Processors

1SMT-based Model Checking

1Verifying safety properties of Lustre programs: an SMT-based approach

2Interpolants from Z3 proofs

2PKind: A parallel k-induction based model checker

1A Survey of Processors with Explicit Multithreading

просмотр

сходные по теме тэги

сходные по популярности тэги

закладки (спрятать)4 показатьвсётолько закладкизакладки на страницу5102050100 RSSBibTeXXML

публикации (спрятать)59 показатьвсётолько публикациипубликации на страницу5102050100 расширенный... RSSBibTeXRDFдальше...

просмотр

сходные по теме тэги

сходные по популярности тэги

закладки (спрятать)4
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

публикации (спрятать)59
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...