Programming languages and formal methods, type and effect systems, program verification for operating system kernels, and computational linguistics Sean Grimes: Swarm intelligence, biologically ...

While polling has become the dominant approach in high performance systems today, both existing methods exact costly overhead ...