Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings: Lecture Notes in Computer Science, cartea 2855
Editat de Rajeev Aluren Limba Engleză Paperback – 29 sep 2003
The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip.
Din seria Lecture Notes in Computer Science
- 20% Preț: 1061.55 lei
- 20% Preț: 341.95 lei
- 20% Preț: 369.12 lei
- 20% Preț: 645.28 lei
- 20% Preț: 591.51 lei
- 15% Preț: 580.46 lei
- Preț: 410.88 lei
- 20% Preț: 504.57 lei
- Preț: 381.21 lei
- 20% Preț: 340.32 lei
- 20% Preț: 1414.79 lei
- 20% Preț: 538.29 lei
- 20% Preț: 583.40 lei
- 20% Preț: 1075.26 lei
- 20% Preț: 238.01 lei
- 17% Preț: 360.19 lei
- 20% Preț: 438.69 lei
- 20% Preț: 1183.14 lei
- 20% Preț: 596.46 lei
- 15% Preț: 438.59 lei
- 20% Preț: 655.02 lei
- 20% Preț: 649.49 lei
- 20% Preț: 309.90 lei
- 20% Preț: 337.00 lei
- Preț: 449.57 lei
- 20% Preț: 310.26 lei
- 20% Preț: 1024.44 lei
- 20% Preț: 579.30 lei
- 20% Preț: 763.23 lei
- 20% Preț: 453.32 lei
- 20% Preț: 575.48 lei
- 20% Preț: 585.88 lei
- 20% Preț: 326.98 lei
- 20% Preț: 825.93 lei
- 17% Preț: 427.22 lei
- 20% Preț: 763.23 lei
- 20% Preț: 350.21 lei
- 20% Preț: 307.71 lei
- 20% Preț: 580.93 lei
- 20% Preț: 340.32 lei
- 20% Preț: 343.62 lei
- 20% Preț: 583.40 lei
- 20% Preț: 583.40 lei
- Preț: 389.48 lei
- 20% Preț: 353.50 lei
- 20% Preț: 607.39 lei
Preț: 349.88 lei
Preț vechi: 437.35 lei
-20% Nou
Puncte Express: 525
Preț estimativ în valută:
66.96€ • 69.64$ • 56.04£
66.96€ • 69.64$ • 56.04£
Carte tipărită la comandă
Livrare economică 14-28 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540202233
ISBN-10: 3540202234
Pagini: 388
Ilustrații: X, 378 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.9 kg
Ediția:2003
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540202234
Pagini: 388
Ilustrații: X, 378 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.9 kg
Ediția:2003
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Contributions.- A Probabilistic Framework for Schedulability Analysis.- Resource-Efficient Scheduling for Real Time Systems.- Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems.- Regular Papers.- Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment.- HOKES/POKES: Light-Weight Resource Sharing.- Rate Monotonic vs. EDF: Judgment Day.- Translating Discrete-Time Simulink to Lustre.- Minimizing Variables’ Lifetime in Loop-Intensive Applications.- Resource Interfaces.- Clocks as First Class Abstract Types.- Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications.- Space Reductions for Model Checking Quasi-Cyclic Systems.- Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs.- Clock-Driven Automatic Distribution of Lustre Programs.- Reasoning about Abstract Open Systems with Generalized Module Checking.- Schedule-Carrying Code.- Energy-Efficient Multi-processor Implementation of Embedded Software.- A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications.- Constraint-Based Design-Space Exploration and Model Synthesis.- Eliminating Stack Overflow by Abstract Interpretation.- Event Correlation: Language and Semantics.- Generating Heap-Bounded Programs in a Functional Setting.- Pre-Scheduling: Integrating Offline and Online Scheduling Techniques.