<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">Hi all:<br>I see there is some products coming from HP, and others, but specially HP, claiming that provide lower consumption in data center power management.<br>As I see they are working in Tycoon as a Data processor (created in Germany and Europe).<br>As Greg Nelson wrote code for profiling the Alphas and Itanium, perhaps they are interested in work on ESC, but nevertheless Modula-3 and family languages (Quest) as Tycoon is based on them.<br>If I may say so, Quest was defined by its simple denotational semantics, which is the natural deduction system of Baby Modula-3 (though it lacks more than that, but you can process the language of it through the former)<br>Do we want to confirm that, if anyone interested in the TML - TVM please write me for any other questions or comments<br>Thanks in
 advance<br><br>http://www.eetimes.com/electronics-news/4373994/HP-cuts-data-center-power-in-lab-tests?cid=NL_EETimesDaily<br><br>http://tycoon.hpl.hp.com/~tycoon/doc/users_manual_en/ch-intro.html<br><br>http://wwwmatthes.in.tum.de/file/Publications/1992/Math92/paper.pdf<br></td></tr></table>