| |
Records |
Links  |
|
Author |
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 |
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 |
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 |
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 |
Levchenko, S.; Unfried, J.; Schackmann, V. |
|
| |
Title |
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 |
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 |
Levchenko, S. A.; Pluyta, S. V. |
|
| |
Title |
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 |
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 |
Kuijpers, Ed; Carotenuto, Luigi; Malapert, Jean-Cristophe; Markov-Vetter, Daniela; Melatti, Igor; Orlandini, Andrea; Pinchuk, Ranni |
|
| |
Title |
Collaboration on ISS Experiment Data and Knowledge Representation |
Type |
|
| |
Year |
2012 |
Publication |
Proc. of IAC 2012 |
Abbreviated Journal |
|
|
| |
Volume |
D.5.11 |
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 @ Kuijpers_etal2012 |
Serial |
25 |
|
| 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 |
