Результаты поиска - parallel program version functionals function https

1

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

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

Оглавление: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Полный текст

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

2

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

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

Оглавление: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Полный текст

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

3

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

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

Оглавление: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Полный текст

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

4

Introduction to Programming with Fortran with coverage of Fortran 90, 95, 2003 and 77 /

по Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Опубликовано 2006

Оглавление: “... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
Полный текст

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

5

Beginning R An Introduction to Statistical Programming /

по Pace, Larry., Pace, Larry., Wiley, Joshua.
Опубликовано 2015

Предметы: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Полный текст

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

6

Expert F# 4.0

по Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
Опубликовано 2015

Предметы: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Полный текст

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

7

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

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

Оглавление: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Полный текст

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

8

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

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

Оглавление: “... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”
Полный текст

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

9

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

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

Оглавление: “... -- Preemptive Scheduling of Independent Jobs on Identical Parallel Machines Subject to Migration Delays...”
Полный текст

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

10

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers /

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

Оглавление: “... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...”
Полный текст

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

11

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

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

Оглавление: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Полный текст

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

12

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

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

Оглавление: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Полный текст

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

13

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

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

Оглавление: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
Полный текст

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

14

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

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

Оглавление: “... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”
Полный текст

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

15

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings /

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

Оглавление: “... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...”
Полный текст

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

16

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

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

Оглавление: “...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”
Полный текст

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

17

Distributed, Embedded and Real-time Java Systems

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

Оглавление: “...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”
Полный текст

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

18

Machine Learning and Knowledge Discovery in Databases European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II /

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

Оглавление: “... Machine Learning of Grammars and Compilers of Programming Languages -- Improving Classification...”
Полный текст

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

19

Advances in Cryptology – EUROCRYPT 2006 25th International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006, Pro...

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

Оглавление: “... Crypt -- Cryptography Meets Humans -- Hiding Secret Points Amidst Chaff -- Parallel and Concurrent...”
Полный текст

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

20

VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA,...

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

Оглавление: “... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...”
Полный текст

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

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