public marks

PUBLIC MARKS from GeorgesMariano

28 January 2006

STklos Home Page

STklos is a free Scheme system supporting most of the languages features defined in R5RS. The aim of this implementation is to be fast as well as light. The implementation is based on an ad-hoc Virtual Machine. STklos can also be compiled as a library and

27 January 2006

Explore the Linux memory model

Learn the fundamentals of how memory is constructed and managed in this guided introduction to the Linux® memory model. This guide includes an examination of the segment control unit and the paging models as well as a detailed look at the physical memory

26 January 2006

25 January 2006

CDuce: Home page

by 1 other
CDuce is a modern XML-oriented functional language with innovative features. A compiler is available under the terms of an open-source license. CDuce is type-safe, efficient, and offer powerful constructions to work with XML documents.

PiDuce

PiDuce is a distributed implementation of pi-like process calculi with native XML datatypes developed at the Department of Computer Science of Bologna.

Erlang-fr

Le site Erlang-fr est un site consacré au langage fonctionnel Erlang. L'environnement de développement Erlang a été mis au point par Ericsson, puis est sortie en Open Source en décembre 1998.

VeriCode Home Page

The Code Verification subgroup focuses on the task of formal verification of program code. That is, given a programming language (Java, Erlang) we provide a method for checking whether a program satisfies its correctness requirements.

SystemC: Welcome

by 3 others
SystemC provides hardware-oriented constructs within the context of C++ as a class library implemented in standard C++. Its use spans design and verification from concept to implementation in hardware and software.

West Team: High Performance Computing

Co-modeling for SoC Design West Team: High Performance Computing

Daniel DEVEAUX

[email protected] Campus de Tohannic, Rue Yves Mainguy / IUT, 8 rue Montaigne 56000 Vannes, FRANCE Tél : +33 297 017 241 / 626 451 Fax : +33 297 683 233

24 January 2006

23 January 2006

22 January 2006

Diffusion des savoirs de l'École normale supérieure

Fiabilité des logiciels, de l’A380 à Microsoft par David Monniaux (CNRS)

20 January 2006

The Compcert certified compiler back-end

The Compcert back-end is a compiler that generates PowerPC assembly code from a low-level intermediate language called Cminor and a slightly more expressive intermediate language called Csharpminor. The particularity of this compiler is that it is written

19 January 2006

GeorgesMariano's TAGS

search:

limit:50 100 200

a380   ACI   Anglais   ARINC653   avionics   bibliography   bibtex   Bmethod   CDuce   cms   cnrs   code   compiler   component   conference   construction   control   Coq   cours   cursus   debian   del.icio.us   design   development   eclipse   Eiffel   english   ens   faq   formal   formal-method   formal-methods   formal:linux   french   games   generation   grammars   graph   hardware   haxe   INRIA:ESPRESSO   INRIA:LogiCal   java   javascript   lang:french   languages   latex   libre   LIFL   linux   LUG   memory   method   meyer   microsoft   middleware   model   model-checking   modeling   mysql   networking   OCaml   opensource   operating   PERSEE   plugin   podcast   preuve   programming   project   proof   prototyping   Pstricks   railway   rapid   real-time   reference   research   safety   scheduling   scheme   software   specification   sysadmin   SysML   system   systems   tcl   tcltk   testing   tool   tools   tutorial   uml   Val-Libre   verification   web   WhosWho   wiki   xml