|   | 
Details
   web
Records
Author (down) Terkelsen, Anders Franz
Title 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 (down) Prodanovic, Milan; Téllez Molina, Maria Belén; Gallo, Alessandro; Aguilar, José González
Title Proactive Management for Smart Buildings – Resource Management Strategy Type
Year 2013 Publication SMARTGREENS 2013 – Proceedings of the 2nd International Conference on Smart Grids and Green IT Systems Abbreviated Journal
Volume Issue Pages 165-170
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 @ DBLP:conf/smartgreens/ProdanovicMGA13 Serial 37
Permanent link to this record
 

 
Author (down) Pluyta, S.; Levchenko, S.; Pluyta, A.
Title 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 (down) Mari, Federico; Melatti, Igor; Tronci, Enrico; Finzi, Alberto
Title A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET Type
Year 2013 Publication Mobile Information Systems Abbreviated Journal
Volume 3 Issue 9 Pages 261-280
Keywords
Abstract
Address
Corporate Author Thesis
Publisher IOS Press Place of Publication Editor
Language Summary Language Original Title
Series Editor Series Title Abbreviated Series Title
Series Volume Series Issue Edition
ISSN 1574-017x (Print) 1875-905X (Online) ISBN Medium
Area Expedition Conference
Notes Approved
Call Number UNIROMA1 @ davi @ Mari_etal2013_4 Serial 24
Permanent link to this record
 

 
Author (down) Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Title Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems Type
Year 2012 Publication Proceedings of ICSEA 2012, The Seventh International Conference on Software Engineering Advances Abbreviated Journal
Volume Issue Pages 664-671
Keywords
Abstract
Address
Corporate Author Thesis
Publisher ThinkMind 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 @ mari @ Mari_etal2012 Serial 15
Permanent link to this record
 

 
Author (down) Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Title Control Software Visualization Type
Year 2012 Publication Proceedings of INFOCOMP 2012, The Second International Conference on Advanced Communications and Computation Abbreviated Journal
Volume Issue Pages 15-20
Keywords
Abstract
Address
Corporate Author Thesis
Publisher ThinkMind 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 @ mari @ Mari_etal2012_2 Serial 16
Permanent link to this record
 

 
Author (down) Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Title 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 (down) Levchenko, Sergei; Plyuta, Sergey
Title Aspects of creating a library of production rules in Decision Support Systems for smart grids based on fuzzy mathematics logic libraries Type
Year 2013 Publication Proceedings of the International Humboldt conference: Magnetic resonance as a tool for interdisciplinary research Abbreviated Journal
Volume Issue Pages p. 18
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 27
Permanent link to this record
 

 
Author (down) Levchenko, Sergei
Title From Smart energy grids to Smart Cities Type
Year 2012 Publication Energy strategy Abbreviated Journal
Volume n. 6 Issue Pages c. 23-27
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 28
Permanent link to this record
 

 
Author (down) Levchenko, Sergei
Title Modern trends and technology for energy efficiency based on integrated smart grids in Belarus Type
Year 2012 Publication Proc. of International conference “Energy of Moldova – 2012. Aspects of regional development” 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 29
Permanent link to this record