追蹤
Magnus Björk
Magnus Björk
Jeppesen Crew & Fleet
在 jeppesen.com 的電子郵件地址已通過驗證
標題
引用次數
引用次數
年份
FlexCore: Utilizing exposed datapath control for efficient computing
M Thuresson, M Själander, M Björk, L Svensson, P Larsson-Edefors, ...
Journal of Signal Processing Systems 57, 5-19, 2009
662009
Successful SAT encoding techniques
M Björk
Journal on Satisfiability, Boolean Modeling and Computation 7 (4), 189-201, 2011
412011
Security data path verification
VM Purri, CAT Campos, M Björk, L Loh, CJN Coelho
US Patent 9,449,196, 2016
112016
First Order Stålmarck: Universal Lemmas Through Branch Merges
M Björk
Journal of Automated Reasoning 42, 99-122, 2009
112009
A first order extension of Stålmarck’s method
M Björk
Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005
82005
Teaching hardware description and verification
E Axelsson, M Bjrk, M Sheeran
2005 IEEE International Conference on Microelectronic Systems Education (MSE …, 2005
52005
Stålmarck's Method for Automated Theorem Proving in First Order Logic
M Björk
Chalmers University of Technology, 2003
52003
Exposed Datapath for Efficient Computing
M Björk, M Själander, L Svensson, M Thuresson, JHK Jeppson, ...
Welcome to the First HiPEAC Workshop on Reconfigurable Computing, 17, 2007
42007
Security data path verification
VM Purri, CAT Campos, M Björk, L Loh, CJN Coelho
US Patent 9,922,209, 2018
32018
Adding equivalence classes to Stålmarck's method in first order logic
M Björk
Contributions to the Doctoral Programme of the Second International Joint …, 2004
32004
Extending Stålmarck's method to first order logic
M Björk
TABLEAUX 2003 Position Papers and Tutorials, 2003
32003
Compiling Embedded ML
M Björk
12000
Security data path verification
VM Purri, CAT Campos, M Björk, L Loh, CJN Coelho
US Patent 9,934,410, 2018
2018
Appendix to: A First Order Extension of Stålmarck's Method
M Björk
Chalmers University of Technology, 2005
2005
Appendix to Extending Stålmarck's Method to First Order Logic
M Björk
Chalmers University of Technology, 2003
2003
系統目前無法執行作業,請稍後再試。
文章 1–15