Embedded system applications /
Sparad:
| Övriga upphovsmän: | , , |
|---|---|
| Materialtyp: | Bok |
| Språk: | English |
| Publicerad: |
Boston :
Kluwer Academic Publishers,
[1997]
|
| Ämnen: | |
| Länkar: | Publisher description Table of contents only |
| LEADER | 04208cam a2200457 i 4500 | ||
|---|---|---|---|
| 001 | c000405416 | ||
| 003 | CARM | ||
| 005 | 20200729131315.0 | ||
| 008 | 200729t19971997maua b 100 0 eng d | ||
| 010 | |a 97024671 | ||
| 016 | |a 000013263565 |2 AU | ||
| 019 | 1 | |a 13263565 |5 LACONCORD2021 | |
| 020 | |a 0792399471 | ||
| 035 | |a (OCoLC)37031024 |5 LACONCORD2021 | ||
| 040 | |a VSWT |e rda | ||
| 050 | 0 | 0 | |a TK7895.E42 |b E6 1997 |
| 082 | 0 | 0 | |a 004.2/56 |2 21 |
| 245 | 0 | 0 | |a Embedded system applications / |c edited by Claude Baron, Jean-Claude Geffroy, Gilles Motet. |
| 264 | 1 | |a Boston : |b Kluwer Academic Publishers, |c [1997] | |
| 264 | 4 | |c c1997 | |
| 300 | |a xi, 324 pages : |b illustrations ; |c 25 cm. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a unmediated |b n |2 rdamedia | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 500 | |a Papers presented at a workshop ATW'96 Europe held in Toulouse, France and in Bedford, Massachusetts. | ||
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | 0 | |a 1. The Joint Systems/Software Engineering Environment (JOSEE) Concept at Lockheed Martin Aeronautical Systems / D.R. Boutin -- 2. Current Modeling in Vital / J.L. Bàrreda, P. Sánchez -- 3. EDgAR: A Platform for Hardware/Software Codesign / A.J. Esteves, J.M. Fernandes, A.J. Proença -- 4. Hierarchical Multi-Views Modeling Concepts for Discrete Event Systems Simulation / A. Aiello, J-F. Santucci, P. Bisgambiglia, M. Delhom -- 5. A Formal System for Correct Hardware Design / M. Allemand, S. Coupet-Grimal, J-L. Paillet -- 6. Integration of Behavioral Testability Metrics in High Level Synthesis / K. Olcoz, J.F. Santucci, F.F. Tirado -- 7. Evaluation of an Integrated High-Level Synthesis Method / P. Arató, I. Jankovits, Z. Sugár, Sz. Szigeti -- 8. Combinatorial Criteria over Graphs of Specification to Decide Synthesis by Sequential Circuits / Y.P. Tison, P. Simonnet -- 9. Automatic Generation and Optimisation of Markov Matrices / A. Cabarbaye -- 10. Fault Modeling in Space-Borne Reconfigurable Microelectronic Systems /A. Rucinski, N. Valverde, C. Baron, P. Bisgambiglia, D. Fedrici, F-F. Santucci -- |
| 505 | 0 | 0 | |a 11. Prevention of Replication Induced Failures in the Context of Integrated Modular Avionics / P.D.V. van der Stok, P.T.A. Thijssen -- 12. Petri Net Modeling and Behavioral Fault Modeling Scheme for VHDL Descriptions / D. Fédérici, J-F. Santucci, P. Bisgambiglia -- 13. CATSAT's Soft X-Ray Detection System: An Innovative and Cost Effective Approach / S.P. Lynch -- 14. Petri Nets for a Space Operational System Availability Study / M. Saleman, J.-F. Ereau -- 15. Results of Low-Cost Propulsion System Research for Small Satellite Application / J.J. Sellers, T.J. Lawrence, M. Paul -- 16. Multiple Technology Choices for a Mixed Analog-Digital Space Radio-Astronomy Spectrometer / J-L. Noullet,L. Ravera, A. Ferreira, D. Lagrange, M. Giard, M. Torres -- 17. Design and Realization of a Synchronous Cooperative Shared Electronic Board / V. Baudin, M. Diaz, P. Owezarski, T. Villemur -- 18. Importance of Specifictaion Means to Design Integrated Modular Avionics Systems / G. Motet -- 19. Industrial Cooperation: Definition, Interest and Dynamic Evolution / M. Filippi -- |
| 505 | 0 | 0 | |a 20. Multimedia Educational Issues in a Variety of Learning Contexts / J-P. Soula, C. Baron -- 21. SURF-2 A Tool for Dependability Modeling and Evaluation / presented by L. Blain, J-E. Doucet -- 22. Submicron Circuit Design on PC / E. Sicard, S. Delmas. |
| 650 | 0 | |a Embedded computer systems. | |
| 700 | 1 | |a Baron, Claude. | |
| 700 | 1 | |a Geffroy, Jean-Claude. | |
| 700 | 1 | |a Motet, G. | |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0820/97024671-d.html |
| 856 | 4 | 1 | |3 Table of contents only |u http://www.loc.gov/catdir/enhancements/fy0820/97024671-t.html |
| 852 | 8 | |b CARM |i C13816 |p 0656118 |f BK | |
| 852 | 8 | |b SCAN |h A3:AF08G0 |i C13816 |p 0656118 |f BK | |
| 852 | 8 | |b SCAN |h A3:AF08G0 |i C13816 |p 0656118 |f BK | |
| 999 | f | f | |i 1d02d86e-dca0-543a-91ed-b014dfc93051 |s 101aaedf-92d2-5b49-82dd-f82176ab61a3 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C13816 |h Other scheme |i book |m 0656118 |
| 952 | f | f | |a CAVAL |b CAVAL |c CAVAL |d Unmapped Location |e C13816 |f A3:AF08G0 |h Other scheme |