1
Publicado 2005
Table of Contents: ...Keynote Addresses -- Rethinking Computer Architecture Research -- Event Servers for Crisis...
Ligazón do recurso
Electrónico eBook
2
Publicado 2014
Table of Contents: ...Verifying Communicating Multi-pushdown Systems via Split-Width -- Booster: An Acceleration-Based...
Ligazón do recurso
Electrónico eBook
3
Publicado 2015
Table of Contents: ... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...
Ligazón do recurso
Electrónico eBook
4
Publicado 2007
Table of Contents: ... on Fat Terrains -- Computing the Visibility Map of Fat Objects -- Session 6B -- Independent Sets...
Ligazón do recurso
Electrónico eBook
5
Publicado 2015
Table of Contents: ... with Time-varying Delays -- Computer Vision -- Representative Video Action Discovery Using Interactive Non...
Ligazón do recurso
Electrónico eBook
6
Publicado 2007
Table of Contents: ... in a Graph Using k-Means and Application to Protein Interactions Networks -- Species Clustering via...
Ligazón do recurso
Electrónico eBook