1
Publicat 2013
Taula de continguts: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Obtenir text complet
Electrònic eBook
2
Publicat 2015
Taula de continguts: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
Obtenir text complet
Electrònic eBook
3
Publicat 2014
Taula de continguts: ... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Obtenir text complet
Electrònic eBook
5
Publicat 2014
Taula de continguts: ... Bluetooth Based Autonomous Mining System -- Transistor Representation of a Low Power Reversible 32-Bit...
Obtenir text complet
Electrònic eBook
6
Publicat 2005
Taula de continguts: ... Satisfiability Problem -- New Bit-Parallel Indel-Distance Algorithm -- Dynamic Application Placement Under...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
Obtenir text complet
Electrònic eBook
8
Publicat 2006
Taula de continguts: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Obtenir text complet
Electrònic eBook
9
Publicat 2005
Taula de continguts: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
Obtenir text complet
Electrònic eBook
10
Publicat 2013
Taula de continguts: ... to the Design of Urban Public Spaces: Day Lighting in the Squares -- Some Results in Automatic Functional Test...
Obtenir text complet
Electrònic eBook