Näytetään tulokset 1 - 10 / 2992
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi

Improving Dynamic Partial Order Reductions for Concolic Testing

Vertaisarvioitu
Saarikivi, Olli; Kähkönen, Kari; Heljanko, Keijo
IEEE2012

Unfoldings - A Partial Order Approach to Model Checking

Vertaisarvioitu
Esparza, Javier; Heljanko, Keijo
SPRINGER2008

Higher order partial least squares for object tracking: A 4D-tracking method

Vertaisarvioitu
DOI
10.1016/j.neucom.2015.09.138
Zhong, Bineng; Yang, Xiangnan; Shen, Yingju; Wang, Cheng; Wang, Tian; Cui, Zhen; Zhang, Hongbo; Hong...
Neurocomputing2016

Guard-based Partial Order Reduction

Vertaisarvioitu
DOI
10.1007/s10009-014-0363-9
Laarman, Alfons;Pater, Elwin;Van de Pol, Jaco ;Hansen, Henri
International Journal on Software Tools for Technology Transfer2014

Practical Partial Order Reduction for CSP

Vertaisarvioitu
DOI
10.1007/978-3-319-17524-9_14
Gibson-Robinson, Thomas;Hansen, Henri;Roscoe, A. Willian;Wang, Xu
Lecture Notes in Computer Science2015

Reporting Races in Dynamic Partial Order Reduction

Vertaisarvioitu
Saarikivi, Olli; Heljanko, Keijo
SPRINGER2015

Convex cone-based partial order for multiple criteria alternatives

Vertaisarvioitu
DOI
10.1016/j.dss.2010.11.019
Dehnokhalaji, Akram; Korhonen, Pekka J.; Köksalan, Murat; Nasrabadi, Nasim; Wallenius, Jyrki
Decision Support Systems2011

Partial Order MCMC for Structure Discovery in Bayesian Networks

Vertaisarvioitu
Avoin saatavuus
Niinimäki, Teppo Mikael; Parviainen, Pekka; Koivisto, Mikko
-2011

Generalized partial measurements

Vertaisarvioitu
DOI
10.1209/0295-5075/93/64002
Paraoanu, G.S.
EPL2011

The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-030-45231-5_25
Neele, Thomas; Valmari, Antti; Willemse, Tim A. C
Lecture Notes in Computer Science2020

Improving Dynamic Partial Order Reductions for Concolic Testing

Vertaisarvioitu
2012

Unfoldings - A Partial Order Approach to Model Checking

Vertaisarvioitu
2008

Higher order partial least squares for object tracking: A 4D-tracking method

Vertaisarvioitu
DOI
10.1016/j.neucom.2015.09.138
2016

Guard-based Partial Order Reduction

Vertaisarvioitu
DOI
10.1007/s10009-014-0363-9
2014

Practical Partial Order Reduction for CSP

Vertaisarvioitu
DOI
10.1007/978-3-319-17524-9_14
2015

Reporting Races in Dynamic Partial Order Reduction

Vertaisarvioitu
2015

Convex cone-based partial order for multiple criteria alternatives

Vertaisarvioitu
DOI
10.1016/j.dss.2010.11.019
2011

Partial Order MCMC for Structure Discovery in Bayesian Networks

Vertaisarvioitu
Avoin saatavuus
2011

Generalized partial measurements

Vertaisarvioitu
DOI
10.1209/0295-5075/93/64002
2011

The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-030-45231-5_25
2020