Magnus Björk

Showing 14 publications

2009

FlexCore: Utilizing Exposed Datapath Control for Efficient Computing

Martin Thuresson, Magnus Själander, Magnus Björk et al
Journal of Signal Processing Systems. Vol. 57 (1), p. 5-19
Journal article
2009

First Order Stålmarck

Magnus Björk
Journal of Automated Reasoning. Vol. 42 (1), p. 99-122
Journal article
2007

FlexCore: Utilizing Exposed Datapath Control for Efficient Computing

Martin Thuresson, Magnus Själander, Magnus Björk et al
IEEE SAMOS 2007, p. 18-25
Paper in proceedings
2007

A Flexible Datapath Interconnect for Embedded Applications

Magnus Själander, Per Larsson-Edefors, Magnus Björk
IEEE Computer Society Annual Symposium on VLSI, p. 15-20
Paper in proceedings
2007

Exposed Datapath for Efficient Computing

Magnus Björk, Magnus Själander, Lars Svensson et al
2007 HiPEAC Workshop on Reconfigurable Computing
Paper in proceedings
2006

Exposed Datapath for Efficient Computing

Magnus Björk, Magnus Själander, Lars Svensson et al
Report
2006

A First Order Extension of Stålmarck's Method

Magnus Björk
Doctoral thesis
2005

A First Order Extension of Stålmarck's Method

Magnus Björk
Logic for Programming, Artificial Intelligence, and Reasoning, 2005, Montego Bay, Jamaica (LNAI 3835), p. 276-291
Paper in proceedings
2005

Teaching Hardware Description and Verification

Emil Axelsson, Magnus Björk, Mary Sheeran
2005 International Conference on Microelectronic Systems Education, p. 119-120
Paper in proceedings
2004

Adding Equivalence Classes to Stålmarck's Method in First Order Logic

Magnus Björk
Contributions to the Doctoral Programme of the Second International Joint Conference on Automated Reasoning (IJCAR 2004)
Paper in proceedings
2003

Extending Stålmarck's Method to First Order Logic

Magnus Björk
TABLEAUX 2003 Position Papers and Tutorials
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Magnus Björk participates, but you have to be logged in as a Chalmers employee to see them.