Search Publications

Advanced Search

Title

Author

NIST Series

Topic Area

Report Number

Sort by

Order

Items per page

NIST Authors in Bold

Displaying 1 - 7 of 7

SATE V Report: Ten Years of Static Analysis Tool Expositions

October 23, 2018

Author(s):

Aurelien M. Delaitre, Bertrand C. Stivalet, Paul E. Black, Vadim Okun, Terry S. Cohen, Athos Ribeiro

Software assurance has been the focus of the National Institute of Standards and Technology (NIST) Software Assurance Metrics and Tool Evaluation (SAMATE) team...

Evaluating Bug Finders: Test and Measurement of Static Code Analyzers

May 23, 2015

Author(s):

Aurelien M. Delaitre, Bertrand C. Stivalet, Elizabeth N. Fong, Vadim Okun

Software static analysis is one of many options for finding bugs in software. Like compilers, static analyzers take a program as input. This paper covers tools...

SATE V Workshop - CVE-selected Analysis Results

March 14, 2015

Author(s):

Bertrand C. Stivalet

A Hybrid CPU-GPU System for Stitching Large Scale Optical Microscopy Images

September 12, 2014

Author(s):

Timothy J. Blattner, Walid Keyrouz, Joe Chalfoun, Bertrand C. Stivalet, Mary C. Brady, Shujia Zhou

Researchers in various fields are using optical microscopy to acquire very large images, 10K--200K of pixels per side. Optical microscopes acquire these images...

A Hybrid CPU-GPU System for Fourier-Based Stitching of Optical Microscopy Images

March 15, 2013

Author(s):

Walid Keyrouz, Bertrand C. Stivalet, Timothy J. Blattner, Shujia Zhou, Joe Chalfoun, Mary C. Brady

We present a high performance hybrid CPU-GPU implementation that accelerates the Fourier-based stitching of 2D optical microscopy images to less than 1-minute...

A Hybrid CPU-GPU Approach to Fourier-Based Image Stitching of Optical Microscopy Images

March 03, 2013

Author(s):

Walid Keyrouz, Timothy J. Blattner, Bertrand C. Stivalet, Joe Chalfoun, Mary C. Brady, Shujia Zhou

We present a hybrid CPU-GPU approach for the Fourier-based stitching of optical microscopy images. This system achieves sub-minute stitching rates with large...

Initiating Mobile Software Development - Lessons Learned From a 12-Month Project

December 30, 2011

Author(s):

Frederic J. de Vaulx, Paul Khouri Saba, Marcus W. Newrock, Bertrand C. Stivalet

As mobile devices capabilities keep on improving, todays mobile software ecosystem evolves at an unprecedented speed. This evolution makes mobile...

Advanced communications
-Optical communications
-Quantum communications
-Wireless (RF)
Bioscience
-Biomaterials
-Bioprocessing
-Cell biology
-Engineering / synthetic biology
-Genomic measurements
-Glycomics
-Lipidomics
-Microbial measurements
-Proteomics
Buildings and Construction
-Air conditioning and heating equipment
-Building codes and standards
-Building control systems
-Building damage and repair
-Building economics
-Building materials
-Indoor air quality
-Structural engineering
Chemistry
-Analytical chemistry
-Chemical engineering and processing
-Chemical thermodynamics and chemical properties
-Molecular characterization
-Theoretical chemistry and modeling
-Thermochemical properties
Electronics
-Electromagnetics
-Magnetoelectronics
-Optoelectronics
-Organic electronics
-Semiconductors
-Sensors
-Superconducting electronics
-Thin-film electronics
Energy
-Alternative energy
-Conventional energy
-Electric power / smart grid
-Energy efficiency
-Fuels
-Sustainability
Environment
-Air / water / soil quality
-Environmental health
-Greenhouse gas measurements
-Marine science
Fire
-Emergency building evacuation
-Fire detection
-Fire dynamics and science
-Fire fighting
-Fire modeling
-Fire risk reduction
-Materials flammability
-Structural fire resistance
-Wildland urban interface fire
Forensic Science
-Ballistics
-Digital evidence
-DNA and biological evidence
-Drugs and toxicology
-Fingerprints and pattern evidence
-Trace evidence
Health
-Cell therapies
-Clinical diagnostics
-Dentistry
-Food and nutrition
-Medical imaging
-Pharmaceuticals
-Precision medicine
-Radiation therapies
Information technology
-Artificial intelligence
-Biometrics
-Cloud computing and virtualization
-Complex systems
-Computational science
-Conformance testing
-Cyber-physical systems
--Smart cities
-Cybersecurity
--Configuration and vulnerability management
--Cryptography
--Cybersecurity education and workforce development
--Identity and access management
--Risk management
-Data and informatics
--Human language technology
--Information retrieval
--Natural language processing
--Video analytics
-Federal information standards (FIPS)
-Health IT
-Identity management
-Internet of Things (IoT)
-Interoperability testing
-Mobile
-Networking
--Mobile and wireless networking
--Network management and monitoring
--Network modeling and analysis
--Network security and robustness
--Network test and measurement
--Next generation networks
--Protocol design and standardization
--Software defined and virtual networks
-Privacy
-Software research
--Software assurance
--Software performance
--Software testing
-Usability and human factors
--Accessibility
-Visualization research
-Voting systems
Infrastructure
Manufacturing
-Additive manufacturing
-Biomanufacturing
-Exports
-Factory communications
-Factory operations planning and control
-Interoperability in manufacturing
-Lean manufacturing
-Machining
-Manufacturing systems design and analysis
-Manufacturing workforce
-Process improvement
-Process measurement and control
-Product data
-Quality assurance
-Robotics in manufacturing
--Agility and adaptability
--Collaborative robots
--Dexterous grasping
--Industrial autonomous vehicles
--Mobile manipulators
--Navigation / actuation / control
--Sensing and perception
-Supply chain
-Sustainable manufacturing
-Systems engineering
-Systems integration
-Technology commercialization
Materials
-Ceramics
-Composites
-Concrete / cement
-Materials characterization
--Composition and structure
--Magnetic properties
--Mechanical properties
--Thermal properties
-Metals
-Modeling and computational material science
-Polymers
-Superconductors
Mathematics and Statistics
-Experiment design
-Image and signal processing
-Mathematical knowledge management
-Modeling and simulation research
-Numerical methods and software
-Statistical analysis
-Uncertainty quantification
Metrology
-Acoustic / vibration metrology
-Amount of substance
-Dimensional metrology
-Electrical / electromagnetic metrology
-Environmental metrology
-Flow metrology and rheology
-Force metrology
-Humidity metrology
-Ionizing radiation metrology
-Mass metrology
-Metric
-Optical / photometry / laser metrology
-Pressure and vacuum metrology
-Thermometry metrology
-Time and frequency metrology
-Weights and measures
Nanotechnology
-Nanobiotechnology
-Nanochemistry
-Nanoelectronics
-Nanofabrication / manufacturing
--Lithography
--Self-assembly
-Nanofluidics
-Nanomagnetics
-Nanomaterials
-Nanomechanics
-Nanometrology
-Nanophotonics
-Nanophysics
-Nanoplasmonics
Neutron research
Performance excellence
-Assessment tools and services
-Baldrige award
-Baldrige examiners
-Baldrige Framework and Criteria
-Best practices
-Leadership development
Physics
-Atomic / molecular / quantum
-Biological physics
-Condensed matter
-Electron physics
-Magnetics
-Nuclear physics
-Optical physics
-Quantum information science
-Radiation
-Spectroscopy
-Thermodynamics
-Time and frequency
Public safety
-Chemical / Biological / Radiological / Nuclear / Explosives (CBRNE)
-First responder preparedness
-Law enforcement
-Physical security
-Public safety communications research
-Response robots
--Aerial
--Aquatic and underwater
--Ground
Resilience
-Community resilience
-Disaster and failure studies
-Earthquake risk reduction
-Resilient materials
-Windstorm impact reduction
Standards
-Accreditation
-Calibration services
-Certification
-Commercial standards
-Conformity assessment
-Documentary standards
-Frameworks
-Reference data
-Reference instruments
-Reference materials
-Standards education
Transportation
-Aerospace
-Automotive
-Rail