2008
201 references published this year.
Search for gravitational waves from binary inspirals in S3 and S4 LIGO data
B. P. Abbott and others (2008) · Physical Review D
Verilog AMS 2.3 Language Reference Manual
Accellera, (2008)
Assessing and mitigating radiation effects in Xilinx FPGAs
P. Adell and others (2008) · JPL Publication 08-9 2/08, Jet Propulsion Laboratory, California Institute of Technology
A scalable, commodity data center network architecture
M. Al-Fares and others (2008) · ACM
Formal pervasive verification of a paging mechanism
Eyad Alkassar and others (2008) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
The Verisoft Approach to Systems Verification
Eyad Alkassar and others (2008) · Verified Software: Theories, Tools, Experiments · Springer Berlin Heidelberg
Handbook of Algorithms for Physical Design Automation
Charles J. Alpert and others (2008) · CRC Press
The End of Theory: The Data Deluge Makes the Scientific Method Obsolete
Chris Anderson (2008) · Wired
OpenSPARC T1 micro architecture specification
Unattributed (2008)
Datalink Security Part 2 - Key Management
ARINC, (2008) · Technical Report ARINC SPECIFICATION 823P2
The Designers Guide to VHDL
Peter J. Ashenden (2008) · Morgan Kaufmann, Burlington, third edition
Fundamental Principles of Good System Design
A. Terry Bahill and others (2008) · Engineering Management Journal · Taylor & Francis
Principles of Model Checking
Christel Baier and others (2008) · The MIT Press
Fault injection platform for block ciphers
Brian Baldwin and others (2008) · IEE
Interaction ruling animal collective behavior depends on topological rather than metric distance: Evidence from a field study
M. Ballerini and others (2008) · National Academy of Sciences
On the Way to the Web: The Secret History of the Internet and Its Founders
Michael Banks (2008)
The security architecture of the Chromium browser
Adam Barth and others (2008) · Technical report
LocUsT: a tool for checking usage policies
Massimo Bartoletti and others (2008) · Technical Report TR-08-07, Dip. Informatica, Univ. Pisa
Characterization of scientific workflows
S. Bharathi and others (2008) · IEEE
Relational Parametricity and Separation Logic
Lars Birkedal and others (2008) · Logical Methods in Computer Science · Centre pour la Communication Scientifique Directe (CCSD)
Special-Use IPv6 Addresses
M. Blanchet (2008) · RFC Editor
Formal Specification of a Simple Operating System
Sebastian Bogan (2008)
RWset: Attacking Path Explosion in Constraint-Based Test Generation
Peter Boonstoppel and others (2008) · Springer Berlin Heidelberg
LIFTING: A Flexible Open-Source Fault Simulator
Alberto Bosio and others (2008) · Proceedings - Asian Test Symposium/Proceedings · Institute of Electrical and Electronics Engineers
An Algorithmic Toolbox for Network Calculus
Anne Bouillard and others (2008) · Springer Science and Business Media LLC
Nonlinear optics
Robert W Boyd and others (2008) · Springer Handbook of Atomic, Molecular, and Optical Physics · Springer
Contract Compliance and Choreography Conformance in the Presence of Message Queues
Mario Bravetti and others (2008) · Lecture notes in computer science · Springer Science+Business Media
Single-event upset mitigation selection guide
Brendan Bridgford and others (2008) · Xilinx Application Note XAPP987, 1
Cyclic proofs of program termination in separation logic
James Brotherston and others (2008) · ACM SIGPLAN Notices
Influencer Marketing: Who Really Influences Your Customers? New York: Routledge, 2008
Duncan Brown and others (2008) · Routledge
Ensuring the correctness of lightweight tactics for JavaCard dynamic logic
Richard Bubel and others (2008) · Electronic Notes in Theoretical Computer Science
A Visual Sense of Number
D. C. Burr and others (2008) · Elsevier BV
EXE: Automatically generating inputs of death
Cristian Cadar and others (2008) · ACM Transactions on Information and System Security · Association for Computing Machinery
Klee: unassisted and automatic generation of high-coverage tests for complex systems programs
Cristian Cadar and others (2008) · OSDI
Reaching a Consensus in a Dynamically Changing Environment: A Graphical Approach
Ming Cao and others (2008) · SIAM Journal on Control and Optimization · Society for Industrial and Applied Mathematics
Reaching a Consensus in a Dynamically Changing Environment: Convergence Rates, Measurement Delays, and Asynchronous Events
Ming Cao and others (2008) · SIAM Journal on Control and Optimization · Society for Industrial and Applied Mathematics
Synchronous Functional Programming: The Lucid Synchrone Experiment
Paul Caspi and others (2008)
Authentication / integrity algorithm issues survey
CCSDS, (2008) · Informational Report CCSDS 350.1-G-1
Encryption algorithm trade survey
CCSDS, (2008) · Informational Report CCSDS 350.2-G- 1
Symmetric encryption
CCSDS, (2008) · Draft Recommended Practice CCSDS 353.0-R-1, CCSDS, March 2008. Red Book
A simple timing recovery scheme for SOQPSK
Prashanth Chandran and others (2008) · IEEE Military Communications Conference (MILCOM)
Environment Assumptions for Synthesis
K. Chatterjee and others (2008) · Springer Berlin Heidelberg
Industrial Use of Formal Methods for a High-Level Security Evaluation
Boutheina Chetali and others (2008) · Springer Berlin Heidelberg
FLUTE: Fast Lookup Table Based Rectilinear Steiner Minimal Tree Algorithm for VLSI Design
C. Chu and others (2008) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers (IEEE)
Superconducting quantum bits
John Clarke and others (2008) · Nature
Hyperproperties
M. R. Clarkson and others (2008) · IEEE
Bitfields and tagged unions in C: Verification through automatic generation
David Cock (2008) · Proceedings of the 5th International Verification Workshop
Secure Microkernels, State Monads and Scalable Refinement
David Cock and others (2008) · Springer Berlin Heidelberg
A precise yet efficient memory model for C
Ernie Cohen and others (2008) · http://research.microsoft.com/ apps/pubs/default.aspx?id=77174
Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile
D. Cooper and others (2008) · RFC Editor
A Declarative Language for the Coq Proof Assistant
P. Corbineau (2008) · Springer Berlin Heidelberg
Rational choice perspective
D. B. Cornish and others (2008)
Clock domain crossing design & verification techniques using systemverilog
C. E. Cummings (2008) · SNUG Boston, MA
What is the single greatest need for enhanced EDA solutions in AMS design?
M. Damler (2008) · Analog Insights: Analog/Mixed Signal Verification Blog, Synopsys OpenCommunity
Model stack for the pervasive verification of a microkernel-based operating system
Matthias Daum and others (2008) · 5th International Verification Workshop (VERIFY’08)
A Verification Approach for System-Level Concurrent Programs
Matthias Daum and others (2008) · Lecture notes in computer science · Springer Science+Business Media
MapReduce: Simplified data processing on large clusters
J. Dean and others (2008) · ACM Communications
The cost of doing science on the cloud: The Montage example
Ewa Deelman and others (2008) · International Conference for High Performance Computing, Networking, Storage and Analysis (SC)
Z3: An Efficient SMT Solver
Leonardo de Moura and others (2008) · Lecture notes in computer science · Springer Science+Business Media
CVM – A Verified Framework for Microkernel Programmers
Tom In der Rieden and others (2008) · Electronic Notes in Theoretical Computer Science · Elsevier BV
HardBound: architectural support for spatial safety of the C programming language
Joe Devietti and others (2008) · Association for Computing Machinery (ACM)
Ten years in the evolution of the internet ecosystem
Amogh Dhamdhere and others (2008) · ACM
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
Dominik Dietrich and others (2008) · Lecture notes in computer science · Springer Science+Business Media
jStar: Towards Practical Verification for Java
Dino Distefano and others (2008) · Proceedings of the 23rd ACM SIGPLAN Conference on Object-Oriented Programming Systems Languages and Applications · Association for Computing Machinery
Opacity enforcing control synthesis
J. Dubreil and others (2008) · IEEE
Texture density adaptation and visual number revisited
Frank H. Durgin (2008) · Current Biology · Elsevier BV
Long binary phase codes with good autocorrelation properties
A. Dzvonkovskaya and others (2008) · IEEE
F
E, (2008)
Verified Protection Model of the seL4 Microkernel
Dhammika Elkaduwe and others (2008) · Lecture notes in computer science · Springer Science+Business Media
The Beginning of Model Checking: A Personal Perspective
E. Allen Emerson (2008) · Lecture notes in computer science · Springer Science+Business Media
Space engineering: Methods for the calculation of radiation received and its effects, and a policy for design margins
ESA-ESTEC, (2008) · ECSS Secretariat, ECSS-E-ST-10-12C
Certifying low-level programs with hardware interrupts and preemptive threads
Xinyu Feng and others (2008) · Association for Computing Machinery (ACM)
Supervisory Control Architecture for Discrete-Event Systems
L. Feng and others (2008) · Institute of Electrical and Electronics Engineers (IEEE)
Cryptographically sound implementations for typed information-flow security
Cédric Fournet and others (2008) · ACM
Zambia: Back to the Future?
Alastair Fraser (2008) · Oxford University PressOxford
Javert: Fully automatic mining of general temporal properties from dynamic traces
M. Gabel and others (2008) · 16th International Symposium on Foundations of Software Engineering (FSE)
Symbolic mining of temporal specifications
Mark Gabel and others (2008) · Proceedings/Proceedings - International Conference on Software Engineering · Institute of Electrical and Electronics Engineers
The flattening internet topology: Natural evolution, unsightly barnacles or contrived collapse?
Phillipa Gill and others (2008) · Passive and Active Network Measurement · Springer
Performance estimation and slack matching for pipelined asynchronous architectures with choice
Gennette Gill and others (2008) · IEEE
Understanding the evolution of the internet as-level ecosystem
Phillipa Gill and others (2008) · Proceedings of the ACM SIGCOMM
Evolution of the Internet and its cores
Zhang, G.-Q. and others (2008) · IOP Publishing
Towards a next generation data center architecture: scalability and commoditization
Albert G. Greenberg and others (2008)
Silicon-level Solutions to Counteract Passive and Active Attacks
Sylvain Guilley and others (2008) · Workshop on Fault Diagnosis and Tolerance in Cryptography
Developmental change in the acuity of the "number sense": The approximate number system in 3-, 4-, 5-, and 6-year-olds and adults.
J. Halberda and others (2008) · American Psychological Association (APA)
Individual differences in non-verbal number acuity correlate with maths achievement
J. Halberda and others (2008) · Springer Science and Business Media LLC
Exploring Variability and Performance in a Sub-200-mV Processor
Scott Hanson and others (2008) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Towards a Federated Network Architecture
Hoda Mamdouh Hassan and others (2008) · IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)
Soft-Error Vulnerability of Sub-100-nm Flip-Flops
Tino Heijmen (2008) · IEEE International On-Line Testing Symposium (IOLTS)
The International Organization for Standardization (ISO)
Marcel Heires (2008) · New Political Economy · Informa UK Limited
A Local Passive Time Interpolation Concept for Variation-Tolerant High-Resolution Time-to-Digital Conversion
S. Henzler and others (2008) · Institute of Electrical and Electronics Engineers (IEEE)
A Theory of Hygienic Macros
David Herman and others (2008) · 17th European Symposium on Programming (ESOP) · Springer
Multiparty asynchronous session types
Kohei Honda and others (2008) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
Textual Representation of Autonomous System (AS) Numbers
G. Huston and others (2008) · RFC Editor
The Worldwide History of Telecommunications
Anton A. Huurdeman (2008)
IBM Journal of Research and Development
Unattributed (2008)
Development and application of an autonomous unmanned aerial vehicle for precise aerobiological sampling above agricultural fields
D. G. Schmale III and others (2008) · Wiley
DGSim: Comparing Grid Resource Management Architectures through Trace-Based Simulation
A. Iosup and others (2008) · Springer Berlin Heidelberg
Inter-Operating Grids Through Delegated MatchMaking
Alexandru Iosup and others (2008) · Scientific Programming · Hindawi Publishing Corporation
Calibrating the mental number line
Véronique Izard and others (2008) · Cognition · Elsevier BV
The VeriFast Program Verifier
Bart Jacobs and others (2008) · Katholieke Universiteit Leuven, Department of Computer Science
The Design Methodology and Practice of Low Power SoC
H. Jian and others (2008) · IEEE
Measuring defect potentials and defect removal efficiency
Capers Jones (2008) · Journal of Defense Software Engineering
A policy-aware switching layer for data centers
D. A. Joseph and others (2008) · ACM
ATL: A model transformation tool
Frédéric Jouault and others (2008) · Science of Computer Programming · Elsevier BV
An Approach for Recovering Satellites and their Cryptographic Capabilities in the Presence of SEUs and Attacks
Marcio Juliato and others (2008) · 2008 NASA/ESA Conference on Adaptive Hardware and Systems · IEEE
SEU-resistant SHA-256 design for security in satellites
Marcio Juliato and others (2008)
New Differential Fault Analysis on AES Key Schedule: Two Faults Are Enough
Chong Hee Kim and others (2008) · Smart Card Research and Advanced Applications · Springer Berlin Heidelberg
Jakstab: A Static Analysis Platform for Binaries
Johannes Kinder and others (2008) · Springer Berlin Heidelberg
Personal Opinion Surveys
Barbara Ann Kitchenham and others (2008) · Springer Nature
The Correctness of a Distributed Real-Time System
Steffen Knapp (2008)
A Logic for Virtual Memory
Rafal Kolanski (2008) · Electronic Notes in Theoretical Computer Science · Elsevier BV
Mapped Separation Logic
Rafal Kolanski and others (2008) · Springer Berlin Heidelberg
Modular Control of Discrete-Event Systems With Coalgebra
Jan Komenda and others (2008) · IEEE Transactions on Automatic Control · Institute of Electrical and Electronics Engineers
Deconstructing new cache designs for thwarting software cache-based side channel attacks
Jingfei Kong and others (2008) · ACM
A Modal Sequent Calculus for Propositional Separation Logic
Neelakantan R. Krishnaswami (2008) · IMLA 2008: 4th Workshop on Intuitionistic Modal Logic and Applications
Next generation Intel® micro-architecture (Nehalem) clocking architecture
Nasser A. Kurd and others (2008) · IEEE Symposium on VLSI Circuits (VLSI-Circuits)
Anderson Localization and Nonlinearity in One-Dimensional Disordered Photonic Lattices
Yoav Lahini and others (2008) · American Physical Society (APS)
Bridging the Gap between Interaction- and Process-Oriented Choreographies
Ivan Lanese and others (2008) · IEEE International Conference on Software Engineering and Formal Methods (SEFM)
Defining Irregular Warfare
E. V. Larson and others (2008) · Assessing Irregular Warfare: A Framework for Intelligence Analysis (1st ed., pp. 7–18). RAND Corporation. http://www.jstor.org/stable/10.7249/mg668a.10
COMIC: A coherent shared memory interface for Cell BE
Jaejin Lee and others (2008) · International Conference on Parallel Architectures and Compilation Techniques
Collateral Damage
David Lefkowitz (2008) · War: Essays in Political Philosophy · Cambridge University Press
Pervasive Compiler Verification – From Verified Programs to Verified Systems
Dirk Leinenbach and others (2008) · Electronic Notes in Theoretical Computer Science · Elsevier BV
Verification of Equivalent-Results Methods
K. Rustan M. Leino and others (2008) · Springer Nature
A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems
Zhi Wu Li and others (2008) · IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews) · Institute of Electrical and Electronics Engineers
An Efficient Graph-Based Algorithm for ESD Current Path Analysis
Chih-Hung Liu and others (2008) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
What Makes the History of Software Hard
Michael Sean Mahoney (2008) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
O. Maler and others (2008) · Springer Berlin Heidelberg
Yet another approach to compositional synthesis of discrete event systems
R. Malik and others (2008) · IEEE
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification
Panagiotis Manolios and others (2008) · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · Institute of Electrical and Electronics Engineers
Stigmergic epistemology, stigmergic cognition
Leslie Marsh and others (2008) · Elsevier BV
The Sizing Rules Method for CMOS and Bipolar Analog Integrated Circuit Synthesis
Tobias Massier and others (2008) · Institute of Electrical and Electronics Engineers (IEEE)
Analog tools must catch up
A. Mauskar (2008) · EE Times
OpenFlow: enabling innovation in campus networks
Nick McKeown and others (2008) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery (ACM)
American Culture in the 1960s
Sharon Monteith (2008) · Edinburgh University Press
libFAUDES — An open source C++ library for discrete event systems
Thomas Moor and others (2008) · International Workshop on Discrete Event Systems
Defining Privacy
Adam D. Moore (2008) · Journal of Social Philosophy · Wiley
E-matching for Fun and Profit
Michal Moskal and others (2008) · Elsevier BV
Fairness and Optimal Stochastic Control for Heterogeneous Networks
Michael J. Neely and others (2008) · IEEE/ACM Transactions on Networking · Institute of Electrical and Electronics Engineers
Near Optimal Common Detection Techniques for Shaped Offset QPSK and Feher's QPSK
T. Nelson and others (2008) · Institute of Electrical and Electronics Engineers (IEEE)
Detecting and Preventing Control-flow Hijacking Attacks in Commodity Software
James Newsome (2008)
Enhancing Program Verification with Lemmas
Huu Hai Nguyen and others (2008) · Lecture notes in computer science · Springer Science+Business Media
Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants
Minh D. Nguyen and others (2008) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers (IEEE)
Checking Timed and Hybrid Properties: Theory and Applications
Dejan Nickovic (2008)
Journal Article Versions (JAV): Recommendations
NISO, (2008)
The keyed-hash message authentication code (HMAC)
Unattributed (2008) · National Institute of Standards and Technology (U.S.)
Secure hash standard (SHS)
NIST, (2008) · Federal Information Processing Standards Publication FIPS PUB 180-3, NIST, October
cclib: A library for package‐independent computational chemistry algorithms
N. M. O’boyle and others (2008) · Wiley
Pig Latin: A not-so-foreign language for data processing
C. Olston and others (2008) · ACM SIGMOD International Conference on Management of Data
On the characteristics of grid workflows
S. Ostermann and others (2008) · CoreGRID Symposium Euro-Par
A Brief Overview of PVS
Sam Owre and others (2008) · Lecture notes in computer science · Springer Science+Business Media
Ditching the Semantic Web?
Sean B. Palmer (2008)
Symbolic Execution and Model Checking for Testing
Corina S. Păsăreanu and others (2008) · Springer Nature
Turning web text and search queries into factual knowledge: Hierarchical class attribute extraction
Marius Pasca (2008) · Proceedings of the 23rd National Conference on Artificial Intelligence - Volume 2
SymPLFIED: Symbolic program-level fault injection and error detection framework
Karthik Pattabiraman and others (2008) · IEEE
Grand challenge award: Interactive visual analytics palantir: The future of analysis
Jason Payne and others (2008) · 2008 IEEE Symposium on Visual Analytics Science and Technology · IEEE
New results on the nonconflict test of modular supervisors
P. N. Pena and others (2008) · IEEE
PAM representation of ternary CPM
E. Perrins and others (2008) · Institute of Electrical and Electronics Engineers (IEEE)
Systematic Mapping Studies in Software Engineering
Kai Petersen and others (2008) · Electronic workshops in computing · British Computer Society
On the Merits of Temporal Testers
A. Pnueli and others (2008) · 25 Years of Model Checking · Springer Berlin Heidelberg
Silica-on-silicon waveguide quantum circuits
Alberto Politi and others (2008) · Science
Wortley and L
R, (2008)
Minimum Energy Tracking Loop With Embedded DC–DC Converter Enabling Ultra-Low-Voltage Operation Down to 250 mV in 65 nm CMOS
Yogesh K. Ramadass and others (2008) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Challenges in embedded model checking — a simulator for the [mc]square model checker
Thomas Reinbacher and others (2008) · International Symposium on Industrial Embedded Systems
Does Subitizing Reflect Numerical Estimation?
S. K. Revkin and others (2008) · SAGE Publications
An Overview of Separation Logic
John Reynolds (2008) · Verified Software: Theories, Tools, Experiments · Springer
Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis
Bernhard Rieder and others (2008)
Automatic insertion of selective TMR for SEU mitigation
O. Ruano and others (2008) · IEEE
Social Networking and Sexual Predators: The Case for Self- Regulation
J. C. Sanders and others (2008) · Hastings Comm 31, no. 6 (2008): 173.
How counting represents number: What children must learn and when they learn it
Barbara Wiseheart Sarnecka and others (2008) · Cognition · Elsevier BV
Critical clock-domain-crossing bugs
S. Sarwary and others (2008) · Electronic Design · Electronics Design, Strategy, News, April
Resonant-Clock Latch-Based Design
V. S. Sathe and others (2008) · Institute of Electrical and Electronics Engineers (IEEE)
On maximal permissiveness of hierarchical and modular supervisory control approaches for discrete event systems
Ece Güran Schmidt and others (2008) · International Workshop on Discrete Event Systems
A Practical Fault Attack on Square and Multiply
Jörn-Marc Schmidt and others (2008) · IEEE
Why we need an analog design flow that’s like digital now
N. Seiden (2008) · EDA DesignLine
Practical Setup Time Violation Attacks on AES
Nidhal Selmane and others (2008) · European Dependable Computing Conference
The Evolution of Cybercrime
Littlejohn Shinder and others (2008) · Elsevier
Guide to Advanced Empirical Software Engineering
Unattributed (2008) · Springer London
Verifying Compiler Based Refinement of Bluespec TM Specifications Using the SPIN Model Checker
Gaurav Kumar Singh and others (2008) · Lecture notes in computer science · Springer Science+Business Media
A Brief Overview of HOL4
Konrad Slind and others (2008) · Springer Berlin Heidelberg
Correct Microkernel Primitives
Artem Starostin and others (2008) · Electronic Notes in Theoretical Computer Science · Elsevier BV
Verified Process-Context Switch for C-Programmed Kernels
Artem Starostin and others (2008) · Lecture notes in computer science · Springer Science+Business Media
AutoISES: Automatically inferring security specifications and detecting violations
L. Tan and others (2008) · 17th USENIX Security Symposium
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
Hendrik Tews and others (2008) · Elsevier BV
Recommended Practice for Patch Management of Control Systems
Steven Tom and others (2008) · Office of Scientific and Technical Information (OSTI)
Formal Memory Models for Verifying C Systems Code
Harvey Tuch (2008)
A separation logic framework in HOL
T. Tuerk (2008) · Theorem Proving in Higher Order Logics: Emerging Trends Proceedings
Exploiting Hardware Performance Counters
Leif Uhsadel and others (2008) · 2008 5th Workshop on Fault Diagnosis and Tolerance in Cryptography · IEEE
Agile dynamic provisioning of multi-tier Internet applications
Bhuvan Urgaonkar and others (2008) · ACM Transactions on Autonomous and Adaptive Systems · Association for Computing Machinery
Graph Clustering Via a Discrete Uncoupling Process
Stijn van Dongen (2008) · SIAM Journal on Matrix Analysis and Applications · Society for Industrial and Applied Mathematics
An 80-Tile Sub-100-W TeraFLOPS Processor in 65-nm CMOS
Sriram R. Vangal and others (2008) · IEEE Journal of Solid-State Circuits · Institute of Electrical and Electronics Engineers
Automata: from logics to algorithms
Moshe Y. Vardi and others (2008) · Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas].
On Correctness of Mathematical Texts from a Logical and Practical Point of View
K. Verchinine and others (2008) · Springer Berlin Heidelberg
A 256 kb 65 nm 8T Subthreshold SRAM Employing Sense-Amplifier Redundancy
N. Verma and others (2008) · Institute of Electrical and Electronics Engineers (IEEE)
A Duplication Based Algorithm for Optimizing Latency Under Throughput Constraints for Streaming Workflows
Nagavijayalakshmi Vydyanathan and others (2008) · Proceedings of the International Conference on Parallel Processing · Institute of Electrical and Electronics Engineers
The Isabelle Framework
M. Wenzel and others (2008) · Springer Berlin Heidelberg
Formalizing the top 100 of mathematical theorems
F. Wiedijk (2008)
Effects of atmospheric neutrons and natural contamination on advanced microelectronic memories
F. Wrobel and others (2008) · Applied Physics Letters · American Institute of Physics
Collaborative Attack vs. Collaborative Defense
S. Xu (2008) · Springer Berlin Heidelberg
Scalable Shape Analysis for Systems Code
Hongseok Yang and others (2008) · Lecture notes in computer science · Springer Science+Business Media
A Planner-Guided Scheduling Strategy for Multiple Workflow Applications
Zhifeng Yu and others (2008) · 2008 International Conference on Parallel Processing - Workshops · IEEE
Full functional verification of linked data structures
Karen Zee and others (2008) · ACM SIGPLAN Notices · Association for Computing Machinery