Canlyniadau Chwilio - parallel function program function hard https

1

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Cael y testun llawn

Electronig eLyfr

2

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Cael y testun llawn

Electronig eLyfr

3

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Cael y testun llawn

Electronig eLyfr

4

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Cael y testun llawn

Electronig eLyfr

5

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”
Cael y testun llawn

Electronig eLyfr

6

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Cael y testun llawn

Electronig eLyfr

7

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Cael y testun llawn

Electronig eLyfr

8

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Cael y testun llawn

Electronig eLyfr

9

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... for the Theory of Uninterpreted Functions -- No, Coreset, No Cry -- Hardness Hypotheses, Derandomization...”
Cael y testun llawn

Electronig eLyfr

10

Distributed Algorithms for Message-Passing Systems

gan Raynal, Michel., Raynal, Michel.
Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Cael y testun llawn

Electronig eLyfr

11

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
Cael y testun llawn

Electronig eLyfr

12

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... in Graphs of Bounded Treewidth -- On the Conditional Hardness of Coloring a 4-Colorable Graph with Super...”
Cael y testun llawn

Electronig eLyfr

13

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Programming -- Finding the Best CAFE Is NP-Hard -- The Size and Depth of Layered Boolean Circuits -- Lipschitz...”
Cael y testun llawn

Electronig eLyfr

14

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Cael y testun llawn

Electronig eLyfr

15

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Cael y testun llawn

Electronig eLyfr

16

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
Cael y testun llawn

Electronig eLyfr

17

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...”
Cael y testun llawn

Electronig eLyfr

18

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Study for a Hard-Coal Mine -- Optimization of a Class of Uncertain Systems Based on Uncertain Variables...”
Cael y testun llawn

Electronig eLyfr

19

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Cael y testun llawn

Electronig eLyfr

20

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad