Rezultati - parallel programs 25 function function https

1

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Izdano 2013

Kazalo: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Polni tekst

Elektronski eKnjiga

2

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Izdano 2010

Kazalo: “... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...”
Polni tekst

Elektronski eKnjiga

3

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Izdano 2010

Kazalo: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Polni tekst

Elektronski eKnjiga

4

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Izdano 2006

Kazalo: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Polni tekst

Elektronski eKnjiga

5

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Izdano 2008

Kazalo: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Polni tekst

Elektronski eKnjiga

6

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Izdano 2005

Kazalo: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Polni tekst

Elektronski eKnjiga

7

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

Izdano 2012

Kazalo: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Polni tekst

Elektronski eKnjiga

8

AI 2012: Advances in Artificial Intelligence 25th International Australasian Joint Conference, Sydney, Australia, December 4-7, 2012, Proceedings /

Izdano 2012

Kazalo: “... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...”
Polni tekst

Elektronski eKnjiga

9

Advances in Cryptology – EUROCRYPT 2006 25th International Conference on the Theory...

Izdano 2006

Kazalo: “... Crypt -- Cryptography Meets Humans -- Hiding Secret Points Amidst Chaff -- Parallel and Concurrent...”
Polni tekst

Elektronski eKnjiga

10

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Izdano 2007

Kazalo: “... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”
Polni tekst

Elektronski eKnjiga

11

Advances in Intelligent Data Analysis XI 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012, Proceedings /

Izdano 2012

Kazalo: “...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...”
Polni tekst

Elektronski eKnjiga

12

Global Sourcing of Information Technology and Business Processes 4th International Workshop, Global Sourcing 2010, Zermatt, Switzerland, March 22-25, 2010, Revised Selected Papers /

Izdano 2010

Kazalo: “...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...”
Polni tekst

Elektronski eKnjiga

13

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Izdano 2008

Kazalo: “... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”
Polni tekst

Elektronski eKnjiga

14

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

Izdano 2005

Kazalo: “... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”
Polni tekst

Elektronski eKnjiga

15

Intercultural Collaboration First International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers /

Izdano 2007

Kazalo: “... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”
Polni tekst

Elektronski eKnjiga

16

Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers /

Izdano 2007

Kazalo: “... of SBML Functionalities -- Active Membrane Systems Without Charges and Using Only Symmetric Elementary...”
Polni tekst

Elektronski eKnjiga

17

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings /

Izdano 2008

Kazalo: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Polni tekst

Elektronski eKnjiga

18

The Definitive Guide to Jython Python for the Java Platform /

od Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Izdano 2010

Kazalo: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
Polni tekst

Elektronski eKnjiga

19

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Izdano 2015

Kazalo: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Polni tekst

Elektronski eKnjiga

20

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Izdano 2010

Kazalo: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje