Titlebook: High Performance Computing - HiPC 2006; 13th International Yves Robert,Manish Parashar,Viktor K. Prasanna Conference proceedings 2006 Spr

NK871

书目名称High Performance Computing - HiPC 2006影响因子(影响力)




书目名称High Performance Computing - HiPC 2006影响因子(影响力)学科排名




书目名称High Performance Computing - HiPC 2006网络公开度




书目名称High Performance Computing - HiPC 2006网络公开度学科排名




书目名称High Performance Computing - HiPC 2006被引频次




书目名称High Performance Computing - HiPC 2006被引频次学科排名




书目名称High Performance Computing - HiPC 2006年度引用




书目名称High Performance Computing - HiPC 2006年度引用学科排名




书目名称High Performance Computing - HiPC 2006读者反馈




书目名称High Performance Computing - HiPC 2006读者反馈学科排名

ATOPY

978-3-540-68039-0Springer-Verlag Berlin Heidelberg 2006

hypnotic

High Performance Computing - HiPC 2006978-3-540-68040-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

BLANC

令人悲伤

VERT

组成

古文字学

Darshan D. Thaker,Tzvetan S. Metodi,Frederic T. Chongaper, we present an improved algorithm for computing the McMillan-unfolding of a time Petri net which gives a finite representation of the partial order semantics and some experimental results of its implementation within the PEP tool.

挥舞

性冷淡

ad Honnef (Germany) September 28-30, 1981. This volume contains contributions of these two workshops, The 1980 workshop in Strasbourg was partitioned into 6 topics : (1) Application of Nets to Realtime Systems, (2) Programming Languages and Software Engineering, (3) Information Flow and Concurrency,