Otsing - TalTech teadusportaal

kuva

reasta

126

artikkel ajakirjas

Relative monads formalisedAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoJournal of formalized reasoning2014 / p. 1-43

artikkel ajakirjas

127

artikkel ajakirjas

Securing class initialization in Java-like languagesRafnsson, Willard; Nakata, Keiko; Sabelfeld, AndreiIEEE transactions on dependable and secure computing2013 / p. 1-13

artikkel ajakirjas

128

artikkel ajakirjas EST / artikkel ajakirjas ENG

Semi-automated integration of domain ontologies to DSL meta-modelsHaav, Hele-Mai; Ojamaa, AndresInternational journal of intelligent information and database systems2017 / p. 94-116 :ill https://doi.org/10.1504/IJIIDS.2017.086198 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

129

artikkel kogumikus

Signals and comonadsUustalu, Tarmo; Vene, VarmoProceedings of 9th Brazilian Symposium on Programming Languages : SBLP'05 : Recife, Brazil, May 23-25, 20052005 / p. 215-228

artikkel kogumikus

130

artikkel ajakirjas

Simple analysis of gel images with IOCBIO gel softwareJaska, Lucia; Birkedal, Rikke; Laasmaa, Martin; Vendelin, MarkoBio-protocol2024 / art. e5053, 12 p https://doi.org/10.21769/BioProtoc.5053

artikkel ajakirjas

131

artikkel kogumikus

Simulation of logic-informational processes by means of problems-oriented computer languagesTamm, Boris, inform.5e congrès international de cybernétique : Namur, 11-15 Septembre 1967 : extrait = 5th International Congress on Cybernetics : Namur, September 11-15th 1967 : extract1968 / p. 51-61 : ill

artikkel kogumikus

132

artikkel kogumikus

Simulation-based equivalence checking between IEEE 1687 ICL and RTLDamljanovic, Aleksa; Jutman, Artur; Portolan, Michele; Tšertov, Anton2019 IEEE International Test Conference (ITC)2019 / paper. 7.3, 8 p. : ill https://doi.org/10.1109/ITC44170.2019.9000181

artikkel kogumikus

133

raamat

Sisend-väljund keeles PL/1 : loengukonspektJürgenson, Rein, inform.1975 https://www.ester.ee/record=b1307642*est

raamat

134

raamat

Sissejuhatus Ada-keelde : metoodiline materjalJürgenson, Rein, inform.1987 https://www.ester.ee/record=b1230821*est

raamat

135

raamat

Sissejuhatus programmeerimisse an-keeles : loengumaterjalHenno, Jaak; Käerdi, Helmo1980 https://www.ester.ee/record=b1287519*est

raamat

136

artikkel ajakirjas EST / artikkel ajakirjas ENG

SSProve : a foundational framework for modular cryptographic proofs in CoqHaselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hriţcu, Cǎtǎlin; Maillard, Kenji; Spitters, BasACM Transactions on Programming Languages and Systems2023 / art. 15 https://doi.org/10.1145/3594735 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

137

artikkel kogumikus

Structural synthesis of programs with preconditionsKotkas, VahurProceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 20052005 / p. 70-81 : ill

artikkel kogumikus

138

artikkel ajakirjas

Suure täpsusega arvutamine J-keelesVõhandu, LeoA & A2001 / 1, lk. 53-58

artikkel ajakirjas

139

artikkel ajakirjas

Sõnasepandus ehk tekstikäsitlus poeetideleVõhandu, LeoA & A2001 / 4, lk. 41-47 https://artiklid.elnet.ee/record=b1007652*est

artikkel ajakirjas

140

artikkel ajakirjas

A system for CAD/CAM software development and implementationTamm, Boris, inform.; Küttner, Rein; Vilipõld, Jüri; Pruuden, JuhanComputers in industry1984 / p. 367-376

artikkel ajakirjas

141

artikkel kogumikus

SystemC-based loose models : RTL abstraction for design understandingAbrar, Syed Saif; Jenihhin, Maksim; Raik, JaanWorkshop on Design Automation for Understanding Hardware Designs DUHDe 2015 : Grenoble, March 13, 20152015 / p. 1-6

artikkel kogumikus

142

artikkel kogumikus

SystemC-based loose models for simulation speed-up by abstraction of RTL IP coresAbrar, Syed Saif; Jenihhin, Maksim; Raik, Jaan2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems DDECS 2015 : 22-24 April 2015, Belgrade, Serbia : proceedings2015 / p. 71-74 : ill http://dx.doi.org/10.1109/DDECS.2015.39

artikkel kogumikus

143

artikkel kogumikus

Tarmo Uustalu is creating a new computer languageUustalu, TarmoEstonian Centre of Excellence in ICT Research2021 / p. 73-77 : ill http://www.digar.ee/id/nlib-digar:634779 https://www.ester.ee/record=b5456158*est

artikkel kogumikus

144

artikkel kogumikus

Teaching HDL for IT-studentsEllervee, Peeter; Reinsalu, Uljana; Arhipov, AntonEWME 2006 proceedings : 6th International Workshop on Microelectronics Education : 8-9 June, 2006, Stockholm, Sweden2006 / p. 112-115

artikkel kogumikus

145

artikkel kogumikus

Teaching modeling in SysML/UML and problems encounteredKruus, Helena; Robal, Tarmo; Jervan, GertProceedings of the 25th International Conference on European Association for Education in Electrical and Information Engineering : 30 May-June 2014, Cesme, Türkiye2014 / p. 33-36 : ill

artikkel kogumikus

146

artikkel kogumikus

Temporally extended high-level decision diagrams for PSL assertions simulationJenihhin, Maksim; Raik, Jaan; Tšepurov, Anton; Ubar, Raimund-JohannesProceedings : Thirteenth IEEE European Test Symposium : ETS 2008 : 25-29 May 2008, Verbania, Italy2008 / p. 61-68 : ill https://ieeexplore.ieee.org/document/4556029

artikkel kogumikus

147

raamat

10th Workshop on Quantitative Aspects of Programming Languages : QAPL 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : pre-proceedings2012 https://www.ester.ee/record=b2769334*est

raamat

148

artikkel kogumikus EST / artikkel kogumikus ENG

Tests of graphics rendering in browsersHenno, Jaak; Jaakkola, Hannu; Mäkelä, JukkaSixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications : SQAMIA 2017 : Belgrade, Serbia, 11-13.09.2017 : proceedings2017 / p. 3:1-3:10 https://ceur-ws.org/Vol-1938/paper-hen.pdf Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

149

raamat

2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedingsUustalu, Tarmo; Saabas, Ando2004 https://www.ester.ee/record=b1893488*est

raamat

150

artikkel ajakirjas

Theory of atomataBrzozowski, Janusz; Tamm, HellisTheoretical computer science2014 / p. 13-27 : ill

artikkel ajakirjas

programmeerimiskeeled (märksõna)

teaviku laadid

märksõna 1