 |
| ||||||
ETH Zurich
Department of Computer Science
Institute for Pervasive Computing
Research Group for Distributed Systems
bookmarks- Bogor - Software Model Checking Framework
- CIL - C Intermediate Language
- AtomWeaver - Easy Model-Driven Software Development
- OOMEGA
- Address of Label and Indirect Branches in LLVM IR
- 15 lessons learned during the development of a Model Driven Software Factory
- Katahdin
- Model driven tools : the big list!
- Event-B and the Rodin Platform
- Domain-Specific Language Testing Studio
- bibliography
- Cooja/mspsim: interoperability testing for wireless sensor networks
- The multikernel: a new OS architecture for scalable multicore systems
- Embracing diversity in the Barrelfish manycore operating system
- FlexSC: Flexible system call scheduling with exception-less system calls
- AC: Composable Asynchronous IO for Native Languages
- Uniform Boilerplate and List Processing
- Ott: Effective tool support for the working semanticist
- Combining events and threads for scalable network services
- A poor man's concurrency monad
- On the duality of operating system structures