2011
229 references published this year.
From IF to BI: a tale of dependence and separation
Samson Abramsky and others (2011)
Litmus: Running Tests against Hardware
Jade Alglave and others (2011) · Lecture notes in computer science · Springer Science+Business Media
A Differential Fault Analysis on AES Key Schedule Using Single Fault
Sk. Subidh Ali and others (2011) · IEEE
From Melos to Baghdad: Explaining Resistance to Militarized Challenges from More Powerful States1
Michael A. Allen and others (2011) · Oxford University Press (OUP)
Why software is eating the world
Marc Andreessen (2011) · Wall Street Journal
Verified Software Toolchain
Andrew W. Appel (2011) · Gilles Barthe, editor: 20th ESOP
VeriSmall: Verified Smallfoot Shape Analysis
Andrew W. Appel (2011) · Lecture notes in computer science · Springer Science+Business Media
Software-Based Cache Coherence with Hardware-Assisted Selective Self-Invalidations Using Bloom Filters
T. J. Ashby and others (2011) · Institute of Electrical and Electronics Engineers (IEEE)
A process-theoretic approach to supervisory control theory
J. C. M. Baeten and others (2011) · Proceedings of the 2011 American Control Conference · IEEE
Cyber-physical systems
Radhakisan Baheti and others (2011) · The impact of control technology
An In-depth and Black-box Characterization of the Effects of Clock Glitches on 8-bit MCUs
Josep Balasch and others (2011) · IEEE
The BINCOA Framework for Binary Code Analysis
Sébastien Bardin and others (2011) · Springer Berlin Heidelberg
An Architecture for Location and Location Privacy in Internet Applications
R. Barnes and others (2011) · RFC Editor
Aerial remote sensing in agriculture: A practical approach to area coverage and path planning for fleets of mini aerial robots
A. Barrientos and others (2011) · Wiley
Call-by-Contract for Service Discovery, Orchestration and Recovery
Massimo Bartoletti and others (2011) · Lecture notes in computer science · Springer Science+Business Media
Choreography conformance via synchronizability
Samik Basu and others (2011) · International World Wide Web Conference (WWW)
Programming Languages — C++
P. Becker (2011) · 2011. ISO/IEC 14882:2011.
Proteus: An ASIC Flow for GHz Asynchronous Designs
Peter A. Beerel and others (2011) · IEEE Design & Test of Computers · Institute of Electrical and Electronics Engineers
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
Mario Folhadela Benevides and others (2011) · Electronic Notes in Theoretical Computer Science · Elsevier BV
The deterministic execution hammer: How well does it actually pound nails
Tom Bergan and others (2011) · Workshop on Determinism and Correctness in Parallel Programming
Autonomous transportation and deployment with aerial robots for search and rescue missions
Markus Bernard and others (2011) · Journal of Field Robotics · Wiley
Security SLAs for Federated Cloud Services
Karin Bernsmed and others (2011) · IEEE
Static analysis by abstract interpretation of embedded critical software
J. Bertrane and others (2011) · Association for Computing Machinery (ACM)
AIGER 1.9 and beyond
Armin Biere and others (2011) · Institut for Formal Models and Verification, Johannes Kepler University
Security Checkers: Detecting processor malicious inclusions at runtime
Michael Bilzor and others (2011) · IEEE International Symposium on Hardware Oriented Security and Trust (HOST)
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
Computing for the Large Hadron Collider
I. Bird (2011) · Annual Review of Nuclear and Particle Science · Annual Reviews
Timing Analysis of a Protected Operating System Kernel
Bernard Blackham and others (2011) · IEEE
Jump-oriented programming: a new class of code-reuse attack
Tyler Bletsch and others (2011) · ASIACCS 2011: Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security
Biclique Cryptanalysis of the Full AES
A. Bogdanov and others (2011) · Springer Berlin Heidelberg
On-Orbit Error Rates of RHBD SRAMs: Comparison of Calculation Techniques and Space Environmental Models With Observed Performance
A.L. Bogorad (2011) · Institute of Electrical and Electronics Engineers (IEEE)
Two-variable logic on data words
Mikołaj Bojańczyk and others (2011) · ACM Transactions on Computational Logic · Association for Computing Machinery
Automatic Analysis and Classification of Multiple Origin AS (MOAS) Conflicts
Uli Bornhauser and others (2011) · 36th IEEE Conference on Local Computer Networks (LCN)
Combined Software and Hardware Attacks on the Java Card Control Flow
Guillaume Bouffard and others (2011) · Lecture notes in computer science · Springer Science+Business Media
A 45 nm Resilient Microprocessor Core for Dynamic Variation Tolerance
K. A. Bowman and others (2011) · Institute of Electrical and Electronics Engineers (IEEE)
SAT-Based Model Checking without Unrolling
Aaron R. Bradley (2011) · Verification, Model Checking, and Abstract Interpretation (VMCAI) · Springer Berlin Heidelberg
Learning conditional abstractions
B. A. Brady and others (2011) · 2011 Formal Methods in Computer-Aided Design (FMCAD)
Coquet: A Coq Library for Verifying Hardware
Thomas Braibant (2011) · Lecture notes in computer science · Springer Science+Business Media
A Revisionist History of Concurrent Separation Logic
Stephen Brookes (2011) · Electronic Notes in Theoretical Computer Science · Elsevier
BAP: A Binary Analysis Platform
David Brumley and others (2011) · Lecture notes in computer science · Springer Science+Business Media
Ternary Computers: The Setun and the Setun 70
Nikolay Petrovich Brusentsov and others (2011) · Perspectives on Soviet and Russian Computing · Springer Berlin Heidelberg
Lesson From Libya: NATO Alliance Remains Relevant
I. Brzezinski (2011) · National Defense
CC-Pi: A Constraint Language for Service Negotiation and Composition
Maria Grazia Buscemi and others (2011) · Springer Berlin Heidelberg
Cost optimized provisioning of elastic resources for application workflows
E. Byun and others (2011) · Elsevier BV
Compositional Shape Analysis by Means of Bi-Abduction
Cristiano Calcagno and others (2011) · Journal of the ACM · Association for Computing Machinery
Infer: An Automatic Program Verifier for Memory Safety of C Programs
Cristiano Calcagno and others (2011) · Lecture notes in computer science · Springer Science+Business Media
CloudSim: a toolkit for modeling and simulation of cloud computing environments and evaluation of resource provisioning algorithms
Rodrigo Neves Calheiros and others (2011) · Software Practice and Experience · Wiley
Internet and Religion
Heidi A. Campbell (2011)
LegUp: high-level synthesis for FPGA-based processor/accelerator systems
A. Canis (2011) · ACM
Characteristic formulae for the verification of imperative programs
Arthur Charguéraud (2011) · ACM SIGPLAN International Conference on Functional Programming (ICFP)
Full Reversal Routing as a Linear Dynamical System
Bernadette Charron-Bost and others (2011) · Lecture notes in computer science · Springer Science+Business Media
Partial is Full
Bernadette Charron-Bost and others (2011) · Springer Berlin Heidelberg
The Total s -Energy of a Multiagent System
Bernard Chazelle (2011) · Society for Industrial & Applied Mathematics (SIAM)
Linux kernel vulnerabilities: State-of-the-art defenses and open problems
Haogang Chen and others (2011) · Asia-Pacific Workshop on Systems
Property Learning Techniques for Efficient Generation of Directed Tests
Mingsong Chen and others (2011) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
Mostly-automated verification of low-level programs in computational separation logic
Adam Chlipala (2011) · 32nd ACM Conference on Programming Language Design and Implementation (PLDI)
DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism
B. Choi and others (2011) · IEEE
A Fast Phase Tracking ADPLL for Video Pixel Clock Generation in 65 nm CMOS Technology
C.-C. Chung and others (2011) · Institute of Electrical and Electronics Engineers (IEEE)
Towards Robustness Analysis Using PVS
Renaud Clavel and others (2011) · Lecture notes in computer science · Springer Science+Business Media
Tractable Reasoning in a Fragment of Separation Logic
B. Cook and others (2011) · Springer Berlin Heidelberg
Key Exchange in IPsec Revisited: Formal Analysis of IKEv1 and IKEv2
Cas J. F. Cremers (2011) · Lecture notes in computer science · Springer Science+Business Media
DevoFlow: Scaling flow management for high-performance networks
Andrew R. Curtis and others (2011) · SIG- COMM Comput. Commun. Rev.
Prediction-based auto-scaling of scientific workflows
Reginald Cushing and others (2011) · Middleware for Grid Computing
Experimental high-dimensional two-photon entanglement and violations of generalized bell inequalities
Adetunmise C Dada and others (2011) · Nature Physics
A common visual metric for approximate number and density
S. C. Dakin and others (2011) · National Academy of Sciences
Algebraic separation logic
Han Hing Dang and others (2011) · The Journal of Logic and Algebraic Programming · Elsevier
Verification of microarchitectural refinements in rule-based systems
Nirav Dave and others (2011) · Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) · IEEE
Twelve Years in the Evolution of the Internet Ecosystem
Amogh D. Dhamdhere and others (2011) · IEEE/ACM Transactions on Networking · Institute of Electrical and Electronics Engineers
New tool for FPGA designers mitigates soft errors within synthesis
Roger D. Do (2011) · Mentor Graphics
Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation
D. Dolev and others (2011) · Springer Berlin Heidelberg
Efficient implementation of property directed reachability
Niklas Eén and others (2011) · Formal Methods in Computer-Aided Design (FMCAD) · FMCAD Inc.
Invited Review Article: Single-photon sources and detectors
Matthew D Eisaman and others (2011) · AIP Publishing
Visual Short-Term Memory Compared in Rhesus Monkeys and Humans
L. C. Elmore and others (2011) · Elsevier BV
An on-chip glitchy-clock generator for testing fault injection attacks
Sho Endo and others (2011) · Journal of Cryptographic Engineering · Springer Science and Business Media LLC
Hardware Fault Injection
Luis Entrena (2011) · Springer US
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)
Introduction to TCAS II
FAA, (2011) · Technical Report Version 7.1
The Financial Crisis Inquiry Report: Final Report of the National Commission on the Causes of the Financial and Economic Crisis in the United States
Financial Crisis Inquiry Commission (2011) · Financial Crisis Inquiry Commission
Common criteria for the assessment of critical infrastructures
Alexander Fekete (2011) · International Journal of Disaster Risk Science
Cuckoo directory: A scalable directory for many-core systems
Michael Ferdman and others (2011) · Proceedings - International Symposium on High-Performance Computer Architecture/Proceedings · Institute of Electrical and Electronics Engineers
Design solutions for the Bulldozer 32nm SOI 2-core processor module in an 8-core CPU
T. Fischer (2011) · IEEE
LEON3-FT SPARC V8 Processor
Aeroflex Gaisler (2011) · Aeroflex Gaisler, 1.2 edition, January 2011. http://www.gaisler.com/doc/leon3ft-rtax-ag.pdf
Contributions of ideal observer theory to vision research
Wilson S. Geisler (2011) · Vision Research · Elsevier BV
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
Metastability and Synchronizers: A Tutorial
Ran Ginosar (2011) · IEEE Design & Test of Computers · Institute of Electrical and Electronics Engineers
Advances in quantum metrology
Vittorio Giovannetti and others (2011) · Springer Science and Business Media LLC
Higher-order test generation
Patrice Godefroid (2011) · ACM
Development of an autonomous unmanned aerial system to collect time‐stamped samples from the atmosphere and localize potential pathogen sources
F. Gonzalez and others (2011) · Wiley
Dynamically Specialized Datapaths for energy efficient computing
Venkatraman Govindaraju and others (2011) · Proceedings - International Symposium on High-Performance Computer Architecture/Proceedings · Institute of Electrical and Electronics Engineers
LDACS1 data link layer evolution for ATN/IPS
Thomas Gräupl and others (2011) · IEEE/AIAA Digital Avionics Systems Conference (DASC)
L-DACS1 air-to-air data-link protocol design and performance
Thomas Gräupl and others (2011) · Integrated Communications, Navigation and Surveillance Conference (ICNS)
Entropy and Information Theory
Robert M. Gray (2011) · Springer US
G144A12 Chip Reference: A 144-Computer Multicomputer Chip
GreenArrays, Inc. (2011) · GreenArrays, Inc.
The impact of IXPs on the AS-level topology structure of the Internet
Enrico Gregori and others (2011) · Elsevier BV
SCC: A Flexible Architecture for Many-Core Platform Research
M. Gries and others (2011) · Institute of Electrical and Electronics Engineers (IEEE)
Separating routing policy from mechanism in the network layer
James Griffioen and others (2011) · Next-Generation Internet · Cambridge University Press
Conceptual Design of Discrete-Event Systems Using Templates
L. Grigorov and others (2011) · Springer Science and Business Media LLC
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
Performance Analysis and Benchmarking of the Intel SCC
Philipp Gschwandtner and others (2011) · Proceedings · Institute of Electrical and Electronics Engineers
Cache Games -- Bringing Access-Based Cache Attacks on AES to Practice
David Gullasch and others (2011) · IEEE
Notes from Q&A session at SemTech, RichSnippets session
Sandro Hawke (2011)
e-Science Central: Cloudbased e-Science and its application to chemical property modelling
H. Hiden and others (2011) · Technical report
FPGA implementation of a coherent SOQPSK-TG demodulator
Ehsan Hosseini and others (2011) · 2011 - MILCOM 2011 Military Communications Conference · IEEE
Online scheduling of workflow applications in grid environments
C.-C. Hsu and others (2011) · Elsevier BV
Hacking away at the Internet's Security
Geoff Huston (2011) · The ISP Column · Asia Pacific Network Information Centre
Intelligence-Driven Computer Network Defense Informed by Analysis of Adversary Campaigns and Intrusion Kill Chains
Eric M. Hutchins and others (2011) · Lockheed Martin Corporation
Neural signatures of number processing in human infants: evidence for two core systems underlying numerical cognition
D. C. Hyde and others (2011) · Wiley
ARP-Path: ARP-Based, Shortest Path Bridges
G. Ibanez and others (2011) · Institute of Electrical and Electronics Engineers (IEEE)
ICS-CERT incident response summary report 2009-2011
Industrial control systems cyber emergency response team control systems security program (2011) · ICS-CERT
Introducing XCS to Coverage Directed test Generation
Charalambos Ioannides and others (2011) · Proceedings · Institute of Electrical and Electronics Engineers
On the Performance Variability of Production Cloud Services
A. Iosup and others (2011) · IEEE
Adaptive resource provisioning for read intensive multi-tier applications in the cloud
Waheed Iqbal and others (2011) · Future Generation Computer Systems · Elsevier BV
Optical fiber tapping: Methods and precautions
M. Zafar Iqbal and others (2011) · 8th International Conference on High-capacity Optical Networks and Emerging Technologies · IEEE
Programming languages – C (ISO/IEC 9899:2011, C11)
JTC1/SC22/WG14 (2011) · ISO
Service-oriented middleware for the Future Internet: state of the art and research directions
Valérie Issarny and others (2011) · Sociedade Brasileira de Computação
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java
Bart Jacobs and others (2011) · NASA Formal Methods · Springer
The Information Diet: A Case for Conscious Consumption
Clay A. Johnson (2011) · O'Reilly Media
The economics of software quality
Capers Jones and others (2011) · Addison-Wesley Professional
Onbedoeld openen Ketelbrug
T. H. J. Joustra and others (2011) · Tech
Fault Tolerant Cryptographic Primitives for Space Applications
Marcio Juliato (2011)
FPGA implementation of an HMAC processor based on the SHA-2 family of hash functions
M. Juliato and others (2011) · CACR Technical Report CACR 2011-10
VLSI Physical Design: From Graph Partitioning to Timing Closure
Andrew B. Kahng and others (2011) · Springer
Wscdl to wsbpel: A case study of atl-based transformation
Ravi Khadka and others (2011) · MtATL-2011
Cyberactivism in the Egyptian Revolution: How Civic Engagement and Citizen Journalism Tilted the Balance
Sahar Khamis and others (2011) · Arab Media and Society. · American University in Cairo Press
The 1st Verified Software Competition: Experience Report
Vladimir Klebanov and others (2011) · FM 2011: Formal Methods · Springer
PRESENT – Block Cipher
Lars Ramkilde Knudsen and others (2011) · Springer Nature
Verification of programs in virtual memory using separation logic
Rafal Michal Kolanski (2011) · UNSW Sydney
The Demise of the Soviet Bloc
Mark Kramer (2011) · The Journal of Modern History · University of Chicago Press
Linear Completeness Thresholds for Bounded Model Checking
D. Kroening and others (2011) · Springer Berlin Heidelberg
PRISM 4.0: Verification of Probabilistic Real-Time Systems
Marta Kwiatkowska and others (2011) · Springer Berlin Heidelberg
Stuxnet: Dissecting a Cyberwarfare Weapon
Ralph Langner (2011) · Institute of Electrical and Electronics Engineers (IEEE)
Design Techniques for Fully Integrated Switched-Capacitor DC-DC Converters
Hanh-Phuc Le and others (2011) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers (IEEE)
An OpenCL Framework for Homogeneous Manycores with No Hardware Cache Coherence
J. Lee and others (2011) · IEEE
A scalable sub-1.2mW 300MHz-to-1.5GHz host-clock PLL for system-on-chip in 32nm CMOS
Hyung‐Jin Lee and others (2011) · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · Institute of Electrical and Electronics Engineers
Click Trajectories: End-to-End Analysis of the Spam Value Chain
K. Levchenko and others (2011) · IEEE
Algorithmic Puzzles
Anany Levitin and others (2011) · Oxford University Press
The Role of the Microprocessor in the End of the Cold War
Nicholas Dale Lewis (2011)
Caisson: A Hardware Description Language for Secure Information Flow
Xun Li and others (2011) · ACM SIGPLAN Notices · Association for Computing Machinery
Mining assumptions for synthesis
Wenchao Li and others (2011) · Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) · IEEE
Preschool acuity of the approximate number system correlates with school math ability
M. E. Libertus and others (2011) · Wiley
Peano and the Foundations of Arithmetic
Gabriele Lolli (2011) · Giuseppe Peano between Mathematics and Logic · Springer
Origins and Development of Generalized Magnitude Representation
Stella F. Lourenco and others (2011) · Elsevier BV
Proof-Carrying Hardware Intellectual Property: A Pathway to Trusted Module Acquisition
Eric Love and others (2011) · IEEE Transactions on Information Forensics and Security · Institute of Electrical and Electronics Engineers
SmartCM a smart card fault injection simulator
Jean-Baptiste Machemie and others (2011) · IEEE International Workshop on Information Forensics and Security
Decidable logics combining heap structures and data
P. Madhusudan and others (2011) · ACM SIGPLAN Notices · Association for Computing Machinery (ACM)
Auto-scaling to minimize cost and meet application deadlines in cloud workflows
M. Mao and others (2011) · ACM
CHP and CHPsim: A language and simulator for fine-grain distributed computation
Alain J. Martin and others (2011) · California Institute of Technology Department of Computer Science
Relativistic Causality and Clockless Circuits
Philippe Matherat and others (2011) · ACM Journal on Emerging Technologies in Computing Systems
Preschoolers' Precision of the Approximate Number System Predicts Later School Mathematics Performance
Michèle M. M. Mazzocco and others (2011) · PLoS ONE · Public Library of Science (PLoS)
Towards Transparent CPU Scheduling
J. T. Meehean (2011)
The Role of Attentional Priority and Saliency in Determining Capacity Limits in Enumeration and Visual Working Memory
David Melcher and others (2011) · PLoS ONE · Public Library of Science
Measurements and Characterizations of Air-to-Ground Channel Over Sea Surface at C-Band With Low Airborne Altitudes
Y. S. Meng and others (2011) · Institute of Electrical and Electronics Engineers (IEEE)
Neutron-induced Single Event Upset (SEU)
Microsemi Corporation (2011)
OpenNebula: A Cloud Management Tool
D. Milojičić and others (2011) · Institute of Electrical and Electronics Engineers (IEEE)
Compositional synthesis of discrete event systems using synthesis abstraction
S. Mohajerani and others (2011) · IEEE
Nondeterminism avoidance in compositional synthesis of discrete event systems
Sahar Mohajerani and others (2011) · 2011 IEEE International Conference on Automation Science and Engineering · IEEE
The Internet Peering Playbook: Connecting to the Core of the Internet
W.B. Norton (2011) · DrPeering Press
On the Performance of a Retransmission-Based Synchronizer
Thomas Nowak and others (2011) · Springer Berlin Heidelberg
Automatic Pipelining From Transactional Datapath Specifications
Eriko Nurvitadhi and others (2011) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
Classical mathematics for a constructive world
Russell O'Connor (2011) · Mathematical Structures in Computer Science · Cambridge University Press
Obfuscation: The Hidden Malware
P. O’Kane and others (2011) · Institute of Electrical and Electronics Engineers (IEEE)
Convergence Speed in Distributed Consensus and Averaging
Alex Olshevsky and others (2011) · SIAM Journal on Control and Optimization · Society for Industrial and Applied Mathematics
Business process model and notation (bpmn) version 2.0
Object Management Group (OMG) (2011) · Technical report, Object Management Group (OMG), jan 2011.
Analyse et amélioration de la robustesse des circuits asynchrones QDI
Florent Ouchet (2011) · Agence Bibliographique de l'Enseignement Supérieur
Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata
L. Ouedraogo and others (2011) · Institute of Electrical and Electronics Engineers (IEEE)
Lem: A Lightweight Tool for Heavyweight Semantics
Scott Owens and others (2011) · Springer Berlin Heidelberg
Faults in Linux: Ten Years Later
Nicolas Palix and others (2011) · Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
A Cyclic Vernier TDC for ADPLLs Synthesized From a Standard Cell Library
Y. Park and others (2011) · Institute of Electrical and Electronics Engineers (IEEE)
Cyberspace: The ultimate complex adaptive system
Paul W. Phister Jr (2011) · The International C2 Journal · Command and Control Research Program
Subitizing reflects visuo-spatial object individuation capacity
Manuela Piazza and others (2011) · Cognition · Elsevier BV
On the Line
The Progressive (2011) · The Progressive
The ROSE source-to-source compiler infrastructure
Dan Quinlan and others (2011) · Cetus users and compiler infrastructure workshop, in conjunction with PACT
Hybrid Heuristic for Scheduling Data Analytics Workflow Applications in Hybrid Cloud Environment
Mustafizur Rahman and others (2011) · IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum
Fine-Grained Class Label Markup of Search Queries
Joseph Reisinger and others (2011) · Proceedings of the 49th Annual Meeting of the Association for Computational L
Constructing the truth, dealing with dissent, domesticating the world: Governance in post-genocide Rwanda
Filip Reyntjens (2011) · Oxford University Press (OUP)
A monadic approach to automated reasoning for Bluespec SystemVerilog
Dominic Richards and others (2011) · Innovations in Systems and Software Engineering · Springer Science+Business Media
A 2-approximation for the maximum satisfying bisection problem
Bernard Ries and others (2011) · Elsevier BV
Plotting Likert and other rating scales
N. B. Robbins and others (2011) · Joint Statistical Meeting 2011
Combined Fault and Side-Channel Attack on Protected Implementations of AES
Thomas Roche and others (2011) · Smart Card Research and Advanced Applications · Springer Berlin Heidelberg
10 Lessons from 10 Years of Measuring and Modeling the Internet's Autonomous Systems
Matthew Roughan and others (2011) · Institute of Electrical and Electronics Engineers (IEEE)
DO-181E, Minimum Operational Performance Standards for Air Traffic Control Radar Beacon System/Mode Select (ATCRBS/Mode S) Airborne Equipment
RTCA, (2011) · Technical Report DO-181E
DO-260B, Minimum Operational Performance Standards for 1090 MHz Extended Squitter Automatic Dependent Surveillance – Broadcast (ADS-B) and Traffic Information Services – Broadcast (TIS-B)
RTCA, (2011) · Technical Report DO-260B
DO-282B, Minimum Operational Performance Standards for Universal Access Transceiver (UAT) Automatic Dependent Surveillance – Broadcast
RTCA, (2011) · Technical Report DO-282B
Accelerated aging with electrical overstress and prognostics for power MOSFETs
Sankalita Saha and others (2011) · IEEE Energytech
Understanding POWER multiprocessors
Susmit Sarkar and others (2011) · ACM
Finding a "Kneedle" in a Haystack: Detecting Knee Points in System Behavior
Ville Satopaa and others (2011) · 2011 31st International Conference on Distributed Computing Systems Workshops · IEEE
Revolutionary Challenges in Tunisia and Egypt: Generations in Conflict
Stuart Schaar (2011) · New Politics
Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
K. Schmidt and others (2011) · Institute of Electrical and Electronics Engineers (IEEE)
Dynamic frames in Java dynamic logic
Peter H. Schmitt and others (2011) · International Conference on Formal Verification of Object-Oriented Software (FoVeOOS) · Springer
Automata based verification over linearly ordered data domains
L. Segoufin and others (2011) · STACS’11
seL4 Enforces Integrity
Thomas Sewell and others (2011) · Springer Berlin Heidelberg
Van Allen Radiation Belts
Y. Simon (2011) · Simon, Van Allen Radiation Belts. Silver Spring
The interplay of resource provisioning and workflow optimization in scientific applications
G. Singh and others (2011) · Wiley
A Flexible Formal Verification Framework for Industrial Scale Validation
Anna Slobodová and others (2011) · 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) · IEEE
RIPE Routing Working Group Recommendations on IPv6 Route Aggregation
P. Smith and others (2011) · RIPE-532
Software Engineering, 9/E
I. Sommerville (2011) · Pearson Education India
Microwatt embedded processor platform for medical system-on-chip applications
Srinivasa R. Sridhara and others (2011) · 2010 Symposium on VLSI Circuits · IEEE
Bit-Blasting ACL2 Theorems
Sol Swords and others (2011) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
A Prior Study of Split Compilation and Approximate FloatingPoint Computations
Takanoki Taguchi (2011) · MA thesis
Local modular Supervisory Control of DES with distinguishers
Marcelo Teixeira and others (2011)
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security
Mohit Tiwari and others (2011) · Proceedings - International Symposium on Computer Architecture/Proceedings
Product of Random Stochastic Matrices
Behrouz Touri and others (2011) · arXiv
Correct and non-defensive glue design using abstract models
Stavros Tripakis and others (2011) · ACM
A Separation Logic Framework for HOL
Th. Tuerk (2011)
Differential Fault Analysis of the Advanced Encryption Standard Using a Single Fault
Michael Tunstall and others (2011) · Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication · Springer Berlin Heidelberg
How many tiers? Pricing in the internet transit market
Vytautas Valancius and others (2011) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery (ACM)
mice: Multivariate Imputation by Chained Equations inR
Stef van Buuren and others (2011) · Journal of Statistical Software · Foundation for Open Access Statistics
Practical Optical Fault Injection on Secure Microcontrollers
Jasper G. J. van Woudenberg and others (2011) · Workshop on Fault Diagnosis and Tolerance in Cryptography
A billion-dolar mistake: Intel recalls a supporting chip for popular Sandy Bridge platform
VentureBeat, (2011)
The Fault Attack Jungle - A Classification Model to Guide You
Ingrid M.R. Verbauwhede and others (2011) · Workshop on Fault Diagnosis and Tolerance in Cryptography
ASLan++ — A Formal Security Specification Language for Distributed Systems
David von Oheimb and others (2011) · Formal Methods for Components and Objects · Springer Berlin Heidelberg
Reverse Hoare Logic
Edsko de Vries and others (2011) · Software Engineering and Formal Methods · Springer Science+Business Media
An association between understanding cardinality and analog magnitude representations in preschoolers
J. B. Wagner and others (2011) · Elsevier BV
Analog Circuit Verification by Statistical Model Checking
Ying-Chih Wang and others (2011) · 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011)
Media Selling: Television, Print, Internet, Radio
Charles Warner (2011)
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Benjamin Weiß (2011) · Karlsruhe Institute of Technology
CMOS VLSI design: a circuits and systems perspective
N. H. E. Weste and others (2011) · Addison Wesley
Social Media in the Egyptian Revolution: Reconsidering Resource Mobilization Theory
Julie B. Wiest (2011) · International Journal of Communication
Rigorous Software Engineering for Service-Oriented Systems
Unattributed (2011) · Springer Berlin Heidelberg
Occupying Wall Street: The Inside Story of an Action That Changed America
Writers for the 99% (2011) · Haymarket Books
Vulnerability extrapolation: Assisted discovery of vulnerabilities using machine learning
F. Yamaguchi and others (2011) · 5th USENIX Conference on Offensive Technologies (WOOT)
Formal Verification of C-element Circuits
Chao Yan and others (2011) · IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2011)
Finding and understanding bugs in C compilers
Xuejun Yang and others (2011) · Association for Computing Machinery (ACM)
The Magellan Final Report on Cloud Computing
K. Yelick and others (2011) · Office of Scientific and Technical Information (OSTI)
A Hardware Implementation of a Coherent SOQPSK-TG Demodulator for FEC Applications
G. P. E. R. Zanabria (2011)
L-band Digital Aeronautical Communications System Engineering-Initial Safety and Security Risk Assessment and Mitigation
N. Zelkin and others (2011) · Technical Report 2011-216327 SAA3–978–1
Wireless Relay Communications with Unmanned Aerial Vehicles: Performance and Optimization
P. Zhan and others (2011) · Institute of Electrical and Electronics Engineers (IEEE)