2006

168 references published this year.

Smith
A, (2006) · Crime Statistics: An Independent Review
Predicting Secret Keys Via Branch Prediction
Onur Acıiçmez and others (2006) · Lecture notes in computer science · Springer Science+Business Media
Compilers: Principles, Techniques, and Tools (2nd Edition)
Alfred V. Aho and others (2006) · Addison Wesley, August
A "Soft++" eFPGA Physical Design Approach with Case Studies in 180nm and 90nm
V.A. Ova and others (2006)
Understanding command and control
David S. Alberts and others (2006) · CCRP Publication Series, Department of Defense Command and Control Research Program
Predicate abstraction for reachability analysis of hybrid systems
R. Alur and others (2006) · Association for Computing Machinery (ACM)
Refinement strategies for verification methods based on datapath abstraction
Zaher S. Andraus and others (2006) · Asia and South Pacific Design Automation Conference (ASP-DAC)
Template Attacks in Principal Subspaces
Cédric Archambeau and others (2006) · Springer Berlin Heidelberg
Cortex-M3 technical reference manual, Rev. r1p1
ARM, (2006)
Security Issues and Performance Study of Key Management Techniques over Satellite Links
M.G. Arslan and others (2006)
Recent Progress in Continuous and Hybrid Reachability Analysis
Eugene Asarin and others (2006) · IEEE International Symposium on Computer-Aided Control System Design (CACSD)
A Content Based Mathematical Search Engine: Whelp
Andrea Asperti and others (2006) · Lecture notes in computer science · Springer Science+Business Media
An Interactive Algebra Course with Formalised Proofs and Definitions
Andrea Asperti and others (2006) · Mathematical Knowledge Management · Springer Berlin Heidelberg
Modeling component connectors in Reo by constraint automata
Christel Baier and others (2006) · Science of Computer Programming · Elsevier BV
On the complexity of finding optimal global alliances
H. Balakrishnan and others (2006) · Journal of Combinatorial Mathematics and Combinatorial Computing
The Sorcerer's Apprentice Guide to Fault Attacks
H. Bar-El and others (2006) · Institute of Electrical and Electronics Engineers (IEEE)
Boogie: A Modular Reusable Verifier for Object-Oriented Programs
Mike Barnett and others (2006) · Lecture notes in computer science · Springer Science+Business Media
BGP Route Reflection: An Alternative to Full Mesh Internal BGP (IBGP)
Tony Bates and others (2006)
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Josh Berdine and others (2006) · Formal Methods for Components and Objects · Springer Berlin Heidelberg
Linked Data
Tim Berners-Lee (2006)
Real world verification — experiences from the verisoft email client
Gerd Beuster and others (2006) · Proceedings of the Workshop on Empirical Succesfully Computerized Reasoning (ESCoR 2006)
Putting it all together – Formal verification of the VAMP
Sven Beyer and others (2006) · International Journal on Software Tools for Technology Transfer · Springer Science+Business Media
Handbook of Modal Logic
Unattributed (2006) · Elsevier
Formal Verification of a C Compiler Front-End
Sandrine Blazy and others (2006) · FM 2006: Formal Methods · Springer Berlin Heidelberg
Two-Variable Logic on Words with Data
M. Bojańczyk and others (2006) · IEEE
Validation of Asynchronous Circuit Specifications Using IF/CADP
D. Borrione and others (2006) · Springer Science+Business Media
A Model-based Integration and Testing Method to Reduce System Development Effort
N.C.W.M. Braspenning and others (2006) · Electronic Notes in Theoretical Computer Science · Elsevier BV
Using thematic analysis in psychology
Virginia Braun and others (2006) · Qualitative Research in Psychology · Taylor & Francis
Automated Generation of BPEL Adapters
Antonio Brogi and others (2006) · Service-Oriented Computing – ICSOC 2007 · Springer Berlin Heidelberg
Small, Smart and Salient? Rethinking Identity in the Small States Literature
Christopher S. Browning (2006) · Informa UK Limited
Choreography and Orchestration Conformance for System Design
Nadia Busi and others (2006) · Springer Berlin Heidelberg
Evaluating One-Hot Encoding Finite State Machines for SEU Reliability in SRAM-based FPGAs
Marlise Colling Cassel and others (2006) · IEEE International On-Line Testing Symposium (IOLTS)
The application of CCSDS protocols to secure systems
CCSDS, (2006) · Informational Report CCSDS 350.0-G-2
Security threats against space missions
CCSDS, (2006) · Informational Report CCSDS 350.1-G-1
Distributed Differential Oscillators for Global Clock Networks
S. Chan and others (2006) · Institute of Electrical and Electronics Engineers (IEEE)
Automatic Instruction-Level Software-Only Recovery
Jonathan Chang and others (2006) · IEEE
Improving SHA-2 Hardware Implementations
Ricardo Chaves and others (2006) · Lecture notes in computer science · Springer Science+Business Media
Foreign Aid Dependency: The Case of Zambia
Victoria Chisala (2006)
900MHz to 1.2GHz Two-Phase Resonant Clock Network with Programmable Driver and Loading
Juang-Ying Chueh and others (2006) · IEEE Custom Integrated Circuits Conference (CICC)
From PSL to NBA: a Modular Symbolic Encoding
A. Cimatti and others (2006) · IEEE
Iron Kingdom: The Rise and Downfall of Prussia, 1600-1947
Christopher Clark (2006)
Ignoring the Great Firewall of China
Richard Clayton and others (2006) · Springer Berlin Heidelberg
System development and demonstration of a UAV control architecture for information gathering missions
David T. Cole and others (2006) · Journal of Field Robotics · Wiley
Design and implementation of a page-fault handler in c0
Cosmin Condea (2006)
Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications
Jordi Cortadella and others (2006) · Institute of Electrical and Electronics Engineers (IEEE)
SELF: Specification and Design of a Synchronous Elastic Architecture for DSM Systems
Jordi Cortadella and others (2006) · Int
Formal Verification of a Processor with Memory Management Units
Iakov Dalinger (2006)
Linear programming 1: Introduction
G. B. Dantzig and others (2006) · Springer
Running the manual: an approach to high-assurance microkernel development
Philip Derrin and others (2006)
A Local Shape Analysis Based on Separation Logic
Dino Distefano and others (2006) · Tools and Algorithms for the Construction and Analysis of Systems · Springer
Understanding TCP/IP: A Clear and Comprehensive Guide to TCP/IP Protocols
Libor Dostálek and others (2006) · Packt Publishing
Stigmergic Collaboration: The Evolution of Group Work
Mark Elliott (2006) · M/C Journal · Queensland University of Technology
Temporal Logic Verification Using Simulation
G. Fainekos and others (2006) · Springer Berlin Heidelberg
Computationally Efficient Supervisor Design: Control Flow Decomposition
Lei Feng and others (2006) · International Workshop on Discrete Event Systems
TCT: A Computation Tool for Supervisory Control Synthesis
L. Feng and others (2006) · IEEE
New Developments in WCET Analysis
Christian Ferdinand and others (2006) · Program Analysis and Compilation, Theory and Practice · Springer Berlin Heidelberg
Modular Nonblocking Verification Using Conflict Equivalence
Hugo Flordal and others (2006) · International Workshop on Discrete Event Systems
Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up
Fedor V. Fomin and others (2006) · SIAM Journal on Computing · Society for Industrial & Applied Mathematics (SIAM)
Quantum optics: an introduction, volume 15
Anthony Mark Fox (2006) · Oxford university press
Classless Inter-domain Routing (CIDR): The Internet Address Assignment and Aggregation Plan
V. Fuller and others (2006) · RFC Editor
Digital Device Error Rate Trends in Advanced CMOS Technologies
Matthew J. Gadlage and others (2006) · IEEE Transactions on Nuclear Science · Institute of Electrical and Electronics Engineers
Expressivity properties of Boolean BI through relational models
Didier Galmiche and others (2006) · 26th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) · Springer
Data Analysis Using Regression and Multilevel/Hierarchical Models
A. Gelman and others (2006) · Cambridge University Press
A document-oriented Coq plugin for TeXmacs
H. Geuvers and others (2006) · Proceedings of the MathUI workshop at MKM 2006, Wokingham
Observations on round-trip times of tcp connections
Phillipa Gill and others (2006) · Proc. SPECTS 2006
Always Already New: Media, History, and the Data of Culture
Lisa Gitelman (2006)
Evolution of Terrestrial Optical System and Core Network Architecture
Andreas Gladisch and others (2006) · Proceedings of the IEEE
Gauss and non-Euclidean geometry
Jeremy Gray (2006) · Non-Euclidean geometries: János Bolyai memorial volume · Springer
Enumeration versus multiple object tracking: the case of action video game players
C. S. Green and others (2006) · Elsevier BV
Thinking in groups
Todd M. Gureckis and others (2006) · Pragmatics and Cognition · John Benjamins Publishing Company
When only random testing will do
Dick Hamlet (2006) · ACM
Weak States in the International System
Michael Handel (2006)
Why the Internet only just works
M. Handley (2006) · BT Technology Journal · Springer Science and Business Media LLC
Synthesis of Mealy Machines Using Derivatives
Helle Hvid Hansen and others (2006) · Electronic Notes in Theoretical Computer Science · Elsevier
The Martians of Science: Five Physicists Who Changed the Twentieth Century
Istvan Hargittai (2006)
Towards Self-verification of HOL Light
John Harrison (2006) · Lecture notes in computer science · Springer Science+Business Media
A quantitative analysis of secondary RNA structure using domination based parameters on trees
Teresa Haynes and others (2006) · BMC Bioinformatics · Springer Science and Business Media LLC
Truth and cognitive division of labour: First steps towards a computer aided social epistemology
Rainer Hegselmann and others (2006) · Journal of Artificial Societies and Social Simulation
Max Plus at Work
Bernd Heidergott and others (2006) · Princeton University Press
Modular Supervisory Control of Discrete-Event Systems with Abstraction and Incremental Hierarchical Construction
R. Hill and others (2006) · IEEE
IP Version 6 Addressing Architecture
Robert M. Hinden and others (2006)
A Unified Approach to Optimum Frame Synchronization
H. Huh and others (2006) · Institute of Electrical and Electronics Engineers (IEEE)
Teredo: Tunneling IPv6 over UDP through Network Address Translations (NATs)
C. Huitema (2006) · RFC Editor
Taverna: a tool for building and running workflows of services
Duncan Hull and others (2006) · Nucleic Acids Research · Oxford University Press
Quasi-phasematching
David S. Hum and others (2006) · Comptes Rendus. Physique · MathDoc/Centre Mersenne
IEEE Standard for Verilog Hardware Description Language
Unattributed (2006) · IEEE
Using an Enterprise Architecture for IT Risk Management
F. Innerhofer-Oberperfler and others (2006) · Information Security for South Africa. https://digifors.cs.up.ac.za/issa/2006/Proceedings/Full/115_Paper.pdf
Supervisory control of concurrent systems: a Petri net structural approach
M. Iordache and others (2006) · Systems and Control: Foundations & Applications
The AES-CMAC Algorithm
T. Iwata and others (2006) · RFC Editor
Enterprise architecture: Management tool and blueprint for the organisation
H. Jonkers and others (2006) · Information Systems Frontiers · Springer Science+Business Media
Model-based safety analysis
A. Joshit and others (2006) · University of Minnesota
Business Process Execution Language for Web Services BPEL and BPEL4WS 2Nd Edition
Matjaz B. Juric (2006) · Packt Publishing
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
Ioannis T. Kassios (2006) · FM 2006: Formal Methods · Springer
Fault-Tolerance Techniques for SRAM-based FPGAs
Fernanda Lima Kastensmidt and others (2006) · Springer US
A machine-checked model for a Java-like language, virtual machine, and compiler
Gerwin Klein and others (2006) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
The Structure of Models of Peano Arithmetic
Roman Kossak and others (2006) · Oxford University Press
Approximation, Sampling and Voting in Hybrid Computing Systems
Chiheb Kossentini and others (2006) · Hybrid Systems: Computation and Control · Springer Berlin Heidelberg
Separation logic for a higher-order typed language
Neelakantan Krishnaswami (2006) · SPACE 2006: Workshop on Semantics, Program Analysis and Computing Environments for Memory Management
Verifying properties of well-founded linked lists
Shuvendu K. Lahiri and others (2006) · ACM SIGPLAN Notices · Association for Computing Machinery
Design by contract with JML
G. T. Leavens and others (2006)
Formal certification of a compiler back-end, or: programming a compiler with a proof assistant
Xavier Leroy (2006) · ACM
Modeling out-of-order processors for WCET analysis
Xianfeng Li and others (2006) · Real-Time Systems · Springer Science+Business Media
Security evaluation at design time against optical fault injection attacks
Huixian Li and others (2006) · IEE proceedings. Information security
Pragmatic simulation-based verification of clock domain crossing signals and jitter using SystemVerilog Assertions
M. Litterick (2006) · DVCON
Complexity and succinctness of public announcement logic
C. Lutz (2006) · AAMAS’06
Nonblocking Supervisory Control of State Tree Structures
Chuan Ma and others (2006) · IEEE Transactions on Automatic Control · Institute of Electrical and Electronics Engineers
iPlane: An information plane for distributed services
Harsha V Madhyastha and others (2006) · Operating Systems Design and Implementation (OSDI) · USENIX
Analog Circuit Verification: a State of an Art
O. Maler (2006) · Elsevier BV
From MITL to Timed Automata
O. Maler and others (2006) · Springer Berlin Heidelberg
On the Expressive Power of Graph Logic
Jerzy Marcinkowski (2006) · Computer Science Logic · Springer Berlin Heidelberg
Model checking restricted sets of timed paths
Nicolas Markey and others (2006) · Theoretical Computer Science · Elsevier BV
Hoare logic in the abstract
Ursula Martin and others (2006) · 20th International Workshop on Computer Science Logic (CSL) · Springer
Verification condition generation via theorem proving
John Matthews and others (2006) · 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) · Springer
Fundamentals of Semiconductor Manufacturing and Process Control
Gary S. May and others (2006) · Wiley
Coming of age with the internet: A qualitative exploration of how the internet has become an integral part of young people’s lives
Sally J McMillan and others (2006) · New media & society
Lazy Abstraction with Interpolants
Kenneth L. McMillan (2006) · Lecture notes in computer science · Springer Science+Business Media
BGP Communities for Data Collection
D. Meyer (2006) · RFC Editor
Progress in Digital Integrated Electronics [Technical Literature, Copyright 1975 IEEE. Reprinted, with permission. IEDM Tech Digest 1975, pp. 11-13.]
Gordon E. Moore (2006) · IEEE Solid-State Circuits Society Newsletter · Institute of Electrical and Electronics Engineers
A Generalized Method of Differential Fault Attack Against AES Cryptosystem
A. Moradi and others (2006) · Springer Berlin Heidelberg
The Art of Error Correcting Coding
Robert H. Morelos‐Zaragoza (2006) · Wiley
Proven correct monitors from PSL specifications
Katell Morin-Allory and others (2006) · Design, Automation, and Test in Europe
A Hierarchical Analysis of Propositional Temporal Logic Based on Intervals
Ben Moszkowski (2006)
Polymorphism and separation in hoare type theory
Aleksandar Nanevski and others (2006) · ACM SIGPLAN International Conference on Functional Programming (ICFP)
Temporal and spatial enumeration processes in the primate parietal cortex
A. Nieder and others (2006) · Walter de Gruyter GmbH
Enterprise Architecture Benefits: Perceptions from Literature and Practice
E. Niemi (2006) · K. Soliman (Ed.), Proceedings of the 7th international business information management association (IBIMA) conference on internet and information systems in the digital age. IBIMA Publishing.
Cache Attacks and Countermeasures: The Case of AES
Dag Arne Osvik and others (2006) · Springer Berlin Heidelberg
Semantic patches for documenting and automating collateral evolutions in Linux device drivers
Yoann Padioleau and others (2006)
Organizing and Searching the World Wide Web of Facts - Step One: The One-Million Fact Extraction Challenge
Marius Pasca and others (2006)
Faster Solutions of Rabin and Streett Games
Nir Piterman and others (2006) · Proceedings - Symposium on Logic in Computer Science · Institute of Electrical and Electronics Engineers
Synthesis of Reactive(1) Designs
N. Piterman and others (2006) · Springer Berlin Heidelberg
PSL Model Checking and Run-Time Verification Via Testers
A. Pnueli and others (2006) · Springer Berlin Heidelberg
Improving FPGA Design Robustness with Partial TMR
Brian H. Pratt and others (2006) · IEEE International Reliability Physics Symposium proceedings · Institute of Electrical and Electronics Engineers
A definition and classification of timing anomalies
J. Reineke and others (2006) · WCET
A Border Gateway Protocol 4 (BGP-4)
Y. Rekhter and others (2006) · RFC Editor
Separation logic for higher-order store
Bernhard Reus and others (2006) · 20th International Workshop on Computer Science Logic (CSL) · Springer
DESUMA: A Tool Integrating GIDDES and UMDES
L. Ricker and others (2006) · IEEE
BGP/MPLS IP Virtual Private Networks (VPNs)
Eric Rosen and others (2006)
Funny Business: Moguls, Mobsters, Megastars, and the Mad, Mad World of the Ad Game
Allen Rosenshine (2006) · Beaufort Books
Enterprise Architecture as Strategy — Creating a Foundation for Business Execution
J. W. Ross and others (2006)
System-on-Chip: Reuse and Integration
R. Saleh and others (2006) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers
Phoenix: Detecting and Recovering from Permanent Processor Design Bugs with Programmable Hardware
S. R. Sarangi and others (2006) · IEEE
A 1.1ghz charge-recovery logic
Visvesh Sathe and others (2006) · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · Institute of Electrical and Electronics Engineers
Verification of Sequential Imperative Programs in Isabelle/HOL
Norbert Schirmer (2006)
[mc]square: A Model Checker for Microcontroller Code
Bastian Schlich and others (2006)
Modular and decentralized supervisory control of concurrent discrete event systems using reduced system models
Ece Güran Schmidt and others (2006) · International Workshop on Discrete Event Systems
Design and implementation of the portmapper and rpc primitives in the context of the sos
Andrey Shadrin (2006)
Optically Enhanced Position-Locked Power Analysis
Sergei P. Skorobogatov (2006) · Lecture notes in computer science · Springer Science+Business Media
RIPE Routing Working Group Recommendations on Route Aggregation
P. Smith and others (2006) · RIPE-399
The Past, Present, and Future of Silicon Photonics
Richard Soref (2006) · IEEE Journal of Selected Topics in Quantum Electronics · Institute of Electrical and Electronics Engineers (IEEE)
Formal verification of a c-library for strings
Artem Starostin (2006)
All‐Digital Frequency Synthesizer in Deep‐Submicron CMOS
Robert Bogdan Staszewski and others (2006) · Wiley
SystemC transaction level models and RTL verification
Stuart Swan (2006) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery
CCS timing
Synopsys, (2006) · Synopsys, Inc. (technical white paper, version 2.0)
A constant envelope FQPSK modulation for deep space communications
B. Tian and others (2006) · China Communications
Vérification formelle des systèmes numériques par démonstration de théorèmes: application aux composants cryptographiques
Diana Toma (2006)
Major Combat Operations Joint Operating Concept
US Department of Defense (2006) · Office of the Secretary of Defense
Efficient supervisory synthesis of large systems
Arash Vahidi and others (2006) · Control Engineering Practice · Elsevier BV
BitTorrent: The ”one third of all Internet traffic” Myth * TorrentFreak
Ernesto Van der Sar (2006)
Forward error-correction coding
C. Wang and others (2006) · Crosslink
Hardware fault injection using dynamic binary instrumentation: FITgrind
Ute Wappler and others (2006) · Proceedings Supplemental Volume of EDCC6 (2006).
An operational semantics and type safety prooffor multiple inheritance in C++
Daniel Wasserrab and others (2006) · ACM
The Seventeen Provers of the World
Unattributed (2006) · Springer Berlin Heidelberg
WHITE PAPER Tier 1 ISPs: What They Are and Why They Are Important
M. Winther (2006) · IDC white paper
Xilinx TMR tool
Xilinx Corporation (2006)
Perracotta: Mining temporal API rules from imperfect traces
J. Yang and others (2006) · 28th International Conference on Software Engineering (ICSE)
A Logic of Reachable Patterns in Linked Data-Structures
G. Yorsh and others (2006) · Springer Berlin Heidelberg
Scheduling multiple DAGs onto heterogeneous systems
Henan Zhao and others (2006) · IEEE International Parallel and Distributed Processing Symposium (IPDPS) · Institute of Electrical and Electronics Engineers
Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
C. Zhou and others (2006) · Institute of Electrical and Electronics Engineers (IEEE)