Zoekresultaten - parallel programs https conditional computational https

1

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

Gepubliceerd in 2007

Inhoudsopgave: “... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”
Volledige tekst

Elektronisch E-boek

2

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

Gepubliceerd in 2005

Inhoudsopgave: “... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”
Volledige tekst

Elektronisch E-boek

3

Network and Parallel Computing IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... Techniques -- A Hierarchical Programming Model for Large Parallel Interactive Applications -- Design of a...”
Volledige tekst

Elektronisch E-boek

4

Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013, Proceedings /

Gepubliceerd in 2013

Inhoudsopgave: “...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”
Volledige tekst

Elektronisch E-boek

5

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I /

Gepubliceerd in 2010

Inhoudsopgave: “... Tool to Find Errors in Task-Based Parallel Programs -- Automated Tuning in Parallel Sorting on Multi...”
Volledige tekst

Elektronisch E-boek

6

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

Gepubliceerd in 2010

Inhoudsopgave: “...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”
Volledige tekst

Elektronisch E-boek

7

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... Computations for Finding Universal Denominators -- A Role of Symbolic Computations in Beam Physics -- Thomas...”
Volledige tekst

Elektronisch E-boek

8

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
Volledige tekst

Elektronisch E-boek

9

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”
Volledige tekst

Elektronisch E-boek

10

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings /

Gepubliceerd in 2013

Inhoudsopgave: “... for Unbounded Parallelism -- SVA and PSL Local Variables -- A Practical Approach -- Formal Verification...”
Volledige tekst

Elektronisch E-boek

11

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Gepubliceerd in 2015

Inhoudsopgave: “... Concretization for Parallel Program Synthesis -- Automatic Completion of Distributed Protocols with Symmetry...”
Volledige tekst

Elektronisch E-boek

12

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Gepubliceerd in 2013

Inhoudsopgave: “... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”
Volledige tekst

Elektronisch E-boek

13

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... -- Compactness Properties for Stable Semantics of Logic Programs -- Uniform Circuits, & Boolean Proof Nets...”
Volledige tekst

Elektronisch E-boek

14

Membrane Computing 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers /

Gepubliceerd in 2006

Inhoudsopgave: “... Parallelism in Bio-systems -- P Colonies with a Bounded Number of Cells and Programs -- P Finite Automata...”
Volledige tekst

Elektronisch E-boek

15

Computer Vision -- ACCV 2009 9th Asian Conference on Computer Vision, Xi'an, China, September 23-27, 2009, Revised Selected Papers, Part III /

Gepubliceerd in 2010

Inhoudsopgave: “... and Margined Sign Correlation -- A 7-Round Parallel Hardware-Saving Accelerator for Gaussian and DoG Pyramid...”
Volledige tekst

Elektronisch E-boek

16

Computational Kinematics Proceedings of the 6th International Workshop on Computational Kinematics (CK2013) /

Gepubliceerd in 2014

Inhoudsopgave: “...On the Minimum 2-Norm Positive Tension for Wire-Actuated Parallel Manipulators, by L. Notash...”
Volledige tekst

Elektronisch E-boek

17

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Gepubliceerd in 2006

Inhoudsopgave: “... Cycles for Security Protocols -- Automating Verification of Loops by Parallelization -- On Computing...”
Volledige tekst

Elektronisch E-boek

18

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part II /

Gepubliceerd in 2010

Inhoudsopgave: “... in Teaching Visual Computing -- Multi-institutional Collaboration in Delivery of Team-Project-Based Computer...”
Volledige tekst

Elektronisch E-boek

19

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Gepubliceerd in 2010

Inhoudsopgave: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Volledige tekst

Elektronisch E-boek

20

COMPSTAT 2008 Proceedings in Computational Statistics /

Gepubliceerd in 2008

Inhoudsopgave: “... Computing System -- Computable Statistical Research and Practice -- Implicit and Explicit Parallel Computing...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken