id sid tid token lemma pos 73666397v4s 1 1 interval interval NOUN 73666397v4s 1 2 analysis analysis NOUN 73666397v4s 1 3 and and CCONJ 73666397v4s 1 4 related relate VERB 73666397v4s 1 5 verified verify VERB 73666397v4s 1 6 solution solution NOUN 73666397v4s 1 7 methods method NOUN 73666397v4s 1 8 provide provide VERB 73666397v4s 1 9 mathematically mathematically ADV 73666397v4s 1 10 and and CCONJ 73666397v4s 1 11 computationally computationally ADV 73666397v4s 1 12 guaranteed guarantee VERB 73666397v4s 1 13 solution solution NOUN 73666397v4s 1 14 enclosures enclosure NOUN 73666397v4s 1 15 that that PRON 73666397v4s 1 16 bound bind VERB 73666397v4s 1 17 all all DET 73666397v4s 1 18 the the DET 73666397v4s 1 19 possible possible ADJ 73666397v4s 1 20 solutions solution NOUN 73666397v4s 1 21 of of ADP 73666397v4s 1 22 dynamic dynamic ADJ 73666397v4s 1 23 systems system NOUN 73666397v4s 1 24 with with ADP 73666397v4s 1 25 uncertainties uncertainty NOUN 73666397v4s 1 26 . . PUNCT 73666397v4s 2 1 this this PRON 73666397v4s 2 2 provides provide VERB 73666397v4s 2 3 a a DET 73666397v4s 2 4 foundation foundation NOUN 73666397v4s 2 5 for for ADP 73666397v4s 2 6 rigorous rigorous ADJ 73666397v4s 2 7 deterministic deterministic ADJ 73666397v4s 2 8 global global ADJ 73666397v4s 2 9 optimization optimization NOUN 73666397v4s 2 10 and and CCONJ 73666397v4s 2 11 continuous continuous ADJ 73666397v4s 2 12 satisfaction satisfaction NOUN 73666397v4s 2 13 of of ADP 73666397v4s 2 14 path path NOUN 73666397v4s 2 15 constraints constraint NOUN 73666397v4s 2 16 . . PUNCT 73666397v4s 3 1 based base VERB 73666397v4s 3 2 on on ADP 73666397v4s 3 3 this this DET 73666397v4s 3 4 methodology methodology NOUN 73666397v4s 3 5 , , PUNCT 73666397v4s 3 6 we we PRON 73666397v4s 3 7 present present VERB 73666397v4s 3 8 here here ADV 73666397v4s 3 9 new new ADJ 73666397v4s 3 10 algorithms algorithm NOUN 73666397v4s 3 11 for for ADP 73666397v4s 3 12 two two NUM 73666397v4s 3 13 types type NOUN 73666397v4s 3 14 of of ADP 73666397v4s 3 15 problem problem NOUN 73666397v4s 3 16 : : PUNCT 73666397v4s 3 17 dynamic dynamic ADJ 73666397v4s 3 18 global global ADJ 73666397v4s 3 19 optimization optimization NOUN 73666397v4s 3 20 ( ( PUNCT 73666397v4s 3 21 dgo dgo PROPN 73666397v4s 3 22 ) ) PUNCT 73666397v4s 3 23 subject subject NOUN 73666397v4s 3 24 to to ADP 73666397v4s 3 25 inequality inequality NOUN 73666397v4s 3 26 path path NOUN 73666397v4s 3 27 constraints constraint NOUN 73666397v4s 3 28 ( ( PUNCT 73666397v4s 3 29 ipc ipc NOUN 73666397v4s 3 30 ) ) PUNCT 73666397v4s 3 31 and and CCONJ 73666397v4s 3 32 robust robust ADJ 73666397v4s 3 33 design design NOUN 73666397v4s 3 34 and and CCONJ 73666397v4s 3 35 global global ADJ 73666397v4s 3 36 optimization optimization NOUN 73666397v4s 3 37 with with ADP 73666397v4s 3 38 uncertain uncertain ADJ 73666397v4s 3 39 parameters parameter NOUN 73666397v4s 3 40 . . PUNCT 73666397v4s 4 1 the the DET 73666397v4s 4 2 dgo dgo PROPN 73666397v4s 4 3 method method NOUN 73666397v4s 4 4 is be AUX 73666397v4s 4 5 based base VERB 73666397v4s 4 6 on on ADP 73666397v4s 4 7 techniques technique NOUN 73666397v4s 4 8 developed develop VERB 73666397v4s 4 9 for for ADP 73666397v4s 4 10 the the DET 73666397v4s 4 11 verified verify VERB 73666397v4s 4 12 solution solution NOUN 73666397v4s 4 13 of of ADP 73666397v4s 4 14 parametric parametric ADJ 73666397v4s 4 15 systems system NOUN 73666397v4s 4 16 of of ADP 73666397v4s 4 17 ordinary ordinary ADJ 73666397v4s 4 18 differential differential ADJ 73666397v4s 4 19 equations equation NOUN 73666397v4s 4 20 . . PUNCT 73666397v4s 5 1 these these DET 73666397v4s 5 2 techniques technique NOUN 73666397v4s 5 3 provide provide VERB 73666397v4s 5 4 rigorous rigorous ADJ 73666397v4s 5 5 interval interval NOUN 73666397v4s 5 6 bounds bound NOUN 73666397v4s 5 7 on on ADP 73666397v4s 5 8 the the DET 73666397v4s 5 9 state state NOUN 73666397v4s 5 10 variables variable NOUN 73666397v4s 5 11 , , PUNCT 73666397v4s 5 12 and and CCONJ 73666397v4s 5 13 thus thus ADV 73666397v4s 5 14 on on ADP 73666397v4s 5 15 the the DET 73666397v4s 5 16 constraints constraint NOUN 73666397v4s 5 17 and and CCONJ 73666397v4s 5 18 objective objective ADJ 73666397v4s 5 19 function function NOUN 73666397v4s 5 20 in in ADP 73666397v4s 5 21 the the DET 73666397v4s 5 22 dgo dgo PROPN 73666397v4s 5 23 problem problem NOUN 73666397v4s 5 24 . . PUNCT 73666397v4s 6 1 these these DET 73666397v4s 6 2 techniques technique NOUN 73666397v4s 6 3 also also ADV 73666397v4s 6 4 provide provide VERB 73666397v4s 6 5 explicit explicit ADJ 73666397v4s 6 6 analytic analytic ADJ 73666397v4s 6 7 representations representation NOUN 73666397v4s 6 8 ( ( PUNCT 73666397v4s 6 9 taylor taylor PROPN 73666397v4s 6 10 models model NOUN 73666397v4s 6 11 ) ) PUNCT 73666397v4s 6 12 of of ADP 73666397v4s 6 13 these these DET 73666397v4s 6 14 bounds bound NOUN 73666397v4s 6 15 in in ADP 73666397v4s 6 16 terms term NOUN 73666397v4s 6 17 of of ADP 73666397v4s 6 18 the the DET 73666397v4s 6 19 decision decision NOUN 73666397v4s 6 20 variables variable NOUN 73666397v4s 6 21 . . PUNCT 73666397v4s 7 1 this this PRON 73666397v4s 7 2 facilitates facilitate VERB 73666397v4s 7 3 the the DET 73666397v4s 7 4 use use NOUN 73666397v4s 7 5 of of ADP 73666397v4s 7 6 constraint constraint NOUN 73666397v4s 7 7 propagation propagation NOUN 73666397v4s 7 8 techniques technique NOUN 73666397v4s 7 9 that that PRON 73666397v4s 7 10 can can AUX 73666397v4s 7 11 greatly greatly ADV 73666397v4s 7 12 reduce reduce VERB 73666397v4s 7 13 the the DET 73666397v4s 7 14 domain domain NOUN 73666397v4s 7 15 to to PART 73666397v4s 7 16 be be AUX 73666397v4s 7 17 searched search VERB 73666397v4s 7 18 for for ADP 73666397v4s 7 19 the the DET 73666397v4s 7 20 global global ADJ 73666397v4s 7 21 optimum optimum NOUN 73666397v4s 7 22 . . PUNCT 73666397v4s 8 1 since since SCONJ 73666397v4s 8 2 ipcs ipc NOUN 73666397v4s 8 3 are be AUX 73666397v4s 8 4 often often ADV 73666397v4s 8 5 related relate VERB 73666397v4s 8 6 to to ADP 73666397v4s 8 7 safety safety NOUN 73666397v4s 8 8 concerns concern NOUN 73666397v4s 8 9 , , PUNCT 73666397v4s 8 10 we we PRON 73666397v4s 8 11 adopt adopt VERB 73666397v4s 8 12 a a DET 73666397v4s 8 13 conservative conservative ADJ 73666397v4s 8 14 approach approach NOUN 73666397v4s 8 15 to to ADP 73666397v4s 8 16 constraint constraint NOUN 73666397v4s 8 17 satisfaction satisfaction NOUN 73666397v4s 8 18 . . PUNCT 73666397v4s 9 1 through through ADP 73666397v4s 9 2 this this DET 73666397v4s 9 3 approach approach NOUN 73666397v4s 9 4 , , PUNCT 73666397v4s 9 5 the the DET 73666397v4s 9 6 search search NOUN 73666397v4s 9 7 for for ADP 73666397v4s 9 8 the the DET 73666397v4s 9 9 global global ADJ 73666397v4s 9 10 optimum optimum NOUN 73666397v4s 9 11 is be AUX 73666397v4s 9 12 restricted restrict VERB 73666397v4s 9 13 to to ADP 73666397v4s 9 14 a a DET 73666397v4s 9 15 space space NOUN 73666397v4s 9 16 in in ADP 73666397v4s 9 17 which which PRON 73666397v4s 9 18 continuous continuous ADJ 73666397v4s 9 19 satisfaction satisfaction NOUN 73666397v4s 9 20 of of ADP 73666397v4s 9 21 the the DET 73666397v4s 9 22 ipcs ipc NOUN 73666397v4s 9 23 is be AUX 73666397v4s 9 24 rigorously rigorously ADV 73666397v4s 9 25 guaranteed guarantee VERB 73666397v4s 9 26 , , PUNCT 73666397v4s 9 27 and and CCONJ 73666397v4s 9 28 an an DET 73666397v4s 9 29 & & CCONJ 73666397v4s 9 30 # # SYM 73666397v4s 9 31 949 949 NUM 73666397v4s 9 32 ; ; PUNCT 73666397v4s 9 33 -global -global ADJ 73666397v4s 9 34 optimum optimum NOUN 73666397v4s 9 35 within within ADP 73666397v4s 9 36 this this DET 73666397v4s 9 37 space space NOUN 73666397v4s 9 38 is be AUX 73666397v4s 9 39 determined determine VERB 73666397v4s 9 40 . . PUNCT 73666397v4s 10 1 we we PRON 73666397v4s 10 2 then then ADV 73666397v4s 10 3 extend extend VERB 73666397v4s 10 4 the the DET 73666397v4s 10 5 dgo dgo NOUN 73666397v4s 10 6 method method NOUN 73666397v4s 10 7 and and CCONJ 73666397v4s 10 8 adopt adopt VERB 73666397v4s 10 9 a a DET 73666397v4s 10 10 bi bi ADJ 73666397v4s 10 11 - - ADJ 73666397v4s 10 12 level level NOUN 73666397v4s 10 13 branch branch NOUN 73666397v4s 10 14 and and CCONJ 73666397v4s 10 15 reduce reduce VERB 73666397v4s 10 16 structure structure NOUN 73666397v4s 10 17 to to PART 73666397v4s 10 18 address address VERB 73666397v4s 10 19 robust robust ADJ 73666397v4s 10 20 design design NOUN 73666397v4s 10 21 and and CCONJ 73666397v4s 10 22 global global ADJ 73666397v4s 10 23 optimization optimization NOUN 73666397v4s 10 24 with with ADP 73666397v4s 10 25 uncertain uncertain ADJ 73666397v4s 10 26 parameters parameter NOUN 73666397v4s 10 27 . . PUNCT 73666397v4s 11 1 within within ADP 73666397v4s 11 2 the the DET 73666397v4s 11 3 framework framework NOUN 73666397v4s 11 4 , , PUNCT 73666397v4s 11 5 we we PRON 73666397v4s 11 6 implement implement VERB 73666397v4s 11 7 a a DET 73666397v4s 11 8 heuristic heuristic ADJ 73666397v4s 11 9 subregion subregion NOUN 73666397v4s 11 10 management management NOUN 73666397v4s 11 11 procedure procedure NOUN 73666397v4s 11 12 to to PART 73666397v4s 11 13 achieve achieve VERB 73666397v4s 11 14 more more ADV 73666397v4s 11 15 efficient efficient ADJ 73666397v4s 11 16 decisions decision NOUN 73666397v4s 11 17 . . PUNCT 73666397v4s 12 1 this this DET 73666397v4s 12 2 approach approach NOUN 73666397v4s 12 3 provides provide VERB 73666397v4s 12 4 guaranteed guarantee VERB 73666397v4s 12 5 - - PUNCT 73666397v4s 12 6 feasible feasible ADJ 73666397v4s 12 7 decision decision NOUN 73666397v4s 12 8 variable variable ADJ 73666397v4s 12 9 regions region NOUN 73666397v4s 12 10 for for ADP 73666397v4s 12 11 robust robust ADJ 73666397v4s 12 12 design design NOUN 73666397v4s 12 13 problems problem NOUN 73666397v4s 12 14 and and CCONJ 73666397v4s 12 15 locates locate VERB 73666397v4s 12 16 an an PRON 73666397v4s 12 17 & & CCONJ 73666397v4s 12 18 # # SYM 73666397v4s 12 19 949 949 NUM 73666397v4s 12 20 ; ; PUNCT 73666397v4s 12 21 -global -global ADJ 73666397v4s 12 22 optimum optimum ADJ 73666397v4s 12 23 over over ADP 73666397v4s 12 24 a a DET 73666397v4s 12 25 confirmed confirm VERB 73666397v4s 12 26 feasible feasible ADJ 73666397v4s 12 27 region region NOUN 73666397v4s 12 28 for for ADP 73666397v4s 12 29 robust robust ADJ 73666397v4s 12 30 optimization optimization NOUN 73666397v4s 12 31 problems problem NOUN 73666397v4s 12 32 . . PUNCT 73666397v4s 13 1 solving solve VERB 73666397v4s 13 2 dynamic dynamic ADJ 73666397v4s 13 3 optimization optimization NOUN 73666397v4s 13 4 problems problem NOUN 73666397v4s 13 5 with with ADP 73666397v4s 13 6 a a DET 73666397v4s 13 7 rigorous rigorous ADJ 73666397v4s 13 8 approach approach NOUN 73666397v4s 13 9 can can AUX 73666397v4s 13 10 be be AUX 73666397v4s 13 11 computationally computationally ADV 73666397v4s 13 12 challenging challenging ADJ 73666397v4s 13 13 . . PUNCT 73666397v4s 14 1 therefore therefore ADV 73666397v4s 14 2 , , PUNCT 73666397v4s 14 3 another another DET 73666397v4s 14 4 major major ADJ 73666397v4s 14 5 goal goal NOUN 73666397v4s 14 6 here here ADV 73666397v4s 14 7 is be AUX 73666397v4s 14 8 to to PART 73666397v4s 14 9 discuss discuss VERB 73666397v4s 14 10 how how SCONJ 73666397v4s 14 11 to to PART 73666397v4s 14 12 tackle tackle VERB 73666397v4s 14 13 this this DET 73666397v4s 14 14 challenge challenge NOUN 73666397v4s 14 15 with with ADP 73666397v4s 14 16 parallel parallel ADJ 73666397v4s 14 17 programming programming NOUN 73666397v4s 14 18 techniques technique NOUN 73666397v4s 14 19 . . PUNCT 73666397v4s 15 1 a a DET 73666397v4s 15 2 general general ADJ 73666397v4s 15 3 dynamic dynamic ADJ 73666397v4s 15 4 load load NOUN 73666397v4s 15 5 balancing balance VERB 73666397v4s 15 6 framework framework NOUN 73666397v4s 15 7 is be AUX 73666397v4s 15 8 designed design VERB 73666397v4s 15 9 , , PUNCT 73666397v4s 15 10 implemented implement VERB 73666397v4s 15 11 using use VERB 73666397v4s 15 12 message message NOUN 73666397v4s 15 13 passing pass VERB 73666397v4s 15 14 interface interface NOUN 73666397v4s 15 15 ( ( PUNCT 73666397v4s 15 16 mpi mpi PROPN 73666397v4s 15 17 ) ) PUNCT 73666397v4s 15 18 and and CCONJ 73666397v4s 15 19 posix posix ADJ 73666397v4s 15 20 multi multi NOUN 73666397v4s 15 21 - - NOUN 73666397v4s 15 22 threads thread NOUN 73666397v4s 15 23 , , PUNCT 73666397v4s 15 24 and and CCONJ 73666397v4s 15 25 tested test VERB 73666397v4s 15 26 on on ADP 73666397v4s 15 27 a a DET 73666397v4s 15 28 multi multi ADJ 73666397v4s 15 29 - - ADJ 73666397v4s 15 30 core core ADJ 73666397v4s 15 31 server server NOUN 73666397v4s 15 32 . . PUNCT 73666397v4s 16 1 the the DET 73666397v4s 16 2 effects effect NOUN 73666397v4s 16 3 of of ADP 73666397v4s 16 4 virtual virtual ADJ 73666397v4s 16 5 networks network NOUN 73666397v4s 16 6 and and CCONJ 73666397v4s 16 7 communication communication NOUN 73666397v4s 16 8 schemes scheme NOUN 73666397v4s 16 9 are be AUX 73666397v4s 16 10 discussed discuss VERB 73666397v4s 16 11 . . PUNCT 73666397v4s 17 1 examples example NOUN 73666397v4s 17 2 and and CCONJ 73666397v4s 17 3 comparative comparative ADJ 73666397v4s 17 4 results result NOUN 73666397v4s 17 5 for for ADP 73666397v4s 17 6 several several ADJ 73666397v4s 17 7 problems problem NOUN 73666397v4s 17 8 are be AUX 73666397v4s 17 9 presented present VERB 73666397v4s 17 10 to to PART 73666397v4s 17 11 demonstrate demonstrate VERB 73666397v4s 17 12 the the DET 73666397v4s 17 13 potential potential NOUN 73666397v4s 17 14 of of ADP 73666397v4s 17 15 the the DET 73666397v4s 17 16 methods method NOUN 73666397v4s 17 17 presented present VERB 73666397v4s 17 18 and and CCONJ 73666397v4s 17 19 their their PRON 73666397v4s 17 20 computational computational ADJ 73666397v4s 17 21 performance performance NOUN 73666397v4s 17 22 . . PUNCT