Arama Sonuçları - program fast https function structures https

1

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”
Tam Metin Erişim

Elektronik Ekitap

2

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”
Tam Metin Erişim

Elektronik Ekitap

3

Fast Software Encryption 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... of the Stream Cipher DECIM -- Block Ciphers -- On Feistel Structures Using a Diffusion Switching Mechanism...”
Tam Metin Erişim

Elektronik Ekitap

4

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Tam Metin Erişim

Elektronik Ekitap

5

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”
Tam Metin Erişim

Elektronik Ekitap

6

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Tam Metin Erişim

Elektronik Ekitap

7

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Tam Metin Erişim

Elektronik Ekitap

8

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Baskı/Yayın Bilgisi 2015

İçindekiler: “...-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Algorithms -- Register Pressure in Software-Pipelined Loop Nests: Fast Computation and Impact on Architecture...”
Tam Metin Erişim

Elektronik Ekitap

10

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”
Tam Metin Erişim

Elektronik Ekitap

11

Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Schema Subtraction -- XML Modeling -- Fast Detection of Functional Dependencies in XML Data -- TP+Output...”
Tam Metin Erişim

Elektronik Ekitap

12

Algorithms in Bioinformatics 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Subcellular Localization -- Fast Target Set Reduction for Large-Scale Protein Function Prediction: A Multi...”
Tam Metin Erişim

Elektronik Ekitap

13

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Prediction -- A Fast and Accurate Heuristic for the Single Individual SNP Haplotyping Problem with Many Gaps...”
Tam Metin Erişim

Elektronik Ekitap

14

Algorithm Theory - SWAT 2010 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Semidefinite Programming and Approximation Algorithms: A Survey -- Strictly-Regular Number System and Data...”
Tam Metin Erişim

Elektronik Ekitap

15

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Tam Metin Erişim

Elektronik Ekitap

16

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Modelling in User Performed Authentication -- Access with Fast Batch Verifiable Anonymous Credentials...”
Tam Metin Erişim

Elektronik Ekitap

17

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Fairness-Free Periodic Scheduling with Vacations -- Online Bin Packing with Cardinality Constraints -- Fast...”
Tam Metin Erişim

Elektronik Ekitap

18

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Tam Metin Erişim

Elektronik Ekitap

19

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...”
Tam Metin Erişim

Elektronik Ekitap

20

Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Graph Transformation with Negative Application Conditions -- Adaptive Star Grammars -- Structure...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt