Magnus Björk

Visar 14 publikationer

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
Artikel i vetenskaplig tidskrift
2009

First Order Stålmarck

Magnus Björk
Journal of Automated Reasoning. Vol. 42 (1), p. 99-122
Artikel i vetenskaplig tidskrift
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 i proceeding
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 i proceeding
2007

Exposed Datapath for Efficient Computing

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

Exposed Datapath for Efficient Computing

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

A First Order Extension of Stålmarck's Method

Magnus Björk
Doktorsavhandling
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 i proceeding
2005

Teaching Hardware Description and Verification

Emil Axelsson, Magnus Björk, Mary Sheeran
2005 International Conference on Microelectronic Systems Education, p. 119-120
Paper i proceeding
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 i proceeding
2003

Extending Stålmarck's Method to First Order Logic

Magnus Björk
TABLEAUX 2003 Position Papers and Tutorials
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Magnus Björk medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.