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	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	Della Penna, Giuseppe; Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico
	Title	CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems			Type
	Year	2013	Publication	European Journal of Control	Abbreviated Journal
	Volume	19	Issue	1	Pages	14-36
	Keywords
	Abstract
	Address
	Corporate Author				Thesis
	Publisher	Elsevier North-Holland, Inc.	Place of Publication		Editor
	Language		Summary Language		Original Title
	Series Editor		Series Title		Abbreviated Series Title
	Series Volume		Series Issue		Edition
	ISSN	0947-3580	ISBN		Medium
	Area		Expedition		Conference
	Notes				Approved
	Call Number	UNIROMA1 @ davi @ DellaPenna_etal2013			Serial	31
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	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



	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	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	Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
	Title	Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems			Type
	Year	2012	Publication	Conference on Decision and Control, CDC	Abbreviated Journal
	Volume		Issue		Pages
	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		ISBN		Medium
	Area		Expedition		Conference
	Notes	To Appear. A preliminary version can be found at http://arxiv.org/abs/1207.4098			Approved
	Call Number	UNIROMA1 @ mari @ Alimguzhin_etal2012			Serial	13
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