PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Svarstad, Kjetil"

Author of the publication

copydeleteadd this publication to your clipboard
System-level modelling of dynamic reconfigurable designs using functional programming abstractions.

, , , and . ISQED, page 379-385. IEEE, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Svarstad, Kjetil
add a person with the name Svarstad, Kjetil
 

Other publications of authors with the same name

An MPEG-2 to H.264/AVC intra-frame transcoder architecture with mode decision in transform domain., and . IEEE Trans. Consumer Electronics, 61 (1): 81-89 (2015)Synthesizable assertion checkers in high levels of abstraction., and . ICECS, page 859-864. IEEE, (2013)On the Utilization of Java Technology in Embedded Systems., , and . Design Autom. for Emb. Sys., 8 (1): 87-106 (2003)Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions., and . Int. J. Reconfig. Comp., (2018)System-level modelling of dynamic reconfigurable designs using functional programming abstractions., , , and . ISQED, page 379-385. IEEE, (2013)An area efficient hardware architecture design for H.264/AVC intra prediction reconstruction path based on partial reconfiguration., and . DDECS, page 86-91. IEEE Computer Society, (2013)Assertion based verification using PSL-like properties in Haskell., and . DDECS, page 254-257. IEEE Computer Society, (2013)A low-complexity MPEG-2 to H.264/AVC wavefront intra-frame transcoder architecture., and . J. Real-Time Image Processing, 16 (4): 1007-1023 (2019)A low complexity H.264/AVC 4×4 intra prediction architecture with macroblock/block reordering., and . ReConFig, page 1-6. IEEE, (2013)A model for describing communication between aggregate objects in the specification and design of embedded systems., , and . DATE, page 77-85. IEEE Computer Society, (2001)