Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Martti Tienari"'
Mastering interoperability in a computing environment consisting of different operating systems and hardware architectures is a key requirement which faces system engineers building distributed information systems. Distributed applications are a nece
Publikováno v:
Theoretical Computer Science. 179:397-419
Minimization of a labelled transition system (Its) is useful e.g. while condensing the global state space of a concurrent system compositionally for verification. In this paper new minimality results for both weak and branching bisimilarities are pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::371779b03ae21e2c67866692c70ad26e
https://doi.org/10.1016/s0304-3975(96)00281-2
https://doi.org/10.1016/s0304-3975(96)00281-2
Autor:
Martti Tienari, Antti Valmari
Publikováno v:
Formal Aspects of Computing. 7:440-468
A systematic analysis of trace- and failure-based compositional semantic models for Basic LOTOS is presented. The analysis is motivated by the fact that the weakest known equivalences preserving sufficient information for several typical verification
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::af1a6bf1537b65eabb5ab00f4ef75a72
https://doi.org/10.1007/bf01211218
https://doi.org/10.1007/bf01211218
Publikováno v:
IFIP International Federation for Information Processing ISBN: 9780387241678
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e0a6d85ed1a51bc7170d4a218fdde94a
https://doi.org/10.1007/0-387-24168-x_41
https://doi.org/10.1007/0-387-24168-x_41
Publikováno v:
Mobile Communications ISBN: 9781475758573
IFIP World Conference on Mobile Communications
IFIP World Conference on Mobile Communications
Modern cellular telephone systems extend the usability of portable personal computers enormously. A nomadic user can be given ubiquitous access to remote information stores and computing services. However, the behavior of wireless links creates sever
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::45e647f443cbd801d8d1781ffa11257b
https://doi.org/10.1007/978-0-387-34980-0_17
https://doi.org/10.1007/978-0-387-34980-0_17
Autor:
Martti Tienari
Publikováno v:
BIT. 25:65-69
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::53ffc5dee2a73fcc699739d8e43e70ec
https://doi.org/10.1007/bf01934988
https://doi.org/10.1007/bf01934988
Autor:
Martti Tienari
Publikováno v:
Annales Academiae Scientiarum Fennicae Series A I Mathematica. 1963:1-32
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::964c18b0b3c39d3362c539a35eee45fe
https://doi.org/10.5186/aasfm.1963.321
https://doi.org/10.5186/aasfm.1963.321
Autor:
Martti Tienari
Publikováno v:
BIT. 10:355-365
A model is presented which explains the behavior of the roundoff error in a result quantity when computing precision is varied. A set of hypotheses concerning this a posteriori model is tested in a matrix inversion algorithm. The characteristics of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2452808e6190c55275f3920eb2204652
https://doi.org/10.1007/bf01934204
https://doi.org/10.1007/bf01934204
Publikováno v:
BIT. 8:69-85
SURVO 66 is a statistical job description system. The data processing requirements of a statistical research plan are expressed in the SURVO 66 language. A compiler for the Elliott 803 and 503 computers has been constructed to translate the SURVO ins
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ea04dea1ef2a93879fb3f80a68b69285
https://doi.org/10.1007/bf01939330
https://doi.org/10.1007/bf01939330
Autor:
Martti Tienari
Publikováno v:
BIT. 12:409-433
A result quantity in a numerical algorithm is considered as a function of the input data, roundoff and truncation errors. In order to investigate this functional relationship using the methods of mathematical analysis a structural model of the numeri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d079927adfe9c8010d9fa4b420f275cd
https://doi.org/10.1007/bf01932311
https://doi.org/10.1007/bf01932311