 |
Temporary Home Page of the CSP Lab |
 |
CSP Laboratory |
| |
The Computing, System architecture, and Programming Laboratory (CSP-Lab), integrates three core computer science research questions: How to build complex computer systems, how to program them and how to process information on them.
The Parallel Systems Architecture program involves the design and evaluation of parallel hardware and software architectures as integrated systems with emphasis on experiments. The project includes applications of distributed architectures. |
|
|
|
| |
Refer to
Website Parallel Systems Architecture Group
|
|
|
|
| |
The Programming Methods and Environments program focuses on the one hand on generating programming environments given a formal language definition, in particular the construction of generic user-interfaces and the development of generic methods for the textual and graphical representation of structured objects. On the other hand the program focuses on development of a process theory and tools that can be used to specify and verify concurrent communicating systems; research on modularization of specifications, theory of module algebra; algebraic specification of data types. |
|
|
|
| |
Refer to
Website Programming Methods and Environments Group
|
|
|
|
| |
The Section Computational Science focuses on how global macroscopic processes emerge from local microscopic rules and interactions and is inspired by the paradigm of complex systems. Through modeling and simulation we seek to discover the way information is being processed in such systems. High dimensional cellular automata are studied as a representation of the computation. The applicability of this approach is validated through the development of high performance problem solving environments for asynchronous natural processes. |
|
|
|
| |
Refer to
Website Section Computational Science
|
|
|
|
| |
The Computer Systems Architecture research group is tackling significant problems spaning compilers, computer architecture and implementations as systems on a chip. The scope includes embedded systems, where we are involved in early design space exploration, as well as general purpose computing platforms that we call Microgrids. The factors linking these are the concurrency and various levels of simulation, which we use to evaluate performance as well as power and implementation efficiency. |
|
|
|
| |
Refer to
Website Computer Systems Architecture
|
|
|
| |
|
|
| |
|
