YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname. Price: USD 49.900,- Phone: +49(176)74919078
HOME
Search for:
host:www.cs.chalmers.se
Sort by
Date
Alphabetical
Category
Showing
1
-
10
of total
16
results
[ 1.934 seconds ]
Yurtseven.ORG
Algorithms
Animated
1 -
http://www.cs.chalmers.se/~lydian/
1 quotes
07-January-2012
Simulation and visualization environment for distributed algorithms that provides students with an experimental environment to test and visualize the behaviour of distributed algorithms.
[similar pages]
Yurtseven.ORG
Computer Science
People
A
2 -
Augustsson, Lennart
1 quotes
07-January-2012
Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell.
[similar pages]
Yurtseven.ORG
Computer Science
Theoretical
Complexity Theory
People
3 -
Per Bjesse
1 quotes
07-January-2012
SAT-based hardware verification (using Stalmarck's algorithm)
[similar pages]
Yurtseven.ORG
Parallel Computing
Programming
Documentation
4 -
http://www.cs.chalmers.se/~lydian/
1 quotes
07-January-2012
A simulation and visualization environment for distributed algorithms.
[similar pages]
Yurtseven.ORG
Programming
Languages
Erlang
Contributions
5 -
Erlang QuickCheck
1 quotes
07-January-2012
Erlang/QuickCheck is a library for random testing of Erlang programs against specifications.
[similar pages]
Yurtseven.ORG
Programming
Languages
Erlang
Contributions
Libraries
6 -
Erlang QuickCheck
1 quotes
07-January-2012
A library for random testing of Erlang programs against specifications.
[similar pages]
Yurtseven.ORG
Programming
Languages
Erlang
Research
7 -
Erlang QuickCheck
1 quotes
07-January-2012
Erlang/QuickCheck is a library for random testing of Erlang programs against specifications.
[similar pages]
Yurtseven.ORG
Programming
Languages
Functional
8 -
Why Functional Programming Matters
1 quotes
07-January-2012
John Hughes paper, dates from 1984, circulated as a Chalmers memo.
[similar pages]
Yurtseven.ORG
Programming
Languages
Functional
9 -
http://www.cs.chalmers.se/~augustss/cayenne/
1 quotes
07-January-2012
A Haskell-like language with a powerful type system based on dependent types.
[similar pages]
Yurtseven.ORG
Programming
Languages
Functional
10 -
Tutorial Papers in Functional Programming
1 quotes
07-January-2012
John Hughes' list of FP-related tutorials and courses.
[similar pages]
1
2
Next
»
Add URL
|
My Sites
|
My Account
|
Login
|
Contact Us