Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Showing results 1-43 of 43

2018
1 Bahram, Najafiuchevler; Svarstad, Kjetil.
Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions. International Journal of Reconfigurable Computing 2018 ;Volume 2018. p. 1-25
NTNU Untitled
 
2 Orlandic, Milica; Svarstad, Kjetil.
An adaptive high-throughput edge detection filtering system using dynamic partial reconfiguration. Journal of Real-Time Image Processing 2018 p. 1-16
NTNU Untitled
 
2017
3 Orlandic, Milica; Svarstad, Kjetil.
An efficient hardware architecture of CAVLC encoder based on stream processing. Microelectronics Journal 2017 ;Volume 67. p. 43-49
NTNU Untitled
 
2016
4 Orlandic, Milica; Svarstad, Kjetil.
A low-complexity MPEG-2 to H.264/AVC wavefront intra-frame transcoder architecture. Journal of Real-Time Image Processing 2016 p. -
NTNU Untitled
 
2015
5 Orlandic, Milica; Svarstad, Kjetil.
An MPEG-2 to H.264/AVC intra-frame transcoder architecture with mode decision in transform domain. IEEE transactions on consumer electronics 2015 ;Volume 61.(1) p. 81-89
NTNU Untitled
 
6 Orlandic, Milica.
Efficient Low-Comlexity MPEG-2 to H.264/AVC Video Transcoding System Architectures and Optimization Techniques susceptible to Dynamic Partial Reconfiguration. : NTNU Grafisk senter 2015 (ISBN 978-82-326-0870-6) ;Volume 2015.146 p. Doktoravhandlinger ved NTNU(2015/107)
NTNU Untitled
 
2014
7 Orlandic, Milica; Svarstad, Kjetil.
A High-Throughput and Low-Complexity H.264/AVC Intra 16x16 Prediction Architecture for HD Video Sequences. TELFOR Journal 2014 ;Volume 6.(2) p. 131-136
NTNU Untitled
 
2013
8 Bahram, Najafiuchevler; Svarstad, Kjetil.
Assertion based verification using PSL-like properties in Haskell. DDECS; 2013-04-08 - 2013-04-10
NTNU Untitled
 
9 Bahram, Najafiuchevler; Svarstad, Kjetil.
Synthesizable Assertion Checkers in High Levels of Abstraction. ICECS; 2013-12-08 - 2013-12-11
NTNU Untitled
 
10 Bahram, Najafiuchevler; Svarstad, Kjetil.
Assertion based verification using PSL-like properties in Haskell. I: Proceedings of the 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). IEEE 2013 ISBN 978-1-4673-6133-0. p. 254-257
NTNU Untitled
 
11 Bahram, Najafiuchevler; Svarstad, Kjetil.
Synthesizable Assertion Checkers in High Levels of Abstraction. I: Electronics, Circuits, and Systems (ICECS), 2013 IEEE 20th International Conference on. IEEE conference proceedings 2013 ISBN 978-1-4799-2452-3. p. 859-864
NTNU Untitled
 
12 Bahram, Najafiuchevler; Svarstad, Kjetil; Kuper, Jan; Baaij, Christiaan.
System-level modelling of dynamic reconfigurable designs using functional programming abstractions. ISQED; 2013-03-04 - 2013-03-06
NTNU Untitled
 
13 Bahram, Najafiuchevler; Svarstad, Kjetil; Kuper, Jan; Baaij, Christiaan.
System-level modelling of dynamic reconfigurable designs using functional programming abstractions. I: Quality Electronic Design (ISQED), 2013 14th International Symposium on. IEEE conference proceedings 2013 ISBN 978-1-4673-4952-9. p. 379-385
NTNU Untitled
 
14 Orlandic, Milica; Svarstad, Kjetil.
A High-Throughput and Low-Complexity H.264/AVC Intra 16x16 Prediction Architecture for HD video sequences. TELFOR; 2013-11-26 - 2013-11-28
NTNU Untitled
 
15 Orlandic, Milica; Svarstad, Kjetil.
A High-Throughput and Low-Complexity H.264/AVC Intra 16x16 Prediction Architecture for HD video sequences. I: 2013 21st Telecommunications Forum (TELFOR). Belgrade, Serbia: Telecommunication Society 2013 ISBN 978-1-4799-1419-7. p. 529-532
NTNU Untitled
 
16 Orlandic, Milica; Svarstad, Kjetil.
An Area Efficient Hardware Architecture Design for H.264/AVC Intra Prediction Reconstruction Path based on Partial Reconfiguration. I: Proceedings of the 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). IEEE 2013 ISBN 978-1-4673-6133-0. p. 86-91
NTNU Untitled
 
17 Orlandic, Milica; Svarstad, Kjetil.
Low Complexity H.264/AVC 4×4 Intra Prediction Architecture with Macroblock/Block Reordering. I: Reconfigurable Computing and FPGAs (ReConFig), 2013 International Conference on. IEEE conference proceedings 2013 ISBN 978-1-4799-2078-5. p. 1-6
NTNU Untitled
 
2012
18 Bahram, Najafiuchevler; Svarstad, Kjetil.
Modeling of Dynamic Reconfigurable Systems in Haskell. FPL2012; 2012-08-29 - 2012-08-31
NTNU Untitled
 
19 Bahram, Najafiuchevler; Svarstad, Kjetil.
Modeling of Dynamic Reconfigurable Systems in Haskell. I: Proceedings of 22nd International Conference on Field Programmable Logic and Applications (FPL), Oslo, Norway, August 29-31, 2012. IEEE conference proceedings 2012 ISBN 978-1-4673-2257-7. p. 481-482
NTNU Untitled
 
20 Orlandic, Milica; Svarstad, Kjetil.
AMBIENT HARDWARE AND THE CASE FOR TRANSCODING MEDIA STREAMS. FPL 2012; 2012-08-29 - 2012-08-31
NTNU Untitled
 
21 Orlandic, Milica; Svarstad, Kjetil.
AMBIENT HARDWARE AND THE CASE FOR TRANSCODING MEDIA STREAMS. I: Proceedings of 22nd International Conference on Field Programmable Logic and Applications (FPL), Oslo, Norway, August 29-31, 2012. IEEE conference proceedings 2012 ISBN 978-1-4673-2257-7. p. 487-488
NTNU Untitled
 
2010
22 Niedermeier, Anja; Svarstad, Kjetil; Bouwens, Frank; Hulzink, Jos; Huisken, Jos.
The challenges of implementing fine-grained power gating. Great Lakes Symposium on VLSI; 2010-05-16 - 2010-05-18
NTNU Untitled
 
23 Niedermeier, Anja; Svarstad, Kjetil; Bouwens, Frank; Hulzink, Jos; Huisken, Jos.
The challenges of implementing fine-grained power gating. I: Proceedings of the 20th symposium on Great lakes symposium on VLSI. Association for Computing Machinery (ACM) 2010 ISBN 978-1-4503-0012-4. p. 361-364
NTNU Untitled
 
2009
24 Bjørnerud, Rune André; Lund, Morten W.; Svarstad, Kjetil.
Event Control and Programming for Microprocessor Peripheral Systems. Norchip 2009; 2009-11-16 - 2009-11-17
NTNU Untitled
 
25 Bjørnerud, Rune André; Lund, Morten W.; Svarstad, Kjetil.
Event Control and Programming for Microprocessor Peripheral Systems. I: Norchip 2009, Proceedings of. IEEE Press 2009 ISBN 978-1-4244-4311-6. p. -
NTNU Untitled
 
2006
26 Svarstad, Kjetil.
Ambient Hardware: Embedded Architectures on Demand. ERCIM News 2006 (67) p. 24-25
NTNU Untitled
 
27 Svarstad, Kjetil.
Ambiente maskiner og intelligente omgivelser. Elektronikk : tidsskrift for IT og telekom 2006 (2) p. -
NTNU Untitled
 
2005
28 Svarstad, Kjetil.
AHEAD ye scurvies! – eller: FOROVER, elendige slyngler!. EMBLA adventskonferanse; 2005-12-14 - 2005-12-15
NTNU Untitled
 
29 Svarstad, Kjetil.
Hvis SystemVerilog er svaret...hva svarte er så spørsmålet?. EMBLA Systemmodellerings-workshop; 2005-04-25
NTNU Untitled
 
30 Svarstad, Kjetil.
Hvorfor er kommunikasjon så viktig?. EMBLA Vårsamling 2005; 2005-05-10 - 2005-05-11
NTNU Untitled
 
31 Svarstad, Kjetil.
System-modellering: Kan det gjøres kort, konsist, elegant og effektivt? Og må vi i så fall løpe skrikende bort fra UML, SystemC og andre herligheter?. EMBLA Systemdesign og plattform workshop; 2005-09-22
NTNU Untitled
 
2003
32 Aas, Einar Johan; Svarstad, Kjetil; Strøm, Øyvind.
On the Utilization of Java Technology in Embedded Systems. Design automation for embedded systems 2003 ;Volume 8. p. 87-106
NTNU Untitled
 
2002
33 Nicolescu, Gabriela; Svarstad, Kjetil; Cesario, Wander; Gauthier, Lovic; Lyonnard, Damien; Yoo, Sungjoo; Coste, Pascal; Jerraya, Ahmed.
Desiderata pour la spécification et la conception des systèmes électroniques. Technique et Science Informatiques 2002 ;Volume 21.(3) p. 291-314
NTNU Untitled
 
34 Njølstad, Tormod; Tjore, Odd; Svarstad, Kjetil; Lundheim, Lars Magne; Vedal, Tor Øyvind; Typpö, Jukka; Ramstad, Tor Audun; Aas, Einar Johan; Danielsen, Helge.
A socket interface for GALS using local dynamic voltage scaling (LDVS) for rate-adaptive energy saving. 15th IEEE International ASIC/SOC Conference; 2002-09-28
NTNU Untitled
 
2001
35 Njølstad, Tormod; Tjore, Odd; Svarstad, Kjetil; Lundheim, Lars Magne; Vedal, Tor Øyvind; Typpö, Jukka; Ramstad, Tor Audun; Wanhammar, Lars; Aas, Einar Johan; Danielsen, Helge.
A socket interface for GALS using locally dynamic voltage scaling for rate-adaptive energy saving. 14th Annual IEEE International ASIC/SOC Conference; 2001
NTNU Untitled
 
36 Svarstad, Kjetil; Ben-Fredj, Nazih; Nicolescu, Gabriela; Jerraya, Ahmed.
A Higher-Level System Communication Model for Object-Oriented Specification and Design of Embedded Systems. ASP-DAC 2001, Asia and South Pacific Design Automation Conference 2001; 2001-01-30 - 2001-02-03
NTNU Untitled
 
37 Svarstad, Kjetil; Ben-Fredj, Nazih; Nicolescu, Gabriela; Jerraya, Ahmed.
A Higher-Level System Communication Model for Object-Oriented Specification and Design of Embedded Systems. I: Proceedings of ASP-DAC 2001, Asia and South Pacific Design Automation Conference 2001. : IEEE 2001 ISBN 0-7803-6634-4. p. 69-77
NTNU Untitled
 
38 Svarstad, Kjetil; Nicolescu, Gabriela; Jerraya, Ahmed.
A Model for Describing Communication Between Aggregate Objects in the Specification and Design of Embedded Systems. I: Proceedings, Design, Automation and Test in Europe, 2001. : IEEE 2001 ISBN 0-7695-0993-2. p. 77-84
NTNU Untitled
 
39 Svarstad, Kjetil; Nicolescu, Gabriela; Jerraya, Ahmed.
A Model for Describing Communication Between Aggregate Objects in the Specification and Design of Embedded Systems. Design Automation and Test in Europe (DATE 2001); 2001-03-13 - 2001-03-16
NTNU Untitled
 
1990
40 Aas, Einar Johan; Klingsheim, K.A.; Svarstad, Kjetil.
Metodikk for systemkonstruksjon - er VHDL svaret?. Elektronikk : tidsskrift for IT og telekom 1990 ;Volume 23.(1) p. 14-17
NTNU Untitled
 
41 Aas, Einar Johan; Klingsheim, Karl; Svarstad, Kjetil.
Er VHDL bra nok?. Elektronikk : tidsskrift for IT og telekom 1990 ;Volume 23.(3) p. 27-29
NTNU Untitled
 
42 Aas, Einar Johan; Klingsheim, Karl; Svarstad, Kjetil.
Hvorfor (V)HDL idet hele tatt?. Elektronikk : tidsskrift for IT og telekom 1990 ;Volume 23.(4) p. 23-27
NTNU Untitled
 
43 Aas, Einar Johan; Klingsheim, Karl; Svarstad, Kjetil.
VHDL - noe for Ola Nordmann?. Elektronikk : tidsskrift for IT og telekom 1990 ;Volume 23.(2) p. 29-31
NTNU Untitled