2011
30 references published this year.
Why software is eating the world
Marc Andreessen (2011) · Wall Street Journal
Cyber-physical systems
Radhakisan Baheti and others (2011) · The impact of control technology
The role of optics in future high radix switch design
Nathan Binkert and others (2011) · Proceedings of the 38th Annual International Symposium on Computer Architecture (ISCA '11) · Association for Computing Machinery
Ternary Computers: The Setun and the Setun 70
Nikolay Petrovich Brusentsov and others (2011) · Perspectives on Soviet and Russian Computing · Springer Berlin Heidelberg
Compositional Shape Analysis by Means of Bi-Abduction
Cristiano Calcagno and others (2011) · Journal of the ACM · Association for Computing Machinery
Mostly-automated verification of low-level programs in computational separation logic
Adam Chlipala (2011) · 32nd ACM Conference on Programming Language Design and Implementation (PLDI)
Algebraic separation logic
Han Hing Dang and others (2011) · The Journal of Logic and Algebraic Programming · Elsevier
Compositional Type Checking for Hindley-Milner Type Systems with Ad-hoc Polymorphism
Gergő Érdi (2011) · Eötvös Loránd University
Dark silicon and the end of multicore scaling
Hadi Esmaeilzadeh and others (2011) · Proceedings of the 38th Annual International Symposium on Computer Architecture (ISCA)
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 and others (2011) · Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP '11) · Association for Computing Machinery
Entropy and Information Theory
Robert M. Gray (2011) · Springer US
G144A12 Chip Reference: A 144-Computer Multicomputer Chip
GreenArrays, Inc. (2011) · GreenArrays, Inc.
Separating routing policy from mechanism in the network layer
James Griffioen and others (2011) · Next-Generation Internet · Cambridge University Press
Analyzing the effects of formal methods on the development of industrial control software
Jan Friso Groote and others (2011) · 2011 27th IEEE International Conference on Software Maintenance (ICSM) · IEEE
Hacking away at the Internet's Security
Geoff Huston (2011) · The ISP Column · Asia Pacific Network Information Centre
Optical fiber tapping: Methods and precautions
M. Zafar Iqbal and others (2011) · 8th International Conference on High-capacity Optical Networks and Emerging Technologies · IEEE
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java
Bart Jacobs and others (2011) · NASA Formal Methods · Springer
The economics of software quality
Capers Jones and others (2011) · Addison-Wesley Professional
VLSI Physical Design: From Graph Partitioning to Timing Closure
Andrew B. Kahng and others (2011) · Springer
The 1st Verified Software Competition: Experience Report
Vladimir Klebanov and others (2011) · FM 2011: Formal Methods · Springer
Verification of programs in virtual memory using separation logic
Rafal Michal Kolanski (2011) · UNSW Sydney
Algorithmic Puzzles
Anany Levitin and others (2011) · Oxford University Press
Peano and the Foundations of Arithmetic
Gabriele Lolli (2011) · Giuseppe Peano between Mathematics and Logic · Springer
Classical mathematics for a constructive world
Russell O'Connor (2011) · Mathematical Structures in Computer Science · Cambridge University Press
Cyberspace: The ultimate complex adaptive system
Paul W. Phister Jr (2011) · The International C2 Journal · Command and Control Research Program
Dynamic frames in Java dynamic logic
Peter H. Schmitt and others (2011) · International Conference on Formal Verification of Object-Oriented Software (FoVeOOS) · Springer
How many tiers? Pricing in the internet transit market
Vytautas Valancius and others (2011) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery (ACM)
Reverse Hoare Logic
Edsko de Vries and others (2011) · Software Engineering and Formal Methods · Springer Science+Business Media
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Benjamin Weiß (2011) · Karlsruhe Institute of Technology