Filtry
Czech Grammar Checker
Czech Grammar Checker...
AI - Jazykověda
- 2006 •
- X
Rok uplatnění
X - Nezařazeno
Spell checkers and grammar checkers - helper or a bad counselor
The starting point of this research is the observation that Czech students writing in French still encounter grammatical and orthographic difficulties. Consequently, the aim of this study is to demonstrate how spell checkers and grammar ...
AI - Jazykověda
- 2016 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Behavior Protocols Checker
Behavior Protocols Checker, [http://sofa.objectweb.org/download.phtml]...
JC - Počítačový hardware a software
- 2005 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Behavior Protocols Checker
Behavior Protocols Checker, [http://sofa.objectweb.org/download.phtml]...
JC - Počítačový hardware a software
- 2006 •
- X
Rok uplatnění
X - Nezařazeno
Distributed Behavior Protocol Checker
Distributed Behavior Protocol Checker, [http://dsrg.mff.cuni.cz/~poch/dchecker/]...
JC - Počítačový hardware a software
- 2006 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Checker Generator for Comunication Protocols XILINX FPGA
In this paper, checker Generator for Comunication Protocols XILINX FPGA is described.
JC - Počítačový hardware a software
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
ProbDiVinE: A Parallel Qualitative LTL Model Checker
We introduce a parallel model checker for checking Markov decision Processes against linear time properties. The model checker extends the parallel model checker DiVinE and supports verification of qualitative properties....
IN - Informatika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
Carmen - the software component model checker
Carmen - the software component model checker, [http://www2.lifl.fr/~plsek/Projects/Carmen/]...
JC - Počítačový hardware a software
- 2006 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Towards the New Czech Grammar-checker
I created a basis for the new grammar-checker of Czech. This was positively accepted by the committee and I was allowed to continue its development in my further study. In this paper, I want to describe the proximate issues of its active dev...
Linguistics
- 2018 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Tools enabling to develop fault tolerant architectures and checkers from VHDL
Tools for generating different types of fault tolerant architectures from VHDL description of the components and their checkers.
JC - Počítačový hardware a software
- 2015 •
- R •
- Odkaz
Rok uplatnění
R - Software
Výsledek na webu
- 1 - 10 z 259