2 papers
q-bio.MN2021
Towards Scalable Modeling of Biology in Event-B
Usman Sanwal, Thai Son Hoang, Luigia Petre +1
Biology offers many examples of large-scale, complex, concurrent systems: many processes take place in parallel, compete on resources and influence each other's behavior. The scala…
cs.AR2018
Accelerating Viterbi Algorithm using Custom Instruction Approach
Waqar Ahmad, Imran Hafeez Abbassi, Usman Sanwal +1
In recent years, the decoding algorithms in communication networks are becoming increasingly complex aiming to achieve high reliability in correctly decoding received messages. The…