toggle visibility Search & Display Options

Select All    Deselect All
 |   | 
Details
   print
  Records Links
Author Jacobsen, R.H.; Torring, N.; Danielsen, B.V.; Hansen, M.T.; Pedersen, E.B. doi  openurl
  Title (down) Towards an app platform for data concentrators Type
  Year 2014 Publication Innovative Smart Grid Technologies Conference (ISGT), 2014 IEEE PES Abbreviated Journal  
  Volume Issue Pages 1-5  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ Serial 45  
Permanent link to this record
 

 
Author Terkelsen, Anders Franz url  openurl
  Title (down) The Lost Children of Smart Grid Type
  Year 2013 Publication Pan European Networks: Government Abbreviated Journal  
  Volume Issue 07 Pages p- 230  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ Serial 30  
Permanent link to this record
 

 
Author Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico pdf  openurl
  Title (down) Synthesizing Control Software from Boolean Relations Type
  Year 2012 Publication International Journal on Advances in Software Abbreviated Journal  
  Volume vol. 5, nr 3&4 Issue Pages 212-223  
  Keywords Control Software Synthesis; Embedded Systems; Model Checking  
  Abstract Many software as well digital hardware automaticsynthesis methods define the set ofimplementations meeting the given systemspecifications with a boolean relation K. Insuch a context a fundamental step in the software(hardware) synthesis process is finding effectivesolutions to the functional equation defined byK. This entails finding a (set of) booleanfunction(s) F (typically represented usingOBDDs, Ordered Binary Decision Diagrams)such that: 1) for all x for which K issatisfiable, K(x, F(x)) = 1 holds; 2) theimplementation of F is efficient with respectto given implementation parameters such as codesize or execution time. While this problem hasbeen widely studied in digital hardware synthesis,little has been done in a software synthesiscontext. Unfortunately, the approaches developedfor hardware synthesis cannot be directly used ina software context. This motivates investigationof effective methods to solve the above problemwhen F has to be implemented with software. Inthis paper, we present an algorithm that, from anOBDD representation for K, generates a C codeimplementation for F that has the same size asthe OBDD for F and a worst case execution timelinear in nr, being n = |x| the number ofinput arguments for functions in F and r thenumber of functions in F. Moreover, a formalproof of the proposed algorithm correctness isalso shown. Finally, we present experimentalresults showing effectiveness of the proposedalgorithm.  
  Address  
  Corporate Author Thesis  
  Publisher Iaria Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN 1942-2628 ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ Mari_etal2012 Serial 26  
Permanent link to this record
 

 
Author Gruber, Jorn Klaas; Fernández Mínguez, José Luis pdf  url
openurl 
  Title (down) Supply mix optimization for decentralized energy systems Type
  Year 2013 Publication 2013 International Conference on Smart Grid (ICSG 2013) – Open Journal of Applied Sciences Abbreviated Journal  
  Volume Issue Pages 5-11  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ Serial 38  
Permanent link to this record
 

 
Author Pluyta, S.; Levchenko, S.; Pluyta, A. openurl 
  Title (down) Standards application in smart energy Type
  Year 2014 Publication Proceedings of the A.V. Luikov Heat and Mass Transfer Institute HEATMASSTRANSFER – 2013 Abbreviated Journal  
  Volume Issue Pages 43-47  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ Serial 40  
Permanent link to this record
 

 
Author Levchenko, S. A.; Pluyta, S. V. openurl 
  Title (down) Smart grids concept for sustainable development of Belarus energy system Type
  Year 2014 Publication Proceedings of the National academy of sciences of Belarus Abbreviated Journal  
  Volume 3 Issue Pages 91-97  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ Serial 44  
Permanent link to this record
 

 
Author Krivenko, E. V.; Levchenko, S. A.; Lutsenko, V. I. openurl 
  Title (down) Smart grid technology as a basis for modernisation of water supply system for the future sustainable society development Type
  Year 2014 Publication Proceedings of the International Humboldt conference: Science and technology as a basis of modernization for future sustainable development Abbreviated Journal SSF-2014  
  Volume Issue Pages 57-61  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ Serial 42  
Permanent link to this record
 

 
Author Levchenko, S.; Unfried, J.; Schackmann, V. openurl 
  Title (down) Smart Grid Services for Optimized Production and Integration of Bio-Energy into Regional Electricity-, Gas- and DistrictHeating- Grids Type
  Year 2014 Publication Proceedings of 22nd European Biomass Conference and Exhibition Abbreviated Journal  
  Volume Issue Pages  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ Serial 41  
Permanent link to this record
 

 
Author Levchenko, S. A.; Pluyta, S. V. openurl 
  Title (down) Service control system of smart electric grids by fuzzy model in conditions of initial data lacking Type
  Year 2014 Publication Proceedings of the International Humboldt conference: Science and technology as a basis of modernization for future sustainable development Abbreviated Journal SSF-2014  
  Volume Issue Pages 31-32  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ Serial 43  
Permanent link to this record
 

 
Author Gruber, Jorn Klaas; Prodanovic, Milan doi  openurl
  Title (down) Residential Energy Load Profile Generation Using a Probabilistic Approach Type
  Year 2012 Publication Sixth UKSim/AMSS European Symposium on Computer Modeling and Simulation (EMS 2012) Abbreviated Journal  
  Volume Issue Pages 317-322  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Ieee Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN 978-1-4673-4977-2 ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ DBLP:conf/ems/GruberP12 Serial 35  
Permanent link to this record
Select All    Deselect All
 |   | 
Details
   print

Save Citations:
Export Records: