2012
227 references published this year.
Observation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC
G. Aad and others (2012) · Physics Letters B
Using Term Rewriting to Solve Bit-Vector Arithmetic Problems
I. Abal and others (2012) · Springer Berlin Heidelberg
Cost-driven scheduling of grid workflows using partial critical paths
S. Abrishami and others (2012) · IEEE Transactions on Parallel and Distributed Systems (TPDS)
Anatomy of a large european IXP
Bernhard Ager and others (2012) · Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication · ACM
A tale of nine Internet exchange points: Studying path latencies through major regional IXPs
Mohammad Zubair Ahmad and others (2012) · Conference on Local Computer Networks · Institute of Electrical and Electronics Engineers
The Egyptian Blogosphere: A Counter-Narrative of the Revolution
Ban Al-Ani and others (2012) · ACM
An adaptive hybrid elasticity controller for cloud infrastructures
A. Ali-Eldin and others (2012) · IEEE
Efficient provisioning of bursty scientific workloads on the cloud using adaptive elasticity control
Ahmed Ali-Eldin and others (2012) · Scientific Cloud Computing
Error correction code in SoC FPGA-based memory systems
Altera Corporation and others (2012) · Altera white paper WP-01179-1.2
Globalization of the Internet, Sovereignty or Democracy: The Trilemma of the Internet Governance Forum
Peng Hwa Ang and others (2012) · CAIRN
Verification of object-oriented programs: A transformational approach
Krzysztof R. Apt and others (2012) · Journal of Computer and System Sciences
Fairness Resource Sharing for Dynamic Workflow Scheduling on Heterogeneous Systems
Hamid Arabnejad and others (2012) · IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA)
The Art of Hardware Architecture
Mohit Arora (2012) · Springer New York
Building block of a programmable neuromorphic substrate: A digital neurosynaptic core
John V. Arthur and others (2012) · 2022 International Joint Conference on Neural Networks (IJCNN)
A TDC-less ADPLL with 200-to-3200MHz range and 3mW power dissipation for mobile SoC clocking in 22nm CMOS
Nathaniel J. August and others (2012) · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · Institute of Electrical and Electronics Engineers
Low Overhead Soft Error Mitigation Techniques for High-Performance and Aggressive Designs
Naga Durga Prasad Avirneni and others (2012) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
Chisel: Constructing hardware in a scala embedded language
J. Bachrach and others (2012) · Proceedings of the 49th Annual Design Automation Conference, San Francisco, CA, USA,
The Menlo Report
Michael Bailey and others (2012) · IEEE Security & Privacy · Institute of Electrical and Electronics Engineers
Manage Risks through the Enterprise Architecture
José Barateiro and others (2012) · Hawaii International Conference on System Sciences (HICSS)
Fault Injection Attacks on Cryptographic Devices: Theory, Practice, and Countermeasures
Alessandro Barenghi and others (2012) · Institute of Electrical and Electronics Engineers (IEEE)
Contract-Oriented Computing in CO2
Massimo Bartoletti and others (2012) · Scientific Annals of Computer Science
Deciding choreography realizability
Samik Basu and others (2012) · ACM
Clarifying and compiling C/C++ concurrency: from C++11 to POWER
Mark Batty and others (2012) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
Lessons Learned From Microkernel Verification — Specification is the New Bottleneck
Christoph Baumann and others (2012) · Systems Software Verification Conference 2012 (SSV 2012) · Open Publishing Association
Charge!
Jesper Bengtson and others (2012) · Lecture notes in computer science · Springer Science+Business Media
Modelling session types using contracts
Giovanni Bernardi and others (2012) · ACM Symposium on Applied Computing
The Security Impact of a New Cryptographic Library
Daniel J. Bernstein and others (2012) · Lecture notes in computer science · Springer Science+Business Media
Experimental verification of Landauer’s principle linking information and thermodynamics
Antoine Bérut and others (2012) · Nature · Nature Portfolio
Arcade.PLC: a verification platform for programmable logic controllers
Sebastian Biallas and others (2012) · ACM
Visual analytics for BGP monitoring and prefix hijacking identification
Ernst Biersack and others (2012) · Institute of Electrical and Electronics Engineers (IEEE)
Before we knew it: an empirical study of zero-day attacks in the real world
Leyla Bilge and others (2012) · ACM Conference on Computer and Communications Security
Evaluating security requirements in a general-purpose processor by combining assertion checkers with code coverage
M. Bilzor and others (2012) · IEEE
Quantum simulations with trapped ions
Rainer Blatt and others (2012) · Springer Science and Business Media LLC
Separation predicates: A taste of separation logic in first-order logic
François Bobot and others (2012) · International Conference on Formal Engineering Methods · Springer
A 25MHz 7μW/MHz ultra-low-voltage microcontroller SoC in 65nm LP/GP CMOS for low-carbon wireless sensor nodes
D. Bol and others (2012) · IEEE
Industrial Use of Formal Methods: Formal Verification
J.-L. Boulanger (2012) · Wiley
Understanding IC3
Aaron R. Bradley (2012) · Lecture notes in computer science · Springer Science+Business Media
On the almighty wand
Rémi Brochenin and others (2012) · Information and Computation
Bunched Logics Displayed
J. Brotherston (2012) · Springer Science and Business Media LLC
Improving Nonlethal Targeting: A Social Network Analysis Method for Military Planners
Jason C. Brown (2012)
Radiation damage to electronics at the lhc
M. Brugger (2012) · 2012.
Business Security Architecture: Weaving Information Security into Your Organization's Enterprise Architecture through SABSA®
J. S. Burkett (2012) · Informa UK Limited
Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities
Juan Caballero and others (2012) · International Symposium on Software Testing and Analysis
Global Networks: Engineering, Operations and Design
G. K. Cambron (2012) · Wiley
Math, monkeys, and the developing brain
Jessica F. Cantlon (2012) · Proceedings of the National Academy of Sciences · National Academy of Sciences
Specification and synthesis of hardware checkpointing and rollback mechanisms
C. Chan and others (2012) · ACM
General transience bounds in tropical linear algebra via Nachtigall decomposition
Bernadette Charron-Bost and others (2012) · Proceedings of the Workshop on Tropical and Idempotent Mathematics
New Transience Bounds for Long Walks
Bernadette Charron-Bost and others (2012) · arXiv (Cornell University) · Cornell University
Attacks and Defenses in the Data Plane of Networks
Danai Chasaki and others (2012) · IEEE Transactions on Dependable and Secure Computing · Institute of Electrical and Electronics Engineers (IEEE)
Static analysis of asynchronous clock domain crossings
S. Chaturvedi (2012) · Design, Automation, and Test in Europe
Configurable tool to protect processors against SEE by software-based detection techniques
Eduardo Chielle and others (2012) · IEEE
Model Checking and the State Explosion Problem
Edmund M. Clarke and others (2012) · Lecture notes in computer science · Springer Science+Business Media
Software and Systems Traceability
Unattributed (2012) · Springer London
Modern Fortran: Style and Usage
Norman S. Clerman and others (2012)
Compositional Verification of Architectural Models
Darren D. Cofer and others (2012) · Springer Berlin Heidelberg
“We Reject: Kings, Presidents, and Voting”: Internet Community Autonomy in Managing the Growth of the Internet
Liv Coleman (2012) · Informa UK Limited
A Florentine in in Paris: The Caselli pantelegraph and its successors, 1859–1871
Jonathan Coopersmith (2012) · IEEE
Ghost in the Air(Traffic): On insecurity of ADS-B protocol and practical attacks on ADS-B devices
A. Costin and others (2012) · BLACKHAT 2012
Elements of information theory
T. M. Cover and others (2012) · John Wiley & Sons
Frama-C: A software analysis perspective
Pascal Cuoq and others (2012) · International Conference on Software Engineering and Formal Methods (SEFM)
The End of the Consumer Age
Barry Z. Cynamon and others (2012) · Cambridge University Press
CRITICAL QUESTIONS FOR BIG DATA
danah boyd and others (2012) · Information, Communication & Society · Informa UK Limited
Towards understanding phishing victims' profile
A. Darwish and others (2012) · IEEE
Basics of space flight section 1 part 5, geostationary orbits
P. Davis (2012) · 2012.
Joint Operational Access Concept (JOAC)
{US Department of Defense} (2012) · Defense Technical Information Center
Electromagnetic Transient Faults Injection on a Hardware and a Software Implementations of AES
Amine Dehbaoui and others (2012) · IEEE
Injection of transient faults using electromagnetic pulses-Practical results on a cryptographic system-
Amine Dehbaoui (2012) · IACR Cryptology EPrint Archive
Side-channel vulnerability factor: A metric for measuring information leakage
John Demme and others (2012) · IEEE
Malleability of the approximate number system: effects of feedback and training
N. K. DeWind and others (2012) · Frontiers Media SA
The Menlo Report: Ethical Principles Guiding Information and Communication Technology Research
David Dittrich and others (2012) · Elsevier BV
Go at Google: Language Design in the Service of Software Engineering
Alan A. T. Donovan (2012) · ACM
Peering policy clauses collected from 28 companies
Dr. Peering (2012) · Peering policy clauses collected from 28 companies. Internet Peering Workshop
ED-137 - Interoperability Standards for Voip ATM Components Volume 1: Radio, Volume 2: Telephone, Volume 3: European Legacy Telephone Interworking, Volume 4: Recording, Volume 5: Supervision
EASA, (2012) · Technical Report ED-137
MARS: Matching-Driven Analog Sizing
Michael Eick and others (2012) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers (IEEE)
Automatic generation of hardware design properties from simulation traces
Eman El Mandouh and others (2012) · IEEE International Symposium on Circuits and Systems proceedings
Design Structure Matrix Methods and Applications
Steven D. Eppinger and others (2012) · The MIT Press
User Guide of ANSI/ESDA/JEDEC JS-001 Human Body Model Testing of Integrated Circuits
ANSI/ESDA/JEDEC, (2012) · Electronic Discharge Association and JEDEC Solid State Technology Association, Rome NY and Arlington VA
Capacity Trends and Limits of Optical Communication Networks
René-Jean Essiambre and others (2012) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
Indium phosphide based integrated photonic devices for telecommunications and sensing applications
Ta-Ming Shih et al (2012)
The Role of the Youth's New Protest Movements in the January 25th Revolution
Yusery Ahmed Ezbawy (2012) · IDS Bulletin · Wiley
Some Trends in Formal Methods Applications to Railway Signaling
Alessandro Fantechi and others (2012) · Formal Methods for Industrial Critical Systems · Wiley
Das Induktions-Prinzip
Ulrich Felgner (2012) · Jahresbericht der Deutschen Mathematiker-Vereinigung · Springer Fachmedien Wiesbaden GmbH
Advanced ROADM Networks
M. D. Feuer and others (2012) · National Fiber Optic Engineers Conference · OSA
Online Dating: A Critical Analysis from the Perspective of Psychological Science
Eli J. Finkel and others (2012) · SAGE Publications
HACMS: high assurance cyber military systems
Kathleen Fisher (2012) · Proceedings of the 2012 ACM Conference on High Integrity Language Technology
Application of supervisory control theory to theme park vehicles
S. T. J. Forschelen and others (2012) · Springer Science and Business Media LLC
Directions in ISA Specification
Anthony C.J. Fox (2012) · Springer Berlin Heidelberg
Black Tulip: Report of the Investigation into the DigiNotar Certificate Authority Breach
Fox-IT (2012) · Fox-IT BV
Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer
Matthias Függer and others (2012) · Lecture notes in computer science · Springer Science+Business Media
Reconciling fault-tolerant distributed computing and systems-on-chip
Matthias Függer and others (2012) · Distributed Computing · Springer Science and Business Media LLC
Autoscale: Dynamic, robust capacity management for multi-tier data centers
A. Gandhi and others (2012) · ACM Transactions on Computer Systems (TOCS)
The interplay between nonsymbolic number and its continuous visual properties.
Titia Gebuis and others (2012) · Journal of Experimental Psychology General · American Psychological Association
The Role of Visual Information in Numerosity Estimation
T. Gebuis and others (2012) · Public Library of Science (PLoS)
Revolution 2.0: The Power of the People Is Greater Than the People in Power: A Memoir
Wael Ghonim (2012) · Houghton Mifflin Harcourt
Infective Computation and Dummy Rounds: Fault Protection for Block Ciphers without Check-before-Output
Benedikt Gierlichs and others (2012) · Progress in Cryptology – LATINCRYPT 2012 · Springer Berlin Heidelberg
SAGE: Whitebox Fuzzing for Security Testing
Patrice Godefroid and others (2012) · Association for Computing Machinery (ACM)
Line-of-Sight MIMO for Next-Generation Microwave Transmission Systems
X. Gong and others (2012) · ZTE COMMUNICATIONS
Contract-Aware Secure Compilation
Marco Guarnieri and others (2012) · 2020
A new approach to interdomain routing based on secure multi-party computation
Debayan Gupta and others (2012) · ACM Workshop on Hot Topics in Networks (HotNets)
Number sense across the lifespan as revealed by a massive Internet-based sample
Justin Halberda and others (2012) · Proceedings of the National Academy of Sciences · National Academy of Sciences
Computer Architecture: A Quantitative Approach
John L. Hennessy and others (2012) · Morgan Kaufmann
Which mathematical logic is the logic of mathematics?
Jaakko Hintikka (2012) · Logica Universalis
Multiple Workflow Scheduling Strategies with User Run Time Estimates on a Grid
Adán Hirales-Carbajal and others (2012) · Journal of Grid Computing · Springer Science+Business Media
Pulse Shape Measurements by On-Chip Sense Amplifiers of Single Event Transients Propagating Through a 90 nm Bulk CMOS Inverter Chain
M. Hofbauer and others (2012) · Institute of Electrical and Electronics Engineers (IEEE)
Analytical modeling of potential profile and threshold voltage for rectangular gate-all-around III–V nanowire MOSFETs with ATLAS verification
Md Shafayat Hossain and others (2012) · IEEE International Conference on Electron Devices and Solid-State Circuits (EDSSC)
Ballistic performance limit and gate leakage modeling of Rectangular Gate-all-around InGaAs Nanowire Transistors with ALD Al2O3 as Gate Dielectric
Md. Obaidul Hossen and others (2012) · IEEE
tiny_aes
Hsing, and others (2012) · 2012.
Validation of Route Origination Using the Resource Certificate Public Key Infrastructure (PKI) and Route Origin Authorizations (ROAs)
G. Huston and others (2012) · RFC Editor
Amazon Web Services outage once again shows reality behind ”the cloud”
Lee Hutchinson (2012)
Doc 9871 — Technical Provisions for Mode S Services and Extended Squitter
ICAO, (2012) · ICAO Doc 9871, International Civil Aviation Organization (ICAO)
Enterprise security with intel aes-ni
I. Corporation (2012) · Intel Corporation, Tech. Rep.
Oozie: Towards a scalable workflow management system for Hadoop
M. Islam and others (2012) · ACM SIGMOD Workshop on Scalable Workflow Execution Engines and Technologies (SWEET)
International Technology Roadmap for Semiconductors: 2012 update
Unattributed (2012)
Constant time encryption as a countermeasure against remote cache timing attacks
Darshana Jayasinghe and others (2012) · IEEE International Conference on Information and Automation for Sustainability (ICIAfS)
A Super-Pipelined Energy Efficient Subthreshold 240 MS/s FFT Core in 65 nm CMOS
Dongsuk Jeon and others (2012) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
EyeQ: Practical network performance isolation for the multi-tenant cloud
V. Jeyakumar and others (2012) · USENIX Workshop on Hot Topics in Cloud Computing (HotCloud)
Design, Modeling, and Test of a Programmable Adaptive Phase-Shifting PLL for Enhancing Clock Data Compensation
D. Jiao and others (2012) · Institute of Electrical and Electronics Engineers (IEEE)
A Fault Attack on the LED Block Cipher
Philipp Jovanovic and others (2012) · Springer Berlin Heidelberg
Safety standards and wcet analysis tools
D. Kaestner and others (2012) · ERTS
The Revenge of Geography: What the Map Tells Us About Coming Conflicts and the Battle Against Fate
Robert D. Kaplan (2012)
Power and Interdependence
Robert Keohane and others (2012)
Scheduling for heterogeneous Systems using constrained critical paths
Minhaj Ahmad Khan (2012) · Parallel Computing · Elsevier BV
Electronic design automation (EDA) solutions for ESD-robust design and verification
Michael G. Khazhinsky and others (2012) · IEEE
A comparative study of cyberattacks
S. H. Kim and others (2012) · Association for Computing Machinery (ACM)
Mechanised Separation Algebra
Gerwin Klein and others (2012) · Springer Berlin Heidelberg
Separation Algebra
Gerwin Klein and others (2012) · Archive of Formal Proofs
Unifying design data during verification: Implementing Logic-Driven Layout analysis and debug
Kishore Kollu and others (2012) · IEEE
Layer 2 Virtual Private Networks Using BGP for Auto-Discovery and Signaling
K. Kompella and others (2012) · RFC Editor
Efficient state merging in symbolic execution
Volodymyr Kuznetsov and others (2012) · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
A SOFT way for openflow switch interoperability testing
Maciej Kuzniar and others (2012) · Proceedings of the 8th international conference on Emerging networking experiments and technologies · ACM
Synthesising Choreographies from Local Session Types
Julien Lange and others (2012) · Springer Berlin Heidelberg
Three Schools of Thought on Enterprise Architecture
J. Lapalme (2012) · Institute of Electrical and Electronics Engineers (IEEE)
Empirical Modeling of Ducting Effects on a Mobile Microwave Link Over a Sea Surface
Y. H. Lee and others (2012) · Radioengineering
An Infrastructure to Support Secure Internet Routing
M. Lepinski and others (2012) · RFC Editor
A Profile for Route Origin Authorizations (ROAs)
M. Lepinski and others (2012) · RFC Editor
Static low power verification at transistor level for SoC design
Jérôme Lescot and others (2012) · ACM/IEEE International Symposium on Low Power Electronics and Design (ISLPED)
ROSE::FTTransform - A source-to-source translation framework for exascale fault-tolerance research
Jacob Lidman and others (2012) · IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
Word level feature discovery to enhance quality of assertion mining
L. Liu and others (2012) · ACM
Bioinformatic Discovery of Bacterial Regulatory RNAs Using SIPHT
J. Livny (2012) · Humana Press
Separation Logic: Expressiveness and Copyless Message-Passing
E. Lozes (2012)
A New Clock Network Synthesizer for Modern VLSI Designs
Jingwei Lu and others (2012) · Integration, the VLSI Journal
Essentials of Metaheuristics
S. Luke (2012) · Lulu
An economic side-effect for prefix deaggregation
Andra Lutu and others (2012) · IEEE
Cost- and deadline-constrained provisioning for scientific workflow ensembles in IaaS clouds
Maciej Malawski and others (2012) · International Conference for High Performance Computing, Networking, Storage and Analysis (SC)
A tutorial introduction to the ARM and POWER relaxed memory models, October 2012
Luc Maranget and others (2012) · Draft. URL:
Why on-chip cache coherence is here to stay
M. M. K. Martin and others (2012) · Association for Computing Machinery (ACM)
Air-ground channels & models: Comprehensive review and considerations for unmanned aircraft systems
D. W. Matolak (2012) · IEEE
Yet Another Fault Injection Technique: By Forward Body Biasing Injection
Philippe Maurine and others (2012) · YACC’2012: Yet Another Conference on Cryptography
Study of shadowing effect by aircraft maneuvering for air-to-ground communication
Yu Song Meng and others (2012) · AEU - International Journal of Electronics and Communications · Elsevier BV
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR
Florian Merz and others (2012) · Lecture notes in computer science · Springer Science+Business Media
Lessons from twenty years of industrial formal methods
S. P. Miller (2012) · 20th High Confidence Software and Systems Conference (HCSS 2012)
Virality in social media: the SPIN Framework
Adam J. Mills (2012) · Journal of Public Affairs · Wiley
A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata
S. Miremadi and others (2012) · Institute of Electrical and Electronics Engineers (IEEE)
An empirical study of the state of the practice and acceptance of model-driven engineering in four industrial cases
Parastoo Mohagheghi and others (2012) · Empirical Software Engineering · Springer Science+Business Media
U.S. Military Information Operations in Afghanistan: Effectiveness of Psychological Operations 2001–2010
Arturo Munoz (2012) · RAND
Marine heterogeneous multirobot systems at the great Eastern Japan Tsunami recovery
R. R. Murphy and others (2012) · Wiley
Persistent OSPF Attacks
G. Nakibly and others (2012)
Circuit states
Jesse Conrad Newcomb (2012)
Method of predicting electronic circuit floating gates
Jesse Conrad Newcomb (2012)
A Primer on Separation Logic (and Automatic Program Verification and Analysis)
Peter W. O'Hearn (2012) · Software Safety and Security: Tools for Analysis and Verification · IOS Press
The system verification methodology for advanced TLM verification
M. F. Oliveira and others (2012) · ACM
Virtualization and Distribution of the BGP Control Plane
Mihaela Iuniana Oprescu (2012)
Sizing estimates for a fully deployed rpki
Eric Osterweil and others (2012) · Technical Report 1120005
Fast and efficient automatic memory management for GPUs using compiler-assisted runtime coherence scheme
S. Pai and others (2012) · ACM
Fighting crime in Salt Lake City
Palantir Technologies (2012)
ADS-B Data Authentication Based on ECC and X.509 Certificate
W.-J. Pan and others (2012) · Journal of Electronic Science and Technology
Web Services and SOA: Principles and Technology
Michael Papazoglou (2012) · Pearson-Prentice Hall
From Delay-Tolerant Networks to Vehicular Delay-Tolerant Networks
Paulo Rogério Pereira and others (2012) · IEEE Communications Surveys & Tutorials
System Design for FEC in Aeronautical Telemetry
Erik S. Perrins (2012)
Bootstrapping in a language of thought: A formal model of numerical concept learning
S. T. Piantadosi and others (2012) · Elsevier BV
Backward compatibility of software interfaces: Steps towards automatic verification
A. Ponomarenko and others (2012) · Programming and Computer Software · Pleiades Publishing Ltd
Synthèse de moniteurs asynchrones à partir d'assertions temporelles pour la surveillance robuste de circuits synchrones
Alexandre Porcher (2012)
Nonsymbolic numerical magnitude comparison: Reliability and validity of different task variants and outcome measures, and their relationship to arithmetic achievement in adults
Gavin R. Price and others (2012) · Acta Psychologica · Elsevier BV
How Hard Can It Be? Designing and Implementing a Deployable Multipath TCP
Costin Raiciu and others (2012) · Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI '12) · USENIX Association
Model-Based Systems Engineering: An Emerging Approach for Modern Systems
A. L. Ramos and others (2012) · Institute of Electrical and Electronics Engineers (IEEE)
A history of an internet exchange point
Juan Camilo Cardona Restrepo and others (2012) · Association for Computing Machinery (ACM)
A centralized and a decentralized method to automatically derive choreography-conforming web service systems
Ismael Rodríguez and others (2012) · The Journal of Logic and Algebraic Programming · Elsevier BV
Return-oriented programming: Systems, languages, and applications
Ryan Roemer and others (2012) · Association for Computing Machinery (ACM)
The vtr project: Architecture and cad for fpgas from verilog to routing
Jonathan Rose and others (2012) · Proceedings of the ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA ’12, page 77–86, New York, NY, USA
Number, texture and crowding
John Ross and others (2012) · Trends in Cognitive Sciences · Elsevier BV
OFLOPS: An Open Framework for OpenFlow Switch Evaluation
Charalampos Rotsos and others (2012) · Springer Berlin Heidelberg
Göttingen and the Development of the Natural Sciences
Nicolaas Rupke (2012)
Thermodynamics of Information Processing in Small Systems
Takahiro Sagawa (2012) · Progress of Theoretical Physics · Oxford University Press
SCD: A scalable coherence directory with flexible sharer set encoding
Daniel Sánchez and others (2012)
Foundations of Algebraic Specification and Formal Software Development
Donald Sannella and others (2012) · Springer Nature
Synchronising C/C++ and POWER
Susmit Sarkar and others (2012) · ACM
Simple photonic emission analysis of aes: photonic side channel analysis for the rest of us
Alexander Schlösser and others (2012) · Cryptographic Hardware and Embedded Systems–CHES 2012: 14th International Workshop, Leuven, Belgium, September 9-12
Two-Variable Logic with Two Order Relations
Th. Schwentick and others (2012) · Centre pour la Communication Scientifique Directe (CCSD)
Alliance-based clustering scheme for group key management in mobile ad hoc networks
H. Seba and others (2012) · Springer Science and Business Media LLC
Deep Trench Capacitors for Switched Capacitor Voltage Converters Outline Motivation
J.-S. Seo and others (2012) · 3rd International Workshop for Power Supply on Chip
Generating, manipulating and measuring entanglement and mixture with a reconfigurable photonic circuit
Peter Shadbolt and others (2012) · Nature Photonics · Nature Portfolio
An Overview of Software Defect Density: A Scoping Study
Syed Muhammad Ali Shah and others (2012) · 2012 19th Asia-Pacific Software Engineering Conference · IEEE
An Asynchronous Floating-Point Multiplier
Basit Riaz Sheikh and others (2012) · IEEE
Supervisory control of extended finite automata using transition projection
M. R. Shoaei and others (2012) · IEEE
An ideal observer analysis of visual working memory.
Chris R. Sims and others (2012) · Psychological Review · American Psychological Association
Introducing the Knowledge Graph: Things, not strings
Amit Singhal (2012)
LLBMC: A Bounded Model Checker for LLVM’s Intermediate Representation
Carsten Sinz and others (2012) · Lecture notes in computer science · Springer Science+Business Media
Breakthrough Silicon Scanning Discovers Backdoor in Military Chip
Sergei P. Skorobogatov and others (2012) · Lecture notes in computer science · Springer Science+Business Media
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
Chris Spear and others (2012) · Springer Nature
One-Step, Two-Step, or Multi-step Flow: The Role of Influencers in Information Processing and Dissemination in Online, Interest- Based Publics
Kathleen Spencer Stansberry (2012)
On the capacity of airborne MIMO communications
W. Su and others (2012) · IEEE
The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces
Rong Su and others (2012) · IEEE Transactions on Automatic Control · Institute of Electrical and Electronics Engineers
A Low Power Asynchronous GPS Baseband Processor
B.Z. Tang and others (2012) · IEEE
When do people report crime to the police? Results from a factorial survey design in the Netherlands, 2010
Jochem Tolsma and others (2012) · Journal of Experimental Criminology · Springer Science+Business Media
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving
Dmitry Traytel and others (2012) · 2012 27th Annual IEEE Symposium on Logic in Computer Science · IEEE
Characterization of interface trap density of In-rich InGaAs Gate-all-around nanowire MOSFETs
Fahim ur Rahman and others (2012) · International Conference on Electrical and Computer Engineering (ICECE)
A taxonomy of model‐based testing approaches
M. Utting and others (2012) · Wiley
Second order logic or set theory?
Jouko Väänänen (2012) · Bulletin of Symbolic Logic
Variability in encoding precision accounts for visual short-term memory limitations
Ronald van den Berg and others (2012) · Proceedings of the National Academy of Sciences · National Academy of Sciences
Cloud federation in a layered service model
David Villegas and others (2012) · Journal of Computer and System Sciences · Elsevier BV
BGP Support for Four-Octet Autonomous System (AS) Number Space
Q. Vohra and others (2012) · RFC Editor
Classic Home Video Games, 1972-1984: A Complete Reference Guide
Brett Weiss (2012)
Data structures and algorithm analysis in Java
Mark Allen Weiss (2012) · Pearson Education
Link Reversal Algorithms
J. L. Welch and others (2012) · Springer International Publishing
Formal Verification of Critical Aerospace Software
Virginie Wiels and others (2012) · Aerospace Lab
Happy Eyeballs: Success with Dual-Stack Hosts
D. Wing and others (2012) · RFC Editor
Experimentation in Software Engineering
Claes Wohlin and others (2012) · Springer Nature
Oscillator Verification with Probability One
Chao Yan and others (2012) · Formal Methods in Computer-Aided Design (FMCAD) · IEEE
Trends in the global IC design service market
A. Yeh (2012)
Optical Switches
Shifu Yuan and others (2012) · Fibre Optic Communication: Key Devices
Self-consistent determination of threshold voltage of In-rich Gate-All-Around InxGa1−xAs nanowire transistor incorporating quantum mechanical effect
R. Zaman and others (2012) · IEEE
Automatic test packet generation
Hongyi Zeng and others (2012) · ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT)
An Unmanned Aerial Vehicle‐Based Imaging System for 3D Measurement of Unpaved Road Surface Distresses
C. Zhang and others (2012) · Elsevier BV
Formalizing the LLVM intermediate representation for verified program transformations
Jianzhou Zhao (2012) · Association for Computing Machinery (ACM)
Private and verifiable interdomain routing decisions
Mingchen Zhao and others (2012) · Association for Computing Machinery (ACM)
Emergence of a "visual number sense" in hierarchical generative models
M. Zorzi and others (2012) · PsycEXTRA Dataset · American Psychological Association (APA)
Short-circuit-path and floating-node verification of analog circuits in power-down mode
Michael Zwerger and others (2012) · IEEE