Canlyniadau Chwilio - parallel concurrent programs functionals function https

1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”
Cael y testun llawn

Electronig eLyfr

2

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Cyhoeddwyd 2006

Tabl Cynhwysion: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Cael y testun llawn

Electronig eLyfr

3

Pro .NET 4 Parallel Programming in C#

gan Freeman, Adam., Freeman, Adam.
Cyhoeddwyd 2010

Tabl Cynhwysion: “...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Cael y testun llawn

Electronig eLyfr

4

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Cael y testun llawn

Electronig eLyfr

5

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Cael y testun llawn

Electronig eLyfr

6

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Cael y testun llawn

Electronig eLyfr

7

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”
Cael y testun llawn

Electronig eLyfr

8

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Cael y testun llawn

Electronig eLyfr

9

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Cael y testun llawn

Electronig eLyfr

10

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Cael y testun llawn

Electronig eLyfr

11

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...”
Cael y testun llawn

Electronig eLyfr

12

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Cael y testun llawn

Electronig eLyfr

13

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Cael y testun llawn

Electronig eLyfr

14

Software Engineering 1 Abstraction and Modelling /

gan Bjørner, Dines., Bjørner, Dines.
Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Concurrent Specification Programming -- And So On! -- Etcetera!....”
Cael y testun llawn

Electronig eLyfr

15

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Cael y testun llawn

Electronig eLyfr

16

Software Engineering 2 Specification of Systems and Languages /

gan Bjørner, Dines., Bjørner, Dines.
Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Modularisation -- Automata and Machines -- Concurrency and Temporality -- Petri Nets -- Message and Live Sequence...”
Cael y testun llawn

Electronig eLyfr

17

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
Cael y testun llawn

Electronig eLyfr

18

The Definitive Guide to Jython Python for the Java Platform /

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

Tabl Cynhwysion: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
Cael y testun llawn

Electronig eLyfr

19

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Cael y testun llawn

Electronig eLyfr

20

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad