Search Results - integrals computing processing programme abstracts https

1

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /

Published 2014

Table of Contents: “... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...”
View full text

Electronic eBook

2

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... Architecture for Reconfigurable Computing -- Integrated Design Environment for Reconfigurable HPC...”
View full text

Electronic eBook

3

Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /

Published 2015

Table of Contents: “... Computational Benchmarks Using FPGAs -- Extended Abstracts (Posters) -- A Timing Driven Cycle-Accurate...”
View full text

Electronic eBook

4

Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings /

Published 2010

Table of Contents: “...Research Papers -- Business Process Model Abstraction Based on Behavioral Profiles -- Root-Cause...”
View full text

Electronic eBook

5

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Heterogeneity and Dynamism in Parallel Scientific Applications -- Data and Computation Abstractions for Dynamic...”
View full text

Electronic eBook

6

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Published 2010

Table of Contents: “... for On-Board Satellite Software -- Computational Concerns in the Integration of Unmanned Airborne Systems...”
View full text

Electronic eBook

7

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings /

Published 2005

Table of Contents: “... -- Integrated Computation, Communication and Control: Towards Next Revolution in Information Technology...”
View full text

Electronic eBook

8

Hybrid Learning and Education First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings /

Published 2008

Table of Contents: “... in the Widespread Adoption of Hybrid Learning Strategies -- A Proposal for a Lifecycle Process for Hybrid Learning...”
View full text

Electronic eBook

9

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Published 2012

Table of Contents: “... the Verification of Adaptable Processes.- Runtime Verification: The Application Perspective.- What Does AI Have...”
View full text

Electronic eBook

10

Domain-Specific Model-Driven Testing

by Bärisch, Stefan., Bärisch, Stefan.
Published 2010

Subjects: “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
View full text

Electronic eBook

11

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Published 2005

Table of Contents: “...Invited Paper -- Palpable Computing and the Role of Agent Technology -- Research Papers -- A...”
View full text

Electronic eBook

12

Mobility Aware Technologies and Applications Second International Workshop, MATA 2005, Montreal, Canada, October 17 -- 19, 2005, Proceedings /

Published 2005

Table of Contents: “... Streams Saving Bandwidth for Overused Networks -- APHIDS++: Evolution of A Programmable Hybrid Intrusion...”
View full text

Electronic eBook

13

Inter-Domain Management First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007, Proceedings /

Published 2007

Table of Contents: “... Networks -- Next Generation Semantic Business Process Management -- Programmability Models for Sensor...”
View full text

Electronic eBook

14

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Published 2013

Table of Contents: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
View full text

Electronic eBook

15

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings /

Published 2007

Table of Contents: “...: Abstracting Away Higher-Orderness for Program Verification -- Local Reasoning for Storable Locks and Threads...”
View full text

Electronic eBook

16

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice o...

Published 2006

Table of Contents: “... Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver -- SAT-Based Software...”
View full text

Electronic eBook

17

Design of Systems on a Chip: Design and Test

Published 2007

Table of Contents: “... and Design-for-Test: from Circuits to Integrated Systems -- Synthesis of FPGAs and Testable ASICs -- Testable...”
View full text

Electronic eBook

18

Mashups Concepts, Models and Architectures /

by Daniel, Florian., Daniel, Florian., Matera, Maristella.
Published 2014

Table of Contents: “...1 Introduction -- Part I Fundamentals -- 2 Data and Application Integration -- 3 Web Technologies...”
View full text

Electronic eBook

Narrow Search