Результаты поиска - parallel processing software section function https

1

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /

Опубликовано 2008

Оглавление: “... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”
Полный текст

Электронный ресурс eКнига

2

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

Опубликовано 2013

Оглавление: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
Полный текст

Электронный ресурс eКнига

3

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop...

Опубликовано 2007

Оглавление: “... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...”
Полный текст

Электронный ресурс eКнига

4

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Опубликовано 2006

Оглавление: “...Surveys -- Dependable Software -- Dependable Systems -- Survey on Dependable IP over Fiber Networks...”
Полный текст

Электронный ресурс eКнига

5

Intelligent Technologies and Engineering Systems

Опубликовано 2013

Оглавление: “... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”
Полный текст

Электронный ресурс eКнига

6

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13...

Опубликовано 2014

Оглавление: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Полный текст

Электронный ресурс eКнига

7

Business Information Systems 17th International Conference, BIS 2014, Larnaca, Cyprus, May 22-23, 2014, Proceedings /

Опубликовано 2014

Оглавление: “... for Supporting Users during the Execution of Declarative Business Process Models -- Complexity-Aware Software...”
Полный текст

Электронный ресурс eКнига

8

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...

Опубликовано 2015

Оглавление: “... of Dynamic Process Networks -- MULTIGAIN: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff...”
Полный текст

Электронный ресурс eКнига

9

COMPSTAT 2006 - Proceedings in Computational Statistics 17th Symposium Held in Rome, Italy, 2006 /

Опубликовано 2006

Оглавление: “... Analysis and Signal Processing -- Non-rigid image registration using mutual information -- Musical audio...”
Полный текст

Электронный ресурс eКнига

10

Artificial Neural Networks and Machine Learning -- ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings...

Опубликовано 2012

Оглавление: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
Полный текст

Электронный ресурс eКнига

11

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Опубликовано 2008

Оглавление: “... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”
Полный текст

Электронный ресурс eКнига

12

Computer Information Systems and Industrial Management 12th IFIP TC 8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013, Proceedings /

Опубликовано 2013

Оглавление: “... Classifiers to Data Stream Classification -- Efficacy of Some Primary Discriminant Functions in Diagnosing...”
Полный текст

Электронный ресурс eКнига

13

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Опубликовано 2008

Оглавление: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
Полный текст

Электронный ресурс eКнига

14

Financial Cryptography and Data Security 17th International Conference, FC 2013, Okinawa, Japan, April 1-5, 2013, Revised Selected Papers /

Опубликовано 2013

Оглавление: “...) -- Aggregating CL-Signatures Revisited: Extended Functionality and Better Efficiency -- Accumulators and U-Prove...”
Полный текст

Электронный ресурс eКнига

15

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I /

Опубликовано 2014

Оглавление: “... and Operational States of Wind Turbines -- The Parallel Approach to the Conjugate Gradient Learning Algorithm...”
Полный текст

Электронный ресурс eКнига

16

Business Information Systems 18th International Conference, BIS 2015, Poznań, Poland, June 24-26, 2015, Proceedings /

Опубликовано 2015

Оглавление: “... and Open API Telecommunication Functions by Software Developers -- The Use of Open API in Travel Planning...”
Полный текст

Электронный ресурс eКнига

17

Advances in Soft Computing and Its Applications 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II /

Опубликовано 2013

Оглавление: “... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...”
Полный текст

Электронный ресурс eКнига

18

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Опубликовано 2014

Оглавление: “... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...”
Полный текст

Электронный ресурс eКнига

19

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings /

Опубликовано 2012

Оглавление: “...-core Processors -- Assessing Software Interference Management When Modifying Safety-Related Software...”
Полный текст

Электронный ресурс eКнига

20

Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers /

Опубликовано 2005

Оглавление: “... Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска