Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Aluminium

Source URL: frama-c.com

• Software engineering
• Software
• Computing
• C
• Programming language implementation
• Frama-C
• Data types
• Undefined behavior
• Integer overflow
• C99
• Exception handling
• Unspecified behavior

www.lombardvehiclesolutions.co.uk Is it time to weigh up the benefits of ultra low emission vehicles? How the latest developments could provide an increased incentive for businesses to consider greener vehicles.

Source URL: www.lombardvehiclesolutions.co.uk

• Transport
• Electric vehicles
• Electric vehicle conversion
• Energy
• Plug-in hybrid
• Diesel engine
• Charging station
• London congestion charge
• Diesel locomotive
• Government incentives for plug-in electric vehicles
• Plug-in electric vehicles in the United Kingdom

Building a Big Bridge Coherence DLNA/UPnP framework DLNA OS Summit 2008 November 8, 2008 – Philippe Normand & Frank Scholz

Source URL: coherence-project.org

• Software
• Computing
• Technology
• Open standards
• Network protocols
• Coherence
• Digital media
• Universal Plug and Play
• Digital television
• Digital Living Network Alliance
• XMPP
• Collabora

Plug Conveying in a Vertical Tube Martin Strauß a Sean McNamara a Hans J. Herrmann a Gerhard Niederreiter b Karl Sommer b a Institut f¨

Source URL: www.comphys.ethz.ch

• Chemistry
• Materials science
• Fluidization
• Aquifers
• Hydrogeology
• Porosity
• Mechanics
• Viscosity
• Fluidized bed
• Gas
• Fluid dynamics
• Wave

GStreamer Plugin Writer’s GuideRichard John Boulton Erik Walthinsen Steve Baker Leif Johnson

Source URL: gstreamer.freedesktop.org

• Software
• Computing
• Computer programming
• GStreamer
• GTK+
• GObject
• Wim Taymans
• Pipeline
• Plug-in
• Buzztrax

Fall 2011 Seminars in Fall 2011 will be held on Wednesdays at 4pm in 102 EECH. FREEDM students and faculty are also encouraged to participate individually in FREEDM webinars (Wednesdays at 11am). There will also be a spe

Source URL: power.mst.edu

• Electric power
• Electrical engineering
• Energy
• Electric power conversion
• Eetch
• Microgrid
• Enemy Engaged
• Power electronics
• Ameren
• Plug-in hybrid
• Danfoss
• Power inverter

FOR IMMEDIATE RELEASE Contact: DeeDee Taft/Shelbi Okumura Spin Communications

Source URL: westvirginiaautoshow.com

• Transport
• Electric vehicle conversion
• Automotive industry
• Business
• Compact cars
• Hatchbacks
• Electric vehicles
• Nikkei 225
• Toyota
• Plug-in hybrid
• Plug-in electric vehicle
• Chevrolet Volt

Such-Plug-Ins für die Recherche in Bibliothekskatalogen Das GEI bietet in Kooperation mit der Universitätsbibliothek Braunschweig Such-Plug-Ins zur verbesserten Recherche in den Online-Katalogen beider Institutionen un

Source URL: bibliothek.gei.de

17TH POWER SYSTEMS COMPUTATION CONFERENCE, AUGUST 22-26, 2011, STOCKHOLM SWEDEN 1 Assessing the Effect of Storage Devices and a PHEV Cluster on German Spot Prices by Using

Source URL: www.eeh.ee.ethz.ch

• Energy
• Transport
• Electric power
• Electric vehicle conversion
• Energy storage
• Electric vehicles
• Alternative energy
• Plug-in hybrid
• Vehicle electrification
• Vehicle-to-grid
• Wind power
• Electricity market

EUROPEAN COMMISSION DG RTD SEVENTH FRAMEWORK PROGRAMME THEME 7 TRANSPORT - SST

Source URL: www.optimore-project.eu

• Transport
• Private transport
• Automotive industry
• Electric vehicles
• Compact cars
• Hatchbacks
• Coupes
• Range extender
• Volvo Cars
• Volvo C30
• Plug-in hybrid
• Dual-clutch transmission