| Esterel |
| The Esterel Language |
| http://www-sop.inria.fr/meije/esterel/esterel-eng.html |
| One of a family of synchronous languages which are particularly well-suited to programming reactive systems, including real-time systems and control automata. |
| Synchronous programming with the Esterel language |
| reactive systems, synchronous programming, verification |
| esterel, postscript, reactive, esterel, compiler, system, language, generate, presents, hardware, ea cute, sophia, programs, language, systems, methods, formal, programming, design, getting, version, e xamples, lustre, theses, subscription, several, programming, generator, please, circuits, reference, computer, document, should, semantics, science, provide, papers, compressed, synchronous, related, embedded, software, synchronous, larger, languages, synccharts, program, marmorat, functional, final ly |
inria.fr - rank der domain 27580 (855 in FR)
|
|
| zum Seitenanfang ↑ |
| A Distributed Implementation of the C-Linda Programming Language |
| A Distributed Implementation of the C-Linda Programming Language |
| http://www.cs.oberlin.edu/~jbasney/honors/thesis.html |
| Language combining C and Linda, gives six functions for concurrent process coordination, can be adde d to any other sequential language. Thesis with essay, bibliography, code samples. |
| |
| |
| function, message, tuplespace, number, worker, process, return, active, printf, distributed, tuples, passive, implementation, server, functions, include, gelernter, example, actual, argnum, counter, f ormal, library, compiler, isprime, module, processes, handler, philosopher, language, template, resu lt, contains, university, carriero, nicholas, numworkers, returns, preprocessor, arguments, packet, computer, technical, philosophers, systems, system, workers, communications, program, parallel, poin ter |
oberlin.edu - rank der domain 118340 (44427 in US)
|
|
| zum Seitenanfang ↑ |
| Linda |
| linda | Download linda software for free at SourceForge.net |
| http://sourceforge.net/projects/linda/ |
| Simple library implementation of the Linda parallel programming system. SourceForge project page: do wnloads, forum and CVS. |
| Get linda at SourceForge.net. Fast, secure and free downloads from the largest Open Source applicati ons and software directory |
| Software Development, Symmetric Multi-processing, Open Source, Open Source Software, Development, C ommunity, Source Code, Secure, Downloads, Free Software |
| adspot, masata, committed, document, sourceforge, wrapper, posted, topics, script, module, wrapperco de, unescape, prefix, review, software, 3cscript, patchset, repository, changing, logged, search, pl ease, javascript, doubleclick, adcode, turned, immersion, project, cookie, system, project, parallel , google, sourceforge, review, projects, develop, debuggers, development, thanks, recommend, medrec, python, create, support, function, geeknet, overall, search, thread, aharwood |
sourceforge.net - rank der domain 155 (73 in US)
|
|
| zum Seitenanfang ↑ |
| Computers/Programming/Languages/Concurrent |
|
|
| Computers/Programming/Languages/Concurrent |
| zum Seitenanfang ↑ |
| LoI (Language of Interaction) |
| Reference Manual of LoI |
| http://home.arcor.de/gil.mueller/loiref/LoI0.htm |
| Designed to support interaction-oriented programming. This paradigm is especially suitable for the d esign of reactive component-based systems like distributed and interactive systems. |
| |
| coordination language software architecture process-oriented |
| manual, reference |
arcor.de - rank der domain 2926 (125 in DE)
|
|
| zum Seitenanfang ↑ |
| NesC |
| nesC: A Programming Language for Deeply Networked Systems |
| http://nescc.sourceforge.net/ |
| A language for Deeply Networked Systems, implemented as a C extension based on structuring concepts and execution model of TinyOS, an event-driven OS for sensor network nodes with very limited resourc es: 8K bytes program memory, 512 bytes RAM. |
| |
| |
| interfaces, components, component, berkeley, language, support, designed, networked, systems, tinyos , hardware, application, programs, interface, events, programming, represent, commands, components, functionality, analysis, better, implementation, wiring, release, implemented, provided, interfaces, program, provides, through, allows, culler, concepts, deeply, behren, brewer, blinks, simple, struc ture, december, blinkm, versions, actual, sourcecode, second, efficiency, runtime, encourages, rubus t, design |
sourceforge.net - rank der domain 155 (73 in US)
|
|
| zum Seitenanfang ↑ |
| MC# |
| MC# (Multiprocessor C#) Home Page |
| http://u.pereslavl.ru/~vadim/MCSharp/ |
| MC# (Multiprocessor C#) is a high-level object-oriented language based on .NET platform made for dev eloping complex industrial program systems that can use multiprocessors. |
| This is homepage of MC# programming language - a language for concurrent distributed programming. |
| Multiprocessor C#, masters of ceremony C#, distributed, concurrent, MC#, mcsharp, cluster, metaclust er, GRID, supercomputers, supercomputing, programming, language, asynchronous, movable, async |
| project, contacts, system, related, parallel, polyphonic, programming, publications, language, multi processor, documentation, examples, downloads |
pereslavl.ru - rank der domain 419144 (15466 in RU)
|
|
| zum Seitenanfang ↑ |
| Joule |
| Joule: The Great Synthesis |
| http://www.erights.org/history/joule/ |
| The Joule system is a foundation for building distributed applications. Joule Quick Reference 1.0 an d The Joule Manual, divided into chapters as PDF files. |
| E: Cryptographic Capabilities for Distributed Smart Contracting |
| p2p, p2p language, p2p computing, p2p objects, secure p2p, p2p capabilities, object oriented p2p,
capability-based p2p, Capability Security, Capabilities, Cryptography, Distributed Objects, Distribu ted
Language, Distributed Capabilities, Lambda Calculus, Scripting Language, Distributed Language, Persistent
Language, Persistent Capabilities, Persistent Objects, Java Shell, Capability Shell, S cripting Java, Smart
Contracting, Agoric E-Commerce, Open Source, Message pipelining, quasi litera l, vat, event loop, granovetter diagram |
| appendix, foundations, language, checks, syntax, example, program, modules, hypertext, synthesis, hi story, manual, reference, available, static, secrets, energetic, before, rejects, specific, bibliogr aphy, loading, statically, progress, programs, project, describes, proving, properties, instruction, bouncer, related, download, contracts, domain, including, invalid, report, archive, donate, public, placed, stated, otherwise, either, unattributed, miller, hereby, unless, systems, distributed |
| (SLD : erights.org) |
|
| zum Seitenanfang ↑ |
| Comega: Cω |
| Comega - Microsoft Research |
| http://research.microsoft.com/comega/ |
| C# extension, in two areas: Control flow extension for asynchronous wide area concurrency (was Polyp honic C#); Data type extension for XML and table manipulation (was Xen and X#). |
| |
| |
| border, contentarea, important, margin, stripe, weight, padding, bottom, height, background, composi temodule, function, 4d8c8c, normal, repeat, position, imageblock, 323223, versal, document, decorati on, absolute, verdana, center, footer, people, stripetableheaderrow, return, verdana, versalbtm, lna vhorizontaltabs, chsearch, lnavverticaltabs, lnavhorizontal, lnavvertical, stripetablefooterrow, ove rflow, stripetablelastcol, stripetablefirstcol, relative, research, microsoft, family, georgia, tran sparent, crumbbar, formatdate, display, visited, pointer, hidden |
microsoft.com - rank der domain 32 (17 in US)
|
|
| zum Seitenanfang ↑ |
| Computers/Programming/Languages/Concurrent |
|
|
| Computers/Programming/Languages/Concurrent |
| zum Seitenanfang ↑ |
| ChucK |
| ChucK => Strongly-timed, On-the-fly Audio Programming Language |
| http://chuck.cs.princeton.edu/ |
| Concurrent, time-based, on-the-fly, audio programming language, supports precise, fundamental level of expressiveness, multiple, simultaneous, dynamic control rates, ability to add, remove, modify cod e as programs run. |
| A strongly-timed, concurrent, and on-the-fly audio programming language |
| ChucK, strongly-timed, concurrent, on-the-fly programming, live coding, programming language, sound synthesis, real-time |
| programming, presented, winner, analysis, presentation, synthesis, control, community, programming, strongly, language, language, original, copenhagen, anlyzers, stanford, peruse, princeton, mirrors, anthem, singapore, thesis, audicle, forums, source, software, competition, soundlab, 3927297, urchin tracker, multimedia, writing, runtime, powers, follow, miniaudicle, multimedia, slides, composers, p resents, windows, supported, concurrent, expressive, precise, highly, present, authors, concurrent, version, developing |
princeton.edu - rank der domain 6644 (2510 in US)
|
|
| zum Seitenanfang ↑ |
| Petri Nets World |
| Petri Nets World: Online Services for the International Petri Nets Community |
| http://www.informatik.uni-hamburg.de/TGI/PetriNets/ |
| Petri Nets is a formal and graphical appealing language which is appropriate for modelling systems w ith concurrency. |
| The primary online services for the international Petri Nets community. The services are supervised by the Petri Nets steering committee. |
| Petri Nets, petrinets, stochastic, timed, concurrency, formal methods, discrete event, visual langua ge, tools, FAQ, announcements, bibliography, standard, research, people, newsletter, Carl Adam Petri , latest news, PetriNets mailing list, international community, Petrinetze, redes de Petri, Petriho sítì, Petri-verkot, Réseaux de Petri, Reti di Petri, Sieci Petriego, |
| deadline, international, submission, papers, workshop, information, helvetica, software, conference, verification, systems, papers, september, participation, august, research, search, abstracts, appli cation, contains, steering, committee, proposals, university, academia, information, contains, schoo l, summer, people, computing, industry, recent, methods, services, petrinets, theory, databases, app lications, extended, workshop, formal, annual, updated, recently, hamburg, center, engineering, simi lar, embedded, english |
uni-hamburg.de - rank der domain 17600 (873 in DE)
|
|
| zum Seitenanfang ↑ |
| FT Languages Page |
| FT Languages Home Page |
| http://www.cs.arizona.edu/projects/ftol/languages/ |
| Fault-tolerant projects, goal: enhance language support for distributed programs with FT needs, most high-level languages lack good support for such, more so at system level; 3 projects described, FT- SR, FT-Linda, FTAG. |
| |
| |
| programming, language, tolerant, languages, spaces, atomic, distributed, support, systems, failure, notification, publications, including, tolerance, implementation, programs, replicated, currently, a ction, student, objects, features, imperative, second, system, stable, multiple, functional, failure s, richard, schlichting, include, advantages, performing, operations, research, especially, concurre nt, projects, science, arizona, designed, models, machines, concerned, development, several, compare d, offers, called, attribute |
arizona.edu - rank der domain 5966 (2162 in US)
|
|
| zum Seitenanfang ↑ |
| Cilk Project |
| |
| http://supertech.csail.mit.edu/cilk/ |
| Concurrent language for parallel programming based on ANSI C. Source code, manual, papers and resear ch into parallel chess programs. |
| |
| |
| lecture, programming, leiserson, parallel, multithreaded, algorithms, charles, lectures, matteo, sup port, textbook, effective, designed, challenge, developed, language, programs, probably, manual, pow erpc, experiences, general, release, public, manual, kuszmaul, bradley, released, pdfcilk, documenta tion, download, cygwin, windows, gzuser, surveyplease, interest, moments, license, feedbackif, quest ions, comments, f30602, 9975036, previous, provided, suggestions, regarding, updated, please, mainta ined, supported |
mit.edu - rank der domain 1203 (512 in US)
|
|
| zum Seitenanfang ↑ |
| Libtask |
| Libtask: a Coroutine Library for C and Unix |
| http://swtch.com/libtask/ |
| A coroutine library for C and Unix. |
| |
| libtask, coroutine library, C, Unix, event-driven programs, event-driven servers |
| current, program, rwlock, address, blocking, libtask, unsigned, server, rendez, netannounce, should, number, instead, returns, status, waiting, simple, library, channels, netaccept, tcpproxy, example, memory, taskdelay, programs, thread, milliseconds, writer, system, entire, return, running, calling , actual, single, ucontext, primes, netdial, solaris, communication, pointer, amount, testdelay, dur ing, makesun, taskwakeup, connection, library, fdwrite, routines, buffer |
swtch.com - rank der domain 124734 (49457 in US)
|
|
| zum Seitenanfang ↑ |
| Communicating Sequential Processes |
| Communicating Sequential Processes (CSP), by C. A. R. Hoare
(Electronic Version) |
| http://www.usingcsp.com/ |
| CSP is a language for describing patterns of interaction. A book by Tony Hoare introducing the langu age and the mathematical theory behind it is available in PDF format. |
| |
| |
| version, sequential, communicating, processes, oxford, printed, electronic, editor, copyright, theor y, language, mathematical, centre, periodically, updating, professional, changes, announced, mailing , education, additions, acrobat, reader, viewed, questions, comments, software, should, welcome, eng ineering, advanced, senior, researcher, courses, microsoft, research, offers, engineering, director, davies, computation, professor, programme, comlab, announce, software, applications, author, messag e, pakistan, international |
| (SLD : usingcsp.com) |
|
| zum Seitenanfang ↑ |
| MC# 2.0 |
| MC# |
| http://www.mcsharp.net |
| C# extension with async- and movable methods, channels and handlers for concurrent programming on th e all types of parallel architectures: multi-core processors, clusters and Grid. Manual, papers, exa mples, distribution downloads for Windows and Linux. |
| name=keywords>
|
| |
| download, publications, contacts, examples, started, getting, documentation |
| (SLD : mcsharp.net) |
|
| zum Seitenanfang ↑ |
| Corn |
| Corn programming language |
| http://cornlanguage.com/ |
| The homepage of a language designed for modeling concurrency and advanced computation; contains a tu torial, the language specification and the source and binaries for the latest version. |
| |
| corn programming language,corn,programming language,lazy,parallel,lazy programming,parallel programm ing,sync,synchronization,object oriented,functional programming,functional,concurrent programming,co ncurrent,monitor,selector,condition |
| language, computation, download, features, language, standard, definition, tutorial, versions, libra ries, previous, version, current, copyrights, credits, notice, question, answer, advanced, concurren cy, provides, modeling, designed, programming, programming, evaluation, between, semantic, functiona l, oriented, worked, concurrently, threads, object, parallel |
| (SLD : cornlanguage.com) |
|
| zum Seitenanfang ↑ |
| The Go Programming Language |
| The Go Programming Language |
| http://golang.org |
| Documentation, source, and other resources for Google's Go language. |
| |
| |
| getelementbyid, document, codesearch, googlecode, package, codesearchquery, submission, function, pr ogramming, return, language, construct, submit, capture, parameter, codesearchsubmit, events, trigge r, codesearchkeydown, search |
golang.org - rank der domain 63359 (6336 in CN)
|
|
| zum Seitenanfang ↑ |
| Go Programming Language Resources |
| Go Programming Language Resources |
| http://go-lang.cat-v.org |
| Documentation, syntax highlighting files for various editors and IDEs, links to Go libraries and bin dings to C libraries, etc. |
| |
| |
| rsaquo, golang, resources, language, pagetracker, google, programming, discussion, document, progres s, programming, gajshost, packages, 1220719, addthis, current, trackpageview, pagetracker2, engine, gettracker, bindings, library, changes, recommended, mercurial, instead, easier, contribute, brasil, spanish, discuss, spanish, japanese, review, mostly, commit, messages, brasileiro, mirror, mercuria l, github, network, freenode, linguagem, process, unescape, 3cscript, powered, godashboard, location , protocol |
cat-v.org - rank der domain 403158 (161568 in US)
|
|
| zum Seitenanfang ↑ |
| Bell Labs and CSP Threads |
| Resources about threaded programming in the Bell Labs CSP style |
| http://swtch.com/~rsc/thread/ |
| Resources about threaded programming in the Bell Labs CSP style, by Russ Cox: history, principles an d style of concurrent programming practiced at Bell Labs. |
| |
| |
| programming, communication, language, processes, newsqueak, channels, squeak, system, mcilroy, proce ss, programs, threads, provides, communicating, concurrent, matrix, synchronization, language, manua l, pipeline, pipelines, mentioned, processes, general, inferno, memory, single, sequential, demonstr ated, primes, neighbor, eliminates, multiples, operating, example, window, unbuffered, sending, char acter, another, introduction, second, program, examples, concurrent, programmer, volume, particular, thread, murray, functions |
swtch.com - rank der domain 124734 (49457 in US)
|
|
| zum Seitenanfang ↑ |
| The Alef Concurrent Programming Language |
| The Alef Concurrent Programming Language |
| http://doc.cat-v.org/plan_9/2nd_edition/papers/alef/ |
| Papers describing Plan 9's Alef programming language by Phil Winterbottom. |
| |
| |
| rsaquo, language, programming, edition, pagetracker, winterbottom, programming, gajshost, document, concurrent, language, 1220719, trackpageview, communicating, pagetracker2, gettracker, addthis, flan drena, squeak, processes, dorward, manual, editions, second, designed, reference, analytics, google, unescape, 3cscript, javascript, setdomainname, script, descendant, developed, google, another, card elli, thompson, protocol, location, sequential, robert, griesemer, powered, economics, spencer, infe rno, documentation, archive, sections |
cat-v.org - rank der domain 403158 (161568 in US)
|
|
| zum Seitenanfang ↑ |
|
