UM

Browse/Search Results:  1-6 of 6 Help

Selected(0)Clear Items/Page:    Sort:
Model checking bounded continuous-time Extended Linear Duration Invariants Conference paper
HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
Authors:  An J.;  Zhan N.;  Li X.;  Zhang M.;  Yi W.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Duration calculus  ELDI  Model checking  Quantified linear real arithmetic  Timed automata  
The genetic basis for ecological adaptation of the Atlantic herring revealed by genome sequencing Journal article
eLife, 2016,Volume: 5,Issue: 2016-05-01
Authors:  Barrio A.M.;  Lamichhaney S.;  Fan G.;  Rafati N.;  Pettersson M.;  Zhang H.;  Dainat J.;  Ekman D.;  Höppner M.;  Jern P.;  Martin M.;  Nystedt B.;  Liu X.;  Chen W.;  Liang X.;  Shi C.;  Fu Y.;  Ma K.;  Zhan X.;  Feng C.;  Gustafson U.;  Rubin C.-J.;  Almén M.;  Blass M.;  Casini M.;  Folkvord A.;  Laikre L.;  Ryman N.;  Lee S.-Y.;  Xu X.;  Andersson L.
Favorite  |  View/Download:1/0  |  Submit date:2018/10/30
On dynamic top-k influence maximization Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Shandong Univ, Qingdao, PEOPLES R CHINA, JUN 08-10, 2015
Authors:  Wang H.;  Pan N.;  Leong Hou U.;  Zhan B.;  Gong Z.
Favorite  |  View/Download:7/0  |  Submit date:2019/02/12
Rate monotonic scheduling re-analysed Journal article
Information Processing Letters, 2010,Volume: 110,Issue: 6,Page: 226-231
Authors:  Xu Q.;  Zhan N.
Favorite  |  View/Download:2/0  |  Submit date:2019/04/04
Real Time Systems  Schedulability Conditions  Scheduling  
Modelling with relational calculus of object and component systems - RCOS Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  Chen Z.;  Hannousse A.H.;  Van Hung D.;  Knoll I.;  Li X.;  Liu Z.;  Liu Y.;  Nan Q.;  Okika J.C.;  Ravn A.P.;  Stolz V.;  Yang L.;  Zhan N.
Favorite  |  View/Download:1/0  |  Submit date:2019/02/14
Design  Refinement  Requirements modelling  Transformation  
Basic research in computer science and software engineering at SKLCS Journal article
Frontiers of Computer Science in China, 2008,Volume: 2,Issue: 1,Page: 1-11
Authors:  Zhang J.;  Zhang W.;  Zhan N.;  Shen Y.;  Chen H.;  Zhang Y.;  Wang Y.;  Wu E.;  Wang H.;  Zhu X.
Favorite  |  View/Download:0/0  |  Submit date:2019/02/13
Automated reasoning  Computer graphics  Concurrency theory  Formal specification  Human-computer interaction  Middleware  Parallel algorithms  Real-time system  Software process