
	Where results make sense

Topic: Esterel

In the News (Thu 10 Dec 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	Embedded.com - An Introduction to Esterel
		Because of Esterel's textual nature (as opposed to graphical) and compositional facilities, it is relatively easy to write compact specifications for systems with very complex state machines.
		The reaction instant of Esterel is completed only when the system reacts to all of them; that is, the reaction to all the presently available input events constitutes the reaction instant.
		Esterel does not have facilities to directly refer to the past or future occurrences of signals.
	www.embedded.com /story/OEG20011018S0090 (2693 words)

	Esterel - Wikipedia, the free encyclopedia
		Esterel is a synchronous programming language for the development of complex reactive systems.
		The development of the language started in the early 1980s, and was mainly carried out by a team of Ecole des Mines de Paris and INRIA lead by Gérard Berry.
		The commercial version of Esterel is the development environment Esterel Studio.
	en.wikipedia.org /wiki/Esterel (575 words)

	INRIA - Esterel emerges from the lab Esterel Studio
		Esterel system-level language emerges from the lab Esterel Studio, a system-level EDA tool that its developer claims is being used by Texas Instruments to help design digital signal processors for mobile phones, is being unveiled to the broader public at DATE this week.
		Esterel Studio is the first commercial EDA tool touse Esterel, a research language that can be used before hardware/software partitioning to describe the control portion of embedded systems.
		Esterel Studio is also expected to be used as an optional point of entry to the VCC system codesign tool from Cadence Design Systems.
	www.inria.fr /valorisation/nouvelles/T-Esterel-Studio.en.html (918 words)

	Esterel Synchronous Language
		Esterel is both a programming language, dedicated to programming reactive systems, and a compiler which translates Esterel programs into finite-state machines.
		Esterel is now experimentally used by several companies and taught in several universities.
		This document is a part of the Esterel Primer that can be used as a stand-alone quick guide to the language constructs, syntax, and semantics.
	www.softwaresafety.net /Esterel.org/esterel.html (1143 words)

	Esterel Resources
		Esterel is a synchronous programming language in the imperative style.
		The Columbia Esterel Compiler is a research project that uses a novel method of transforming Esterel programs into C source code, Verilog, or BLIF.
		Esterel Studio is a commercial product that incorporates and extends the INRIA/CMA esterel tools.
	www.cse.unsw.edu.au /~tbourke/esterel/esterel.html (302 words)

	History of Fashion DesignerJacques Esterel
		Jacques Esterel was born in France in 1917.
		Feraud gave Esterel two of his seamstresses to start him up in a shop in Cannes on the French Riviera, and then in 1958 Esterel opened two boutiques in Paris.
		Jacques Esterel died in 1974 at the relatively young age of 57.
	www.designerhistory.com /historyofashion/esterel.html (297 words)

	ESL Synthesis Using Esterel Studio and the IP-XACT Specifications from The SPIRIT Consortium (Site not responding. Last check: 2007-11-04)
		Esterel Studio generates IP-XACT enabled meta-data so that the SystemC, VHDL and Verilog generated from Esterel Studio can now be packaged with an IP exchange format for easy import into other IP-XACT enabled ESL and RTL level tools.
		Esterel Studio is the leading front-end design and verification suite for control-intensive hardware IP such as power management controllers, communication protocols, bus interfaces, peripheral controllers, I/O subsystems, cache controllers, arbiters, and processor core peripherals.
		Esterel Technologies is a privately held company with headquarters in Elancourt, France and Mountain View, California, USA, and with direct sales offices in Germany, the United Kingdom, and China.
	www.prweb.com /releases/2006/7/prweb414300.htm (549 words)

	The company Esterel Motor-homes
		Flagship of the top-of-the-range motor-home with aluminium framework, the Esterel company incorporated the Rapido Group in 1993, thus becoming in this slot the incontestable specialist of the complete unit.
		The Esterel company occupies, very near Angers, a specialized production site and is preparing to move into a new factory, entirely designed to ensure its development, to meet the growth of the top-of-the-range market in Europe and satisfy the just demands of its customers.
		The Esterel 2007 collection takes you to a world of refinement, comfort and innovations.
	www.esterel.fr /esterel.php?lang=en (240 words)

	Esterel Studio :: Products
		Esterel Studio is the leading front-end design and verification suite for control-intensive hardware IP.
		Esterel Studio delivers the full expected benefits of ESL synthesis, providing an automated path from ESL to RTL by generating consistent VHDL/Verilog and SystemC implementations from a single and formally verified Esterel Studio IP executable specification.
		Esterel Studio provides the services of several EDA tools for the price and set up of a single one.
	www.esterel-technologies.com /products/esterel-studio (384 words)

	New and Used Esterel, Rapido Folding Caravans and Campers Sales.
		Esterel and Rapido Folding Caravans and Folding Campers
		Campers and Leisure UK are specialists in the sale of both new and used Esterel folding caravans, Rapido folding caravans, folding campers, pop up caravans and trailer tents.
		We have an ever changing stock of used Esterel and Rapido folding caravans so if you can not find what you are looking for right now the chances are high we may get one in so please get in touch.
	www.campersandleisure.co.uk (109 words)

	An Introduction to Esterel
		Now that the system behavior is specified as an Esterel program, we shall see how to test these behavioral specifications.
		With these new Esterel constructs, we are ready to describe the specification shown in Listing 2.
		Theorem-proving and verification tools of Esterel can be used to verify that Listing 2 satisfies these properties.
	www.embedded.com /shared/printableArticle.jhtml?articleID=15201688 (4172 words)

	Esterel Questions (Site not responding. Last check: 2007-11-04)
		Q: Is the parallelism in Esterel (synchronous language) same as that of Handle-C? The parallelism abstraction of Esterel and Handle-C is same.
		In the SW implementation, Esterel programs are translated into sequential code consisting of statements of concurrent processes in arbitrary order - which order is dynamic in nature.
		In Esterel, due to the presence of concurrency and the synchronoy hypothesis (reactions are instantaneous), a number of actions need to be executed in each reaction.
	www.it.iitb.ac.in /~it606/IT606-FAQs-web06/html/c63.html (875 words)

	Software Account: Esterel
		This is an additional compiler for esterel v5 from Stephen A. Edwards at Columbia University.
		This document describes the use of the Esterel compiler, the interfacing of generated code, and the simulation of Esterel programs.
		Therefore a client runnning Esterel Studio must have a permanent network connection inside that domain to be able to talk to the license server.
	www.informatik.uni-kiel.de /~esterel (933 words)

	Privately owned Mobile Home to let at Esterel Caravanning at Agay, near St Raphael and Frejus on the Cote d'Azur
		We have a privately owned Mobile Home in the South of France on the French Riviera at Esterel Caravanning, Agay near Frejus and St Raphael that is available to rent.
		Esterel Caravaning is one of the most beautiful campsites on the Cote d'Azur as it is set in the National Park of the Esterel Massif.
		There are many other activities nearby including; Horse riding right outside the campsite; the Esterel Golf Pass gives access to 5 golf courses, 2 are only a couple of minutes away; mountain biking and of course the wonderful beaches and coves just 3Km away.
	www.esterel.co.uk (240 words)

	Photos de l'Esterel - Photos of Esterel
		I thought I could try and translate my own visions into photos to prompt people to discover this region, or to show it to those who cannot go there.
		Paradoxically Esterel is enclosed in one of the most populated seashore strip in the world.
		So close to civilization, to roads, to blocked cities, I found a silent, intact nature, flooded with sunshine most of the time, the sparkling sea and a view extending beyond the horizon.
	www.alain-rempfer.com /photos/esterel/landscapes.html (549 words)

	Esterel Technologies Introduces CVK (Compiler Verification Kit)
		The tools from Esterel Technologies allow the design of unambiguous specifications of software systems, to simulate them and automatically verify these designs with the help of formal methods.
		Esterel Technologies´ tools create unambiguous specifications that produce correct-by-construction, automated implementation in software and/or hardware.
		Esterel Studio enables electronics hardware designers to create golden specification models that can be automatically implemented in RTL or C. Esterel Technologies is a privately held company with headquarters in Mountain View, California, USA, and Elancourt, France, with direct sales offices in Germany, the United Kingdom, and China.
	www.dedicated-systems.com /VPR/layout/display/pr.asp?PRID=8869 (650 words)

	PRESS RELEASE Green Hills Software and Esterel Technologies Partner to Create the First Complete Model-Driven Solution ... (Site not responding. Last check: 2007-11-04)
		In contrast, the integrated solution developed by Green Hills Software and Esterel Technologies accelerates time-to-market and time-to-certification by generating a DO-178B and IEC 61508-compliant target code in C, directly from the SCADE model.
		Esterel Studio™ allows electronics hardware designers to create golden specification models that can be automatically implemented in RTL or C. Esterel Technologies is a privately held company with headquarters in Mountain View, California, USA, and Elancourt, France, with direct sales offices in Germany, the United Kingdom, and China.
		Esterel Technologies and SCADE are trademarks or registered trademarks of Esterel Technologies S.A. Green Hills, the Green Hills logo, MULTI, INTEGRITY, velOSity, AdaMULTI and TimeMachine, are trademarks or registered trademarks of Green Hills Software, Inc. in the U.S. and/or internationally.
	www.marketwire.com /mw/release_html_b1?release_id=109754 (871 words)

	Introduction to the INRIA/CMA Esterel tools
		Change to the directory where Esterel is to be installed, e.g.
		Files to process are selected by double-clicking on their names (NB: files may be removed from the generated command-line by double-clicking on them again in the file browser).
		An Esterel program is pure if it contains no valued signals, variables, external function calls, or non-Boolean operations that cannot be resolved at compile-time.
	www.cse.unsw.edu.au /~tbourke/esterel/classic_guide.html (1487 words)

	CEC: The Columbia Esterel Compiler
		The Columbia Esterel Compiler is an open-source compiler designed for research in both hardware and software generation from the Esterel synchronous language.
		It currently supports a subset of so-called Esterel V5, and can generate a C program or a Verilog or BLIF circuit description from an Esterel program.
		It is implemented in C++ using the ANTLR parser generator (version 2.7.2) and the expat XML parsing library (version 1.95).
	www1.cs.columbia.edu /~sedwards/cec (141 words)

	Esterel
		Esterel has been manufacturing caravans for nearly 35 years and they have produced more than 70,000 caravans proudly bearing their name.
		With over 40 registered international patents it can be said that they virtually invented the folding caravan.
		To complement their range Esterel recently introduced the Top Profile range of rigid caravan's which are only 1.8 metres across which and due to its width and streamlining make it one of the smoothest and most manageable caravans on the road.
	members.tripod.com /raclet/esterel.htm (123 words)

	Esterel's design suite supports SPIRIT Consortium specs
		Esterel Studio is a design environment based on the Esterel language.
		In April 2006, Esterel Technologies joined the SPIRIT Consortium as a reviewing member to access the IP-XACT specification and upgrade its Esterel Studio solution in a view to support the new specifications for improved multi-vendor IP design and tool flow integration.
		At DAC, Esterel Technologies plans to demonstrate the full benefits of the ESL synthesis with the integration of an Esterel IP into ARM RealView SoC Designer and Synopsys coreAssembler.
	eetimes.eu /design/191000282 (470 words)

	Mont Vinaigre, Esterel
		The highest peak of the Esterel Mountains is Mont Vinaigre (618m/2,028ft) near its northern escarpment.
		It can be reached from Fréjus on road N7, from which in 11km/7mi a narrow forest road branches off.
		Unauthorized duplication in part or whole without prior written consent prohibited by international laws.
	www.planetware.com /esterel/mont-vinaigre-f-az-mvi.htm (69 words)

	Esterel Technologies
		Esterel Technologies today announced the release of the new version of Esterel Studio the leading front-end design …
		Esterel Studio defines unambiguous executable specifications and generates formally verified code for RTL designs.
		Texas Instruments uses several dozen Esterel Studio licences and over fifty TI engineers have already been trained in its use.
	www.esterel-technologies.com (237 words)

	The Esterel Synchronous Programming Language: Design, Semantics, Implementation - Berry, Gonthier (ResearchIndex)
		Abstract: this paper, we shall mostly be concerned by reactive kernels that constitute the central and most difficult part of reactive systems.
		In fact, ESTEREL is not a full-fledged programming language, but rather a program generator used to program reactive kernels in the same way as YACC [32] is used to program parsers from grammars.
		The graph only includes citing articles where the year of publication is known.
	citeseer.ist.psu.edu /berry92esterel.html (763 words)

	L'Esterel in Cannes, France
		Totally refurbished in 2004, the 53 modern guestrooms are uniformly decorated in blue and yellow tones.
		Each morning at L'Esterel, guests can tuck into a continental breakfast while enjoying panoramic views of the town, the Mediterranean and the Esterel mountains from the top- floor breakfast room.
		SNCF national train services run to and from the airport every 30 minutes Breakfast room on the top of the building with panoramic view on the sea and the Esterel.
	www.hotel-rates.com /france/cannes/l-esterel.html (450 words)

	Esterel's secure snowmobile lodging, rentals, and tours, in the beautiful Laurentian Mountains of Quebec!
		Esterel's secure snowmobile lodging, rentals, and tours, in the beautiful Laurentian Mountains of Quebec!
		Members of the Quebec Provincial Police have been hired on as security consultants.
		Aerial photos show the secured nature of the Esterel layout plan.
	www.zenwaiter.com /esterelquebec.htm (107 words)

	Esterel Hotel Marseille France
		Of charm and character, the Esterel Hotel Marseille ** offers to its customer 27 rooms, all with shower/WC or bathroom/WC and which comfort will certainly seduce you.
		All rooms are equipped with TV and Canal +, radio, mini-bar, direct telephone to the network, air conditioned, sound proof.
		Conference room with secretary service, telex, fax, reserved and guarded car park, metro Prefecture/Estrangin.
	www.benotel.com /france/marseille/esterel/index.htm (61 words)

	Luxury Home For Sale or For Rent in Esterel, Quebec Canada - Esterel-4 Lakes-3 Navigable-1:15 Mins From Montreal - ...
		Luxury Home For Sale or For Rent in Esterel, Quebec Canada - Esterel-4 Lakes-3 Navigable-1:15 Mins From Montreal - Viviun the Leader in International Property Listings
		Luxury Home For Sale or For Rent in Esterel, Quebec Canada
		Esterel in the heart of the Laurentians just 75 mins from Montreal.30 mins from Mont Tremblant.
	www.viviun.com /AD-61686 (260 words)

	SAL- Programming - Languages & Compilers - Esterel (Site not responding. Last check: 2007-11-04)
		SAL- Programming - Languages & Compilers - Esterel
		Esterel is both a language, dedicated to programming reactive systems, and a compiler which translates Esterel programs into finite-state automata.
		It is one of a family of synchronous languages which are particularly well-suited to programming reactive systems, including real-time systems and control automata.
	www.sai.msu.su /sal/F/1/ESTEREL.html (59 words)

Try your search on: Qwika (all wikis)