Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Software
Reliability and Availability in Reconfigurable Computing: A Basis for a Common Solution
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hardware
Electronic Engineering
Electrical
Architecture
Software
Video Understanding for Complex Activity Recognition
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis
Proceedings - International Conference on Software Engineering
Software
Translating Java for Multiple Model Checkers: The Bandera Back-End
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Robust Safety of Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Fast Prototyping of Parallel-Vision Applications Using Functional Skeletons
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
Parallel Randomized State-Space Search
Proceedings - International Conference on Software Engineering
Software
Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Structural Similarity-Based Object Tracking in Multimodality Surveillance Videos
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
A Robust Variable Order Facet Model for Image Data
Machine Vision and Applications
Pattern Recognition
Hardware
Computer Vision
Computer Science Applications
Architecture
Software
‹
908
909
910
911
912
913
914
›
