| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910455569003321 |
|
|
Titolo |
Communicating process architectures 2002 [[electronic resource] ] : WoTUG-25 : proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom / / edited by James Pascoe ... [et al.] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam ; ; Washington, DC, : IOS Press, c2002 |
|
|
|
|
|
|
|
ISBN |
|
1-60129-409-3 |
600-00-0365-X |
9786610505586 |
1-280-50558-3 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (396 p.) |
|
|
|
|
|
|
Collana |
|
Concurrent systems engineering series, , 1383-7575 ; ; v. 60 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Transputers |
occam (Computer program language) |
Telecommunication systems |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
""Cache-Affinity Scheduling for Fine Grain Multithreading""""A Predicate Transformer Semantics for a Concurrent Language of Refinement""; ""Reconnetics: A System for the Dynamic Implementation of Mobile Hardware Processes in FPGAs""; ""Performance Analysis and Behaviour Tuning for Optimisation of Communicating Systems""; ""Configuration Discovery and Mapping of a Home Network""; ""Cluster Computing and JCSP Networking""; ""View-Centric Reasoning for Linda and Tuple Space Computation""; ""A Graphical Modeling Language for Specifying Concurrency based on CSP"" |
""The ""Honeysuckle"" Programming Language: Event and Process""""The ""Honeysuckle"" Programming Language: Object and Protocol""; ""A Communicating Threads (CT) Case Study: JIWY""; ""Prioritised Dynamic Communicating Processes - Part I""; ""Prioritised Dynamic Communicating Processes - Part II""; ""Implementing a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs""; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The WoTUG series of conferences are a major forum for the presentation of state-of-the-art ideas on concurrency and communication. This book continues this trend, with these proceedings containing a number of papers that discuss a wide range of issues fundamental to the future of concurrency.<p/>This book combines papers from researchers and practitioners from many disciplines. Topics covered include: theory, such as development to Hoare's Communicating Sequential Processes; hardware and real-time systems; software architecture and design; and applications. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910698104003321 |
|
|
Autore |
Jones Yvonne |
|
|
Titolo |
American Battle Monuments Commission [[electronic resource] ] : new approach to forecasting exchange rates for its foreign currency fluctuation account |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, DC : , : U.S. Government Accountability Office, , [2005] |
|
|
|
|
|
|
|
Descrizione fisica |
|
10 pages : digital, PDF file |
|
|
|
|
|
|
Soggetti |
|
Foreign exchange rates - Evaluation |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from title screen (viewed on Nov. 15, 2005). |
"October 20, 2005." |
Paper version available from: U.S. Government Accountability Office, 441 G St., NW, Rm. LM, Washington, D.C. 20548. |
"GAO-06-50R." |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
| |