|   | 
Details
   web
Records
Author Hayes, B; Hernando-Gil, I.; Collin, A.; Harrison, G.; Djokic, S.
Title Optimal Power Flow for Maximizing Network Benefits From Demand-Side Management Type
Year 2014 Publication IEEE Transactions on Power Systems Abbreviated Journal
Volume 29 Issue 4 Pages (down) 1739-1747
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 39
Permanent link to this record
 

 
Author 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 (down) 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 Gruber, Jorn Klaas; Prodanovic, Milan
Title 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 (down) 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
 

 
Author 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 (down) 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 Terkelsen, Anders Franz
Title The Lost Children of Smart Grid Type
Year 2013 Publication Pan European Networks: Government Abbreviated Journal
Volume Issue 07 Pages (down) 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
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 (down) 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 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 (down) 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 Levchenko, S. A.; Pluyta, S. V.
Title 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 (down) 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.
Title 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 (down) 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 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 (down) 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