| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990008266540403321 |
|
|
Autore |
Meysztowicz, Walerian |
|
|
Titolo |
La religion dans les constitutions des etats modernes : recueil de textes, analyse, essai de synthèse / Valerien Meysztowicz |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Roma : Apud custodiam librariam Pontificii instituti utriusque iuris, 1938 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
In testa al front.: Pontificium institutum utriusque iuris |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNIBAS000037644 |
|
|
Autore |
Almansi, Guido |
|
|
Titolo |
La ragion comica / Guido Almansi |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Milano : Feltrinelli, 1986 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
3. |
Record Nr. |
UNINA9910483451703321 |
|
|
Titolo |
Reliable Software Technologies - Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings / / edited by Jorge Real, Tullio Vardanega |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-38706-8 |
9786613564986 |
3-642-13550-1 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2010.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 277 p. 65 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 6106 |
|
|
|
|
|
|
Altri autori (Persone) |
|
RealJorge |
VardanegaT (Tullio) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Compilers (Computer programs) |
Software engineering |
Computer networks |
Computer science |
Computer programming |
Machine theory |
Compilers and Interpreters |
Software Engineering |
|
|
|
|
|
|
|
|
|
|
|
|
Computer Communication Networks |
Computer Science Logic and Foundations of Programming |
Programming Techniques |
Formal Languages and Automata Theory |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Keynote Talks -- What to Make of Multicore Processors for Reliable Real-Time Systems? -- Control Co-design: Algorithms and Their Implementation -- Multicores and Ada -- Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada -- Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 -- Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems -- Software Dependability -- Practical Limits on Software Dependability: A Case Study -- Program Verification in SPARK and ACSL: A Comparative Case Study -- Static Versioning of Global State for Race Condition Detection -- Critical Systems -- Using Hardware Support for Scheduling with Ada -- Cache-Aware Development of High-Integrity Systems -- Preservation of Timing Properties with the Ada Ravenscar Profile -- Real-Time Systems -- Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach -- Scheduling Configuration of Real-Time Component-Based Applications -- The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005 -- Language Technology -- AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005 -- A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM -- Towards Ada 2012: An Interim Report -- Distribution and Persistency -- Managing Transactions in Flexible Distributed Real-Time Systems -- An Efficient Implementation of Persistent Objects. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
th The 15 edition of the International Conference on Reliable Software Te- nologies - Ada-Europe 2010--took place in the attractive venue of Valencia, deservedly making Spain the most visited country in the conference series. P- vious editions of the conference were held in Switzerland (Montreux 1996 and Geneva2007),United Kingdom(London1997andYork2005),Sweden(Uppsala 1998),Spain(Santander 1999andPalmade Mallorca2004),Germany(Potsdam 2000), Belgium (Leuven 2001), Austria (Vienna 2002), France (Toulouse 2003 and Brest 2009), Portugal (Porto 2006), and Italy (Venice 2008). Theconferencerepresentsthe mainyearlyeventpromotedbyAda-Europe,in cooperation with ACM SIGAda. This third visit to Spain acknowledges the fact that Ada-Spainisthe largestnationalassociationof Ada-Europe,andis a major contributor to Ada-Europe's activities. This year the conference was organized by members of the Instituto de Automat ´ ica e Informa ´tica Industrial (AI2) and the Departamento de Inform´ atica de Sistemas y Computadores (DISCA) of the Universidad Polit´ ecnica de Valencia. Theyear2010isimportantforAda:thisistheyearwhenthenewamendment to the language (known as Ada 2012) is taking its de'nitive shape. The conf- ence program was not |
|
|
|
|
|
|
|
|
|
|
unaware of this fact, and these proceedings re'ect it by including papers about multicore programming in Ada, along with an overview of the key elements of the Ada 2012 amendment in the making. The scienti'c program of the conference, which feeds these proceedings, also included sessions devoted to software dependability, critical, real-time and d- tributed systems, and language technology, all under the more general heading of "Reliable Software Technologies." This program is the result of a thorough selectionprocessof17submissionsoutof42receivedfromauthorsof19di'erent countries. |
|
|
|
|
|
| |