2010
197 references published this year.
When Clocks Fail: On Critical Paths and Clock Faults
Michel Agoyan and others (2010) · Lecture notes in computer science · Springer Science+Business Media
Fences in Weak Memory Models
Jade Alglave and others (2010) · Lecture notes in computer science · Springer Science+Business Media
A Shared Memory Poetics
Jade Alglave (2010)
Automated Verification of a Small Hypervisor
Eyad Alkassar and others (2010) · Lecture notes in computer science · Springer Science+Business Media
Synthèse de contrôleurs séquentiels QDI faible consommation prouvés corrects
Khaled Alsayeg (2010)
Detection of coordinated attacks using alert correlation model
F. Alserhani and others (2010) · IEEE
FlowChecker: Configuration analysis and verification of federated OpenFlow infrastructures
E. Al-Shaer and others (2010) · Proceedings of the 3rd ACM Workshop on Assurable and Usable Security Configuration
IS INTERNET ACCESS A HUMAN RIGHT?
Unattributed (2010) · SciTePress - Science and and Technology Publications
Expressive Power of Query Languages
T. Antonopoulos (2010)
IPv4 Address Blocks Reserved for Documentation
J. Arkko and others (2010) · RFC Editor
The first worldwide public packet switching network
Luis Arroyo (2010) · 2010 Second IEEE HISTELCON: History of Electro-technology Conference · IEEE
ABI compatibility through a customizable language
Kevin Atkinson and others (2010) · Proceedings of the ninth international conference on Generative programming and component engineering · ACM
The Impact of Career Experiences on Generativity and Postretirement Choices for Intelligence Community Baby Boomers
Paul Atkinson (2010)
CλaSH: Structural Descriptions of Synchronous Hardware Using Haskell
Christiaan Baaij and others (2010) · 2010 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools · IEEE
Acoustic side-channel attacks on printers
M. Backes and others (2010) · 19th USENIX Security Symposium
Design and Verification of Systems with Exogenous Coordination Using Vereofy
Christel Baier and others (2010) · Lecture notes in computer science · Springer Science+Business Media
WYSINWYX: What You See Is Not What You eXecute
Gogul Balakrishnan and others (2010) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery (ACM)
OTAWA: An Open Toolbox for Adaptive WCET Analysis
Clément Ballabriga and others (2010) · Lecture notes in computer science · Springer Science+Business Media
Attacks on Java Card 3.0 Combining Fault and Logical Attacks
Guillaume Barbu and others (2010) · Springer Berlin Heidelberg
Countermeasures against fault attacks on software implemented AES: effectiveness and cost
Alessandro Barenghi and others (2010) · Proceedings of the 5th Workshop on Embedded Systems Security · ACM
Low voltage fault attacks to AES
Alessandro Barenghi and others (2010) · IEEE International Symposium on Hardware Oriented Security and Trust (HOST)
Programming with angelic nondeterminism
Shaon Barman and others (2010) · Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages · ACM
The SMT-LIB standard: Version 2.0
Clark Barrett and others (2010) · Proceedings of the 8th international workshop on satisfiability modulo theories (Edinburgh, England)
A Calculus of Contracting Processes
Massimo Bartoletti and others (2010) · IEEE
Primitives for Contract-based Synchronization
Massimo Bartoletti and others (2010) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
Virtualizing networking and security in the cloud
Debashis Basak and others (2010) · ACM SIGOPS Operating Systems Review · Association for Computing Machinery (ACM)
Preventing IC Piracy Using Reconfigurable Logic Barriers
A. Baumgarten and others (2010) · Institute of Electrical and Electronics Engineers (IEEE)
Goals for a Human-Data Interface
Tim Berners-Lee (2010)
Peano Arithmetic
Guram Bezhanishvili (2010) · Learning Discrete Mathematics and Computer Science via Primary Historical Sources, New Mexico State University (NMSU), Old Dominion University (ODU), Colorado State University at Pueblo (CSU-P)
A survey of challenges in attribution
W. Earl Boebert (2010) · Proceedings of a workshop on Deterring CyberAttacks
Prototyping a tool environment for run-time assertion checking in JML with communication histories
F. S. de Boer and others (2010) · ACM
An Extension of Data Automata that Captures XPath
Mikołaj Bojańczyk and others (2010) · Proceedings - Symposium on Logic in Computer Science · Institute of Electrical and Electronics Engineers
ATLAS: Automatic Term-level abstraction of RTL designs
B. A. Brady and others (2010) · IEEE
Hybrid Logic and its Proof-Theory
Torben Braüner (2010) · Springer
ABC: An Academic Industrial-Strength Verification Tool
R. K. Brayton and others (2010) · Springer Berlin Heidelberg
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
D. Bresolin and others (2010) · IOS Press
Classical BI: Its Semantics and Proof Theory
James Brotherston and others (2010) · Centre pour la Communication Scientifique Directe (CCSD)
Undecidability of propositional separation logic and its neighbours
James Brotherston and others (2010) · 25th IEEE Symposium on Logic in Computer Science (LICS) · IEEE
Airborne vision‐based mapping and classification of large farmland environments
M. Bryson and others (2010) · Wiley
Subitizing but not estimation of numerosity requires attentional resources
David C. Burr and others (2010) · Journal of Vision · Association for Research in Vision and Ophthalmology
Contracts for Abstract Processes in Service Composition
Maria Grazia Buscemi and others (2010) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
A Survey of BGP Security Issues and Solutions
K. Butler and others (2010) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
K. Cai and others (2010) · Institute of Electrical and Electronics Engineers (IEEE)
A Taxonomy of Operational Cyber Security Risks Version 2 CERT ® Division
J. J. Cebula and others (2010) · http://www.sei.cmu.edu
Automatic assertion extraction via sequential data mining of simulation traces
Po-Hsien Chang and others (2010) · Asia and South Pacific Design Automation Conference (ASP-DAC)
Return-oriented programming without returns
Stephen Checkoway and others (2010) · ACM
Phase Frequency Detector With Minimal Blind Zone for Fast Frequency Acquisition
W.-H. Chen and others (2010) · Institute of Electrical and Electronics Engineers (IEEE)
Pandemics in the Age of Twitter: Content Analysis of Tweets during the 2009 H1N1 Outbreak
Cynthia Chew and others (2010) · PLoS ONE · Public Library of Science (PLoS)
An introduction to programming and proving with dependent types in coq
Adam Chlipala (2010) · J. Formalized Reasoning
Crowdsourcing isp characterization with netalyzr
David R. Choffnes and others (2010) · Proceedings of the ACM Internet Measurement Conference (IMC)
A lower bound for the spectral radius of graphs with fixed diameter
S. M. Cioabă and others (2010) · European Journal of Combinatorics
Evolution of Internet Address Space Deaggregation: Myths and Reality
Luca Cittadini and others (2010) · IEEE Journal on Selected Areas in Communications · Institute of Electrical and Electronics Engineers (IEEE)
The Localization Reduction and Counterexample-Guided Abstraction Refinement
Edmund M. Clarke and others (2010) · Springer Berlin Heidelberg
Hyperproperties
Michael R. Clarkson and others (2010) · SAGE Publications
Processor virtualization and split compilation for heterogeneous multicore embedded systems
Albert Cohen and others (2010) · ACM/IEEE Design Automation Conference (DAC) · Association for Computing Machinery
Insider Threat and Information Security Management
L. Coles-Kemp and others (2010) · Springer US
Cache Hierarchy and Memory Subsystem of the AMD Opteron Processor
P. Conway and others (2010) · Institute of Electrical and Electronics Engineers (IEEE)
IANA Guidelines for IPv4 Multicast Address Assignments
M. Cotton and others (2010) · RFC Editor
A gentle introduction to formal verification of computer systems by abstract interpretation
Patrick Cousot and others (2010) · Logics and Languages for Reliability and Security · IOS Press
The cyber kill chain: A foundation for a new cyber security strategy
Charles Croom (2010) · High Frontier
Metamoc: Modular execution time analysis using model checking
A. Dalsgaard and others (2010) · WCET
Incoherence analysis and its application to time domain EM analysis of secure circuits
Amine Dehbaoui and others (2010) · Asia-Pacific International Symposium on Electromagnetic Compatibility (APEMC)
Sessions and Session Types: An Overview
Mariangiola Dezani-Ciancaglini and others (2010) · Springer Berlin Heidelberg
The internet is flat: Modeling the transition from a transit hierarchy to a peering mesh
Amogh Dhamdhere and others (2010) · Proceedings of the 6th International COnference
Concurrent Abstract Predicates
Thomas Dinsdale-Young and others (2010) · Springer Berlin Heidelberg
Memory Leaks Detection in Java by Bi-abductive Inference
Dino Distefano and others (2010) · Lecture notes in computer science · Springer Science+Business Media
A Predictive Model for Cache-Based Side Channels in Multicore and Multithreaded Microprocessors
Leonid Domnitser and others (2010) · Computer Network Security · Springer Berlin Heidelberg
Proof-Carrying Hardware: Runtime Formal Verification for Secure Dynamic Reconfiguration
S. Drzevitzky (2010) · IEEE
Supervisory Control for Opacity
Jeremy Dubreil and others (2010) · IEEE Transactions on Automatic Control · Institute of Electrical and Electronics Engineers (IEEE)
A framework for automated architecture-independent gadget search
Thomas Dullien and others (2010) · WOOT 2010: 4th USENIX Workshop on Offensive Technologies
Innovation, Technology, or History: What is the Historiography of Technology About?
David Edgerton (2010) · Project MUSE
Quantum mechanics and path integrals
Richard P Feynman and others (2010) · Courier Corporation
Reasoning on words and trees with data
Diego Figueira (2010)
Building federated research networks in europe
Lars Fischer and others (2010) · Terena Networking Conference
A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture
Anthony C. J. Fox and others (2010) · Springer Berlin Heidelberg
LEON3 Multiprocessing CPU Core
Aeroflex Gaisler (2010) · Aeroflex Gaisler, February
Tableaux and resource graphs for separation logic
Didier Galmiche and others (2010) · Journal of Logic and Computation
SEE test and modeling results on 45nm SRAMs with different well strategies
Gilles Gasiot and others (2010) · IEEE International Reliability Physics Symposium proceedings · Institute of Electrical and Electronics Engineers
Helping Others Defend Themselves
Robert M. Gates (2010) · Foreign Affairs
Spatial avoidance of hardware faults using FPGA partial reconfiguration of tile-based soft processors
Clint Gauer and others (2010) · IEEE Aerospace Conference (AERO) · Institute of Electrical and Electronics Engineers
Kahn Process Networks and a Reactive Extension
Marc Geilen and others (2010) · Springer US
A framework for logic-aware layout analysis
Patrick Gibson and others (2010) · International Symposium on Quality Electronic Design (ISQED)
The politics of ‘platforms’
Tarleton Gillespie (2010) · New Media & Society · SAGE Publications
Characterizing Cloud Federation for Enhancing Providers' Profit
Íñigo Goiri and others (2010) · IEEE ... International Conference on Cloud Computing
Forward with Hoare
Mike Gordon and others (2010) · Springer Nature
Mizar in a nutshell
Adam Grabowski and others (2010) · Journal Formalized Reasoning
Side-Channel Analysis of Cryptographic Software via Early-Terminating Multiplications
Johann Großschädl and others (2010) · Information, Security and Cryptology – ICISC 2009 · Springer Berlin Heidelberg
Fault Injection Resilience
Sylvain Guilley (2010) · IEEE
The mälardalen WCET benchmarks: Past, present and future
J. Gustafsson and others (2010) · 10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010, July 6
Towards WCET analysis of multicore architectures using UPPAAL
A. Gustavsson and others (2010) · 10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010, July 6
Partial, Total and General Correctness
Walter Guttmann (2010) · Lecture notes in computer science · Springer Science+Business Media
Increasing the Efficiency of Simulation-Based Functional Verification Through Unsupervised Support Vector Analysis
Onur Guzey and others (2010) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
Realizability analysis for message-based interactions using shared-state projections
Sylvain Hallé and others (2010) · ACM
Formal Reliability Analysis Using Theorem Proving
Osman Hasan and others (2010) · Institute of Electrical and Electronics Engineers (IEEE)
An introduction to formal methods for the development of safety-critical applications
Anne Elisabeth Haxthausen (2010) · Technical University of Denmark
The OKL4 microvisor: convergence point of microkernels and hypervisors
Gernot Heiser and others (2010) · ApSys 2010: Proceedings of the first ACM SIGCOMM Asia-Pacific Workshop on Systems
Nonlinear Integer Programming
Raymond Hemmecke and others (2010) · Springer Nature
Code-Aided Maximum-Likelihood Ambiguity Resolution Through Free-Energy Minimization
C. Herzet and others (2010) · Institute of Electrical and Electronics Engineers (IEEE)
Growing Cells Atop Microelectronic Chips: Interfacing Electrogenic Cells In Vitro With CMOS-Based Microelectrode Arrays
Andreas Hierlemann and others (2010) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers
A Greater Role for NATO in Afghanistan
A. R. Hoehn and others (2010) · Risking NATO: Testing the Limits of the Alliance in Afghanistan (pp. 25–40). RAND Corporation. http://www.jstor.org/stable/10.7249/mg974af.11
Redefining NATO’s Role: 9/11 to Afghanistan
A. R. Hoehn and others (2010) · Risking NATO: Testing the Limits of the Alliance in Afghanistan (pp. 13–24). RAND Corporation. http://www.jstor.org/stable/10.7249/mg974af.10
Electromagnetic information leakage for side-channel analysis of cryptographic modules
N Homma and others (2010) · IEEE
A 48-Core IA-32 message-passing processor with DVFS in 45nm CMOS
J. Howard and others (2010) · IEEE
Use of Formal Verification at Centaur Technology
Warren A. Hunt and others (2010) · Design and Verification of Microprocessor Systems for High-Assurance Applications · Springer US
Near-infrared spectroscopy shows right parietal specialization for number in pre-verbal infants
Daniel C. Hyde and others (2010) · NeuroImage · Elsevier BV
Doc 9925 — Manual on the Aeronautical Mobile Satellite (Route) Service
ICAO, (2010) · ICAO Doc 9925, International Civil Aviation Organization (ICAO)
IEEE Standard for Property Specification Language (PSL)
Unattributed (2010) · IEEE
A Quick Tour of the VeriFast Program Verifier
Bart Jacobs and others (2010) · Lecture notes in computer science · Springer Science+Business Media
Google and the scholar: the role of Google in scientists
H. R. Jamali and others (2010) · information-seeking behaviour’
Voter insertion algorithms for FPGA designs using triple modular redundancy
Jonathan Johnson and others (2010) · ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA)
An efficient fault-tolerance technique for the Keyed-Hash Message Authentication Code
Marcio Juliato and others (2010) · 2010 IEEE Aerospace Conference · IEEE
Malware detection based on dependency graph using hybrid genetic algorithm
Keehyung Kim and others (2010) · Genetic and Evolutionary Computation Conference (GECCO)
Proactive Detection of Computer Worms Using Model Checking
Johannes Kinder and others (2010) · IEEE Transactions on Dependable and Secure Computing · IEEE Computer Society
seL4: Formal Verification of an Operating-System Kernel
Gerwin Klein and others (2010) · Association for Computing Machinery (ACM)
Onix: A distributed control platform for large-scale production networks
T. Koponen and others (2010) · 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)
Cryptographic Extraction and Key Derivation: The HKDF Scheme
Hugo Krawczyk (2010) · Lecture notes in computer science · Springer Science+Business Media
HMAC-based Extract-and-Expand Key Derivation Function (HKDF)
H. Krawczyk and others (2010) · RFC Editor
The Development and Impact of Self-Report Measures of Crime and Delinquency
M. D. Krohn and others (2010) · Springer Science and Business Media LLC
An Automated ESD Verification Tool for Analog Design
Hans Kunz and others (2010) · Electrical Overstress/Electrostatic Discharge Symposium Proceedings 2010.
Business intelligence: The role of the internet in marketing research and business decision-making
Ivana Kursan and others (2010) · Management: journal of contemporary management issues
Internet inter-domain traffic
Craig Labovitz and others (2010) · ACM
Quantum computers
Thaddeus D. Ladd and others (2010) · Springer Science and Business Media LLC
Case Study: Power-aware IP and Mixed-Signal Verification
Luke Lang (2010) · DVCON (2010).
The Undecidability of Boolean BI through Phase Semantics
Dominique Larchey-Wendling and others (2010) · 2010 25th Annual IEEE Symposium on Logic in Computer Science · IEEE
PEBIL: Efficient static binary instrumentation for Linux
M. A. Laurenzano and others (2010) · IEEE
Capacity analysis of MIMO channel with line-of-sight and reflected paths for millimeter-wave communication
S. J. Lee and others (2010) · IEEE
A DVS Embedded Power Management for High Efficiency Integrated SoC in UWB System
Y.-H. Lee and others (2010) · Institute of Electrical and Electronics Engineers (IEEE)
Statistical Model Checking: An Overview
Axel Legay and others (2010) · Runtime Verification · Springer Berlin Heidelberg
Dafny: An Automatic Program Verifier for Functional Correctness
K. R. M. Leino (2010) · Springer Berlin Heidelberg
Built-in Clock Domain Crossing (CDC) test and diagnosis in GALS systems
C. Leong and others (2010)
Dynamic voltage and frequency scaling: The laws of diminishing returns
E. Le Sueur and others (2010) · Proceedings of the 2010 international conference on Power aware computing and systems
Defeating return-oriented rootkits with return-less kernels
Jinku Li and others (2010) · European Conference on Computer Systems
Scalable specification mining for verification and diagnosis
Wenchao Li and others (2010) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
Understanding the Semantic Structure of Noun Phrase Queries
Xiao Li (2010) · Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics
Error-detecting/correcting-code-based self-checked/corrected/timed circuits
Bao Liu (2010) · 2010 NASA/ESA Conference on Adaptive Hardware and Systems · IEEE
Authenticating aviation augmentation system broadcasts
SHERMAN C. LO and others (2010) · IEEE/ION Position Location and Navigation Symposium
Elliptic Curve Cryptography (ECC) Brainpool Standard Curves and Curve Generation
Manfred Lochter and others (2010)
Stateful bulk processing for incremental analytics
Dionysios Logothetis and others (2010) · ACM Symposium on Cloud Computing (SoCC)
General Magnitude Representation in Human Infants
S. F. Lourenco and others (2010) · SAGE Publications
Hierarchical verification of chip-level ESD design rules
Ziyang Lu and others (2010) · Electrical Overstress/Electrostatic Discharge Symposium Proceedings 2010 (2010), 1–6.
G
M, (2010)
Introduction to Antenna Placement and Installation
Thereza M. Macnamara (2010) · Wiley
A Formal Verification Study on the Rotterdam Storm Surge Barrier
Ken Madlener and others (2010) · 12th International Conference on Formal Engineering Methods (ICFEM 2010) · Springer
Coordination of Resources using Generalized State-Based Requirements
Jasen Markovski and others (2010) · IFAC Proceedings Volumes · Elsevier BV
A formal executable semantics of Verilog
Patrick Meredith and others (2010) · ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE)
Software model checking takes off
Steven P. Miller and others (2010) · Association for Computing Machinery (ACM)
Verified just-in-time compiler on x86
Magnus O. Myreen (2010) · ACM
CETS: Compiler enforced temporal safety for C
Santosh Nagarakatte and others (2010) · ACM
Quantum Computation and Quantum Information
Michael A Nielsen and others (2010) · Cambridge University Press
Automatic pipelining from transactional datapath specifications
E. Nurvitadhi and others (2010) · IEEE
H
P, (2010) · Hartel, M
Contract-based discovery of Web services modulo simple orchestrators
Luca Padovani (2010) · Theoretical Computer Science · Elsevier BV
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution
Mike Papadakis and others (2010) · IEEE
Really rethinking ‘formal methods’
David Lorge Parnas (2010) · Computer
Frame synchronization in frequency uncertainty
Raffaella Pedone and others (2010) · IEEE Transactions on Communications · IEEE Communications Society
Quantum Walks of Correlated Photons
Alberto Peruzzo and others (2010) · Science · American Association for the Advancement of Science
Quantum Communications in Reconfigurable Optical Networks: DWDM QKD through a ROADM
N. A. Peters and others (2010) · Optical Fiber Communication Conference · OSA
SWEL: Hardware cache coherence protocols to map shared data onto shared caches
S. H. Pugsley and others (2010) · ACM
A Fully-Integrated Switched-Capacitor Step-Down DC-DC Converter With Digital Capacitance Modulation in 45 nm CMOS
Y. K. Ramadass and others (2010) · Institute of Electrical and Electronics Engineers (IEEE)
Silicon optical modulators
G. T. Reed and others (2010) · Springer Science and Business Media LLC
Address Translation Aware Memory Consistency
Bogdan Romanescu and others (2010) · IEEE Micro · Institute of Electrical and Electronics Engineers (IEEE)
Specifying and dynamically verifying address translation-aware memory consistency
Bogdan F. Romanescu and others (2010)
Vision senses number directly
J. Ross and others (2010) · Association for Research in Vision and Ophthalmology (ARVO)
Linear Temporal Logic Symbolic Model Checking
Kristin Yvonne Rozier (2010) · Computer Science Review · Elsevier BV
Datagram Transport Layer Security (DTLS) Transport Mapping for Syslog
Joseph Salowey and others (2010)
Semi-automatic derivation of timing models for WCET analysis
Marc Schlickling and others (2010) · ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)
Losing Control of the Internet: Using the Data Plane to Attack the Control Plane
Max Schuchard and others (2010) · Proceedings of the 17th ACM conference on Computer and communications security
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
Edward J. Schwartz and others (2010) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
Two controversies in the early history of the telegraph
Mischa Schwartz and others (2010) · IEEE Communications Magazine · Institute of Electrical and Electronics Engineers
5.11 The Junction Field-Effect Transistor (JFET)
A. S. Sedra and others (2010) · Oxford University Press, Inc. [Accessed 18-09-2024]
CMMI for Development, version 1.3
CMMI Product Team (2010) · Software Engineering Institute, Carnegie Mellon University
A fully programmable FSM-based Processing Engine for Gigabytes/s header parsing
Konstantin Septinus and others (2010) · International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation
x86-TSO: A rigorous and usable programmer's model for x86 multiprocessors
Peter Sewell and others (2010) · Communications of the ACM · Association for Computing Machinery (ACM)
An Operand-Optimized Asynchronous IEEE 754 Double-Precision Floating-Point Adder
B.R. Sheikh and others (2010) · IEEE
Optical Fault Masking Attacks
Sergei Skorobogatov (2010) · IEEE
Types of proof system
Peter Smith (2010)
Challenges in building scalable virtualized datacenter management
V. Soundararajan and others (2010) · Association for Computing Machinery (ACM)
Formal verification of demand paging
Artem Starostin (2010) · Universität des Saarlandes
Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction
R. Su and others (2010) · Institute of Electrical and Electronics Engineers (IEEE)
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
Rong Su and others (2010) · Automatica · Elsevier BV
Computer Underground Digest
Lambert M. Surhone and others (2010)
Discrete optics in femtosecond-laser-written photonic structures
Alexander Szameit and others (2010) · IOP Publishing
In Quest of the “Next Switch”: Prospects for Greatly Reduced Power Dissipation in a Successor to the Silicon Field-Effect Transistor
Thomas Theis and others (2010) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers
Multi Fault Laser Attacks on Protected CRT-RSA
Elena Trichina and others (2010) · Workshop on Fault Diagnosis and Tolerance in Cryptography
GoldMine: Automatic assertion generation using data mining and static analysis
S. Vasudevan and others (2010) · IEEE
Designing Modular Hardware Accelerators in C with ROCCC 2.0
Jason R. Villarreal and others (2010) · IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM)
Supporting Search and Rescue Operations with UAVs
Sonia Waharte and others (2010) · 2010 International Conference on Emerging Security Technologies · IEEE
Differential Fault Analysis on PRESENT Key Schedule
Gaoli Wang and others (2010) · International Conference on Computational Intelligence and Security (CIS)
Service-Oriented Computing and Cloud Computing: Challenges and Opportunities
Yi Wei and others (2010) · IEEE Internet Computing · Institute of Electrical and Electronics Engineers (IEEE)
Disaster recovery as a cloud service: Economic benefits & deployment challenges
T. Wood and others (2010) · 2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 10)
A Two-Cycle Lock-In Time ADPLL Design Based on a Frequency Estimation Algorithm
Chia-Tsun Wu and others (2010) · IEEE Transactions on Circuits & Systems II Express Briefs · Institute of Electrical and Electronics Engineers
Formal Verification of an Arbiter Circuit
Chao Yan and others (2010) · 2010 IEEE Symposium on Asynchronous Circuits and Systems · IEEE
Safe to the last instruction: automated verification of a type-safe operating system
Jean Yang and others (2010) · Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10 · ACM
A 12-Bit Vernier Ring Time-to-Digital Converter in 0.13 \(\mu{\hbox {m}}\) CMOS Technology
Jianjun Yu and others (2010) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Scalable flow-based networking with DIFANE
Minlan Yu and others (2010) · ACM SIGCOMM Conference (SIGCOMM)
Formal framework and tools to derive efficient applicationlevel detectors against memory corruption attacks
Flore Qin-Yu Yuan (2010)
Fractal Coherence: Scalably Verifiable Cache Coherence
Meng Zhang and others (2010) · IEEE/ACM International Symposium on Microarchitecture (MICRO) · Institute of Electrical and Electronics Engineers