Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Elena Teica
Verification of Basic Block Schedules Using RTL Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Evaluating Surgical Block Schedules Using Computer Simulation
Automatic Memory Reductions for RTL Model Verification
IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers
Computer Science Applications
Computer Graphics
Computer-Aided Design
Software
Temporal Verification by Diagram Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Source Code Transformations by Program Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
RTL Functional Test Generation Using Factored Concolic Execution
Verification of Model Transformations: A Case Study With BPEL
Improvising Users Transaction Validation Using Multi-Decision Tree Conditional of Terms in Block-Chain Verification
International Journal of Computer Applications
Basic Unary Transformations and Functions Operating in Fuzzy Plane
Journal of Mathematics and Computer Science
Computational Mechanics
Computational Mathematics
Computer Science Applications
Mathematics
BB-GC: Basic-Block Level Garbage Collection
