Kjetil Svarstad

Orcid: 0000-0001-5865-9498

According to our database1, Kjetil Svarstad authored at least 18 papers between 2001 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
An adaptive high-throughput edge detection filtering system using dynamic partial reconfiguration.
J. Real Time Image Process., 2019

A low-complexity MPEG-2 to H.264/AVC wavefront intra-frame transcoder architecture.
J. Real Time Image Process., 2019

2018
Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions.
Int. J. Reconfigurable Comput., 2018

2017
An efficient hardware architecture of CAVLC encoder based on stream processing.
Microelectron. J., 2017

2016
The European Masters in Embedded Computing Systems (EMECS).
Proceedings of the 11th European Workshop on Microelectronics Education, 2016

2015
An MPEG-2 to H.264/AVC intra-frame transcoder architecture with mode decision in transform domain.
IEEE Trans. Consumer Electron., 2015

2013
A low complexity H.264/AVC 4×4 intra prediction architecture with macroblock/block reordering.
Proceedings of the 2012 International Conference on Reconfigurable Computing and FPGAs, 2013

System-level modelling of dynamic reconfigurable designs using functional programming abstractions.
Proceedings of the International Symposium on Quality Electronic Design, 2013

Synthesizable assertion checkers in high levels of abstraction.
Proceedings of the 20th IEEE International Conference on Electronics, 2013

Assertion based verification using PSL-like properties in Haskell.
Proceedings of the 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2013

An area efficient hardware architecture design for H.264/AVC intra prediction reconstruction path based on partial reconfiguration.
Proceedings of the 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2013

2012
Modeling of dynamic reconfigurable systems with Haskell.
Proceedings of the 22nd International Conference on Field Programmable Logic and Applications (FPL), 2012

Ambient hardware and the case for transcoding media streams.
Proceedings of the 22nd International Conference on Field Programmable Logic and Applications (FPL), 2012

2010
The challenges of implementing fine-grained power gating.
Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010

2003
On the Utilization of Java Technology in Embedded Systems.
Des. Autom. Embed. Syst., 2003

2002
Desiderata pour la spécification et la conception des systèmes électroniques.
Tech. Sci. Informatiques, 2002

2001
A model for describing communication between aggregate objects in the specification and design of embedded systems.
Proceedings of the Conference on Design, Automation and Test in Europe, 2001

A higher level system communication model for object-oriented specification and design of embedded systems.
Proceedings of ASP-DAC 2001, 2001


  Loading...