Implementing Efficient Systems