pool

In this group: 252 papers · 1 member

Mendeley

Computer and Information Science

Groups

About this group

Computer and Information Science

All the papers in my library. Used to reflect this list on my blog.

Group activity

New updates

Alexander Bernauer added a document to this group

Cooja/mspsim: interoperability testing for wireless sensor networks

29th November, 2011

Alexander Bernauer added documents to this group

FlexSC: Flexible system call scheduling with exception-less system calls

The multikernel: a new OS architecture for scalable multicore systems

Embracing diversity in the Barrelfish manycore operating system

14th November, 2011

Alexander Bernauer added a document to this group

AC: Composable Asynchronous IO for Native Languages

10th November, 2011

Alexander Bernauer added documents to this group

Uniform Boilerplate and List Processing

Ott: Effective tool support for the working semanticist

3rd November, 2011

Alexander Bernauer added documents to this group

Combining events and threads for scalable network services

A poor man's concurrency monad

On the duality of operating system structures

13th September, 2011

Alexander Bernauer added documents to this group

Events can make sense

FlexSC: Flexible system call scheduling with exception-less system calls

Making events less slippery with eel

Capriccio : Scalable Threads for Internet Services

AC: Composable Asynchronous IO for Native Languages

6th September, 2011

Alexander Bernauer added documents to this group

A study of transactional memory vs. locks in practice

Is transactional programming actually easier?

5th September, 2011

Alexander Bernauer added a document to this group

Dremel: interactive analysis of web-scale datasets

13th June, 2011

Alexander Bernauer added documents to this group

Bitcoin : A Peer-to-Peer Electronic Cash System

Template meta-programming for Haskell

28th April, 2011

Alexander Bernauer added a document to this group

Analysis of a clock synchronization protocol for wireless sensor networks

8th April, 2011

Alexander Bernauer added a document to this group

Verifying Haskell programs by combining testing and proving

21st March, 2011

Alexander Bernauer added a document to this group

Fair model checking with process counter abstraction

8th March, 2011

Alexander Bernauer added documents to this group

Using the Bogor Extensible Model Checking Framework

Passive diagnosis for wireless sensor networks

7th March, 2011

Alexander Bernauer added documents to this group

Scrap more boilerplate: reflection, zips, and generalised casts

Scrap your boilerplate: a practical design pattern for generic programming

Scrap your boilerplate with class: extensible generic functions

TinyOS programming

Bogor: an extensible and highly-modular software model checking framework

And 4 more

9th February, 2011

Alexander Bernauer added documents to this group

Scrap more boilerplate: reflection, zips, and generalised casts

Scrap your boilerplate with class: extensible generic functions

Scrap your boilerplate: a practical design pattern for generic programming

8th February, 2011

Alexander Bernauer added documents to this group

TOSSIM: Accurate and scalable simulation of entire TinyOS applications

Monitoring heritage buildings with wireless sensor networks: The Torre Aquila deployment

Memento: A Health Monitoring System for Wireless Sensor Networks

Deriving trace checkers for distributed systems

Deriving state machines from TinyOS programs using symbolic execution

And 28 more

27th January, 2011

Alexander Bernauer added documents to this group

Some aspects of parsing expression grammar

Distributed genetic evolution in WSN

Wait-free synchronization

J-orchestra: Automatic java application partitioning

Programming wireless sensor networks: Fundamental concepts and state of the art

And 177 more

26th January, 2011

Created by Alexander Bernauer

26th January, 2011

Owned by Alexander Bernauer

Ph.D. Student

Computer and Information Science

1 member

Follow this group

Join this group

Ask to join this group

Decline invitation

pool

About this group

Group activity

Related groups

Sign up today - FREE

Start using Mendeley in seconds!