McErlang edit / delete

Model-checker for Erlang, using a modified runtime library (much like Neil's CHP-to-CSP trick).

to concurrency erlang model-checking ... on 01 June 2009

distributed systems primer :: snax edit / delete

Some basic papers on distributed programming. (Most are rather slight, though.)

to concurrency distributed message-passing research teaching ... on 05 May 2009

Main Page - CERCS Multi-Core Repository edit / delete

Teaching materials (although you can't get at the slides...) from Georgia Tech's Intel-related multicore course.

to concurrency cs multicore multicore-msc teaching ... on 04 May 2009

Xlinkers Conference 2009 - Online | Xlinkers edit / delete

Xlinkers slides. Includes presentations from Varisys on a PCI Express card for audio with XMOS chips on, and one from Barry about an independent implementation of the Xlink protocol (in which he talks about wanting "more concurrency").

to audio concurrency embedded research xmos ... on 29 April 2009

Leo Meyerovich, CS Graduate Student -- Peon Extraodinaire edit / delete

He's investigating parallelism in web browsers.

to concurrency research web ... on 25 March 2009

Denis A Nicole edit / delete

Denis's home page -- which I ran across while looking for the serial protocol my new meter speaks.

to concurrency electronics research ... on 08 December 2008

Technical Notes edit / delete

Transputer tech notes. Some very interesting stuff here: applications (notably the multiplayer flight simulator), introductions to the programming model, optimisation tips...

to concurrency research retrocomputing transputer ... on 06 December 2008

McIlroy on Coroutines edit / delete

A good description of coroutines, with a suggested syntax for Pascal-like languages. There are some parallels here with PHW's suggestions for mobile process syntax.

to concurrency coroutines language-design research ... on 04 December 2008

The LuaJIT Project edit / delete

As the name suggests, a JIT for Lua. There's also a coroutines library for Lua here. It would be interesting to knock together a CSP library for Lua using coroutines.

to concurrency language-design lua research runtime ... on 03 November 2008

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to concurrency

- concurrency
 
1 + active-objects
7 + ag0803
1 + algol
2 + algorithm
1 + amusements
1 + android
1 + apache
1 + architecture
1 + arm
1 + assembler
1 + atomic
3 + atomics
1 + audio
1 + benchmarking
1 + beta
1 + boost
1 + broadcast
1 + buffering
1 + bug
1 + bugs
5 + c
9 + c++
1 + channel
2 + channels
1 + client-server
1 + clojure
1 + cmp202
4 + compiler
2 + conference
6 + continuations
1 + cop
1 + coroutine
5 + coroutines
1 + correctness
3 + cpu
2 + cs
9 + csp
1 + data-structures
2 + debugging
6 + design
1 + distributed
1 + ease
3 + electronics
4 + embedded
7 + erlang
1 + errors
4 + etext
1 + exceptions
1 + fgmpi
1 + formal-methods
1 + forth
2 + fpga
2 + functional
1 + future
2 + futures
2 + games
1 + gcc
1 + gcd
9 + go
1 + gpgpu
1 + gprof
1 + greenlets
1 + guitar
1 + handel-c
5 + haskell
1 + helios
1 + herd
2 + intel
1 + ipc
3 + java
4 + javascript
1 + journal
9 + language
17 + language-design
1 + lightweight-concurrency
2 + lightweight-processes
1 + lightweight-threads
2 + linux
1 + lisp
4 + lockfree
2 + lua
1 + lwp
2 + maths
1 + matlab
1 + memory
1 + memory-model
3 + memory-models
2 + message-passing
1 + microcontroller
1 + microprocessor
1 + mobile
1 + mobility
3 + model-checking
1 + monad
1 + monads
1 + mozilla
2 + mpi
4 + multicore
1 + multicore-msc
1 + multiway
1 + mutex
4 + network
3 + networking
1 + newsqueak
1 + nim
1 + nonblocking
1 + oberon
1 + ocaml
10 + occam
3 + oo
1 + openmp
2 + os
1 + papers
18 + parallel
5 + parallelism
4 + patterns
2 + performance
2 + perl
1 + petri-nets
1 + phone
1 + posix
1 + power
1 + process-editor
4 + process-oriented
1 + profiling
22 + programming
1 + propeller
1 + protocol
1 + prototypes
1 + pthreads
8 + publications
16 + python
1 + queue
1 + rcu
1 + reactive
1 + reagents
1 + reliability
78 + research
5 + retrocomputing
1 + ruby
2 + runtime
1 + runtimes
1 + safety
2 + scala
1 + scalability
1 + scheduler
1 + scheduling
1 + scripting
1 + server
1 + shell
1 + simulation
29 + software
2 + software-engineering
1 + sparc
1 + spin
1 + splash
2 + static-analysis
1 + stm
2 + synchronisation
2 + tbb
21 + teaching
1 + theory
2 + thesis
1 + threading
5 + threads
1 + to-package
2 + transactional
1 + transactional-memory
2 + transputer
1 + transterpreter
2 + tutorial
1 + types
1 + unix
1 + valgrind
1 + video
1 + visualisation
1 + vm
1 + wasp
9 + web
1 + x86
2 + xmos