| |
Records |
Links |
|
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  |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
