Resultados de búsqueda - parallel function 25 function function https

1

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

Publicado 2013

Tabla de Contenidos: “...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”
Enlace del recurso

Electrónico eBook

2

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

Publicado 2010

Tabla de Contenidos: “... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...”
Enlace del recurso

Electrónico eBook

3

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

Publicado 2010

Tabla de Contenidos: “...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”
Enlace del recurso

Electrónico eBook

4

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

Publicado 2008

Tabla de Contenidos: “... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”
Enlace del recurso

Electrónico eBook

5

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

Publicado 2012

Tabla de Contenidos: “... Algorithm for Efficient Solution of 2D and 3D Shape Matching Problems -- Local Search in Parallel Linear...”
Enlace del recurso

Electrónico eBook

6

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

Publicado 2006

Tabla de Contenidos: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Enlace del recurso

Electrónico eBook

7

Multiple Classifier Systems 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007, Proceedings /

Publicado 2007

Tabla de Contenidos: “... of Experts for View-Independent Face Recognition -- Fusion of Support Vector Classifiers for Parallel Gabor...”
Enlace del recurso

Electrónico eBook

8

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

Publicado 2005

Tabla de Contenidos: “... PTAS for Scheduling on Agreeable Unrelated Parallel Batch Processing Machines with Dynamic Job Arrivals...”
Enlace del recurso

Electrónico eBook

9

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

Publicado 2006

Tabla de Contenidos: “... Crypt -- Cryptography Meets Humans -- Hiding Secret Points Amidst Chaff -- Parallel and Concurrent...”
Enlace del recurso

Electrónico eBook

10

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

Publicado 2007

Tabla de Contenidos: “... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”
Enlace del recurso

Electrónico eBook

11

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

Publicado 2012

Tabla de Contenidos: “...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...”
Enlace del recurso

Electrónico eBook

12

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

Publicado 2010

Tabla de Contenidos: “...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...”
Enlace del recurso

Electrónico eBook

13

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

Publicado 2008

Tabla de Contenidos: “... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”
Enlace del recurso

Electrónico eBook

14

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

Publicado 2005

Tabla de Contenidos: “... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”
Enlace del recurso

Electrónico eBook

15

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

Publicado 2007

Tabla de Contenidos: “... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”
Enlace del recurso

Electrónico eBook

16

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

Publicado 2007

Tabla de Contenidos: “... of SBML Functionalities -- Active Membrane Systems Without Charges and Using Only Symmetric Elementary...”
Enlace del recurso

Electrónico eBook

17

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

Publicado 2012

Tabla de Contenidos: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Enlace del recurso

Electrónico eBook

18

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

Publicado 2013

Tabla de Contenidos: “... Classifiers to Data Stream Classification -- Efficacy of Some Primary Discriminant Functions in Diagnosing...”
Enlace del recurso

Electrónico eBook

19

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 /

Publicado 2008

Tabla de Contenidos: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Enlace del recurso

Electrónico eBook

20

BioMEMS

Publicado 2006

Tabla de Contenidos: “... of Peripheral Nerve Damage. 2.3.Excitability of Nerves. 2.4.Electrical Modeling of the Nerve Membrane. 2.5...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados