Other Consortium Publications -- Query Results

	Other Consortium Publications Home \| Show All \| Simple Search \| Advanced Search	Login Quick Search: Field: contains: ...
	1-10 of 21 records found matching your query:

Search & Display Options

Select All Deselect All

<< 1 2 3 >>

List View

Citations

Details

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