2011
19 references published this year.
Why software is eating the world
Marc Andreessen (2011) · Wall Street Journal
Cyber-physical systems
Radhakisan Baheti et al. (2011) · The impact of control technology
The role of optics in future high radix switch design
Nathan Binkert et al. (2011) · Proceedings of the 38th Annual International Symposium on Computer Architecture (ISCA '11)
Mostly-automated verification of low-level programs in computational separation logic
Adam Chlipala (2011) · 32nd ACM Conference on Programming Language Design and Implementation (PLDI)
Compositional Type Checking
Gergö Érdi (2011)
Common criteria for the assessment of critical infrastructures
Alexander Fekete (2011) · International Journal of Disaster Risk Science
Geometry of Synthesis IV: Compiling Affine Recursion into Static Hardware
Dan R. Ghica et al. (2011) · Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP '11)
Separating routing policy from mechanism in the network layer
James Griffioen et al. (2011) · Next-Generation Internet
Analyzing the effects of formal methods on the development of industrial control software
Jan Friso Groote et al. (2011) · 2011 27th IEEE International Conference on Software Maintenance (ICSM)
Hacking away at the Internet's Security
Geoff Huston (2011) · The ISP Column
The economics of software quality
Capers Jones et al. (2011)
VLSI Physical Design: From Graph Partitioning to Timing Closure
Andrew B. Kahng et al. (2011)
Verification of programs in virtual memory using separation logic
Rafal Michal Kolanski (2011)
Algorithmic Puzzles
Anany Levitin et al. (2011)
Peano and the Foundations of Arithmetic
Gabriele Lolli (2011) · Giuseppe Peano between Mathematics and Logic
Classical mathematics for a constructive world
Russell O'Connor (2011) · Mathematical Structures in Computer Science
Cyberspace: The ultimate complex adaptive system
Paul W. Phister Jr (2011) · The International C2 Journal
Dynamic frames in Java dynamic logic
Peter H. Schmitt et al. (2011) · International Conference on Formal Verification of Object-Oriented Software (FoVeOOS)