Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mark Austin
Synthesis and Validation of High-Level Behavior Models for Narrow Waterway Management Systems
Journal of Computing in Civil Engineering
Civil
Computer Science Applications
Structural Engineering
Related publications
Verification of the Merits and Demerits of Speed Control in Narrow Waterway
The Journal of Japan Institute of Navigation
Power Constrained High-Level Synthesis of Battery Powered Digital Systems
Online Testbench for LHCb High Level Trigger Validation
Journal of Physics: Conference Series
Astronomy
Physics
Optimized FPGA Implementation of Model Predictive Control for Embedded Systems Using High Level Synthesis Tool
IEEE Transactions on Industrial Informatics
Control
Systems Engineering
Information Systems
Electronic Engineering
Computer Science Applications
Electrical
Behavior Bounding: An Efficient Method for High-Level Behavior Comparison
Journal of Artificial Intelligence Research
Artificial Intelligence
Methods and Tools for High and System Level Synthesis
TAO: Techniques for Algorithm-Level Obfuscation During High-Level Synthesis
Systems Engineering Management and Implementation Plan for Project W-464, Immobilized High-Level Waste Storage
A Database of Lumbar Spinal Mechanical Behavior for Validation of Spinal Analytical Models
Journal of Biomechanics
Sports Medicine
Sports Science
Biophysics
Orthopedics
Biomedical Engineering
Rehabilitation
