1
Published 2010
Table of Contents: ... Annotation for Program Testing and Verification -- The Static Driver Verifier Research Platform -- Dsolve...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ...Keynote Addresses -- Rethinking Computer Architecture Research -- Event Servers for Crisis...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Oligonucleotide Arrays -- Quality Assessment of Affymetrix GeneChip Data -- Preprocessing Two-Color Spotted Arrays...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... and Duration Effects on Static and Dynamic Tactile Texture Discrimination -- Causality Inversion...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ...-aware Pipeline Synthesis for Array based Reconfigurable Architectures -- An Interactive Design...
View full text
Electronic eBook
10
by Spear, Chris., Spear, Chris.
Published 2008
Table of Contents: ... Connecting It All Together -- 4.6 Top-Level Scope -- 4.7 Program — Module Interactions -- 4.8 SystemVerilog...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Progress in Static and Dynamic Modeling of Biological Networks -- Getting Started in Biological Pathway...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... with Time-varying Delays -- Computer Vision -- Representative Video Action Discovery Using Interactive Non...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
View full text
Electronic eBook