|
Showing 1 - 7 of
7 matches in All Departments
|
Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers (Paperback, 1st ed. 2019)
Roger Chamberlain, Walid Taha, Martin Toerngren
|
R1,557
Discovery Miles 15 570
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 8th International
Workshop on Design, Modeling, and Evaluation of Cyber Physical
Systems, CyPhy 2018 and 14th International Workshop on Embedded and
Cyber-Physical Systems Education, WESE 2018, held in conjunction
with ESWeek 2018, in Torino, Italy, in October 2018.The 13 full
papers presented together with 1 short paper in this volume were
carefully reviewed and selected from 18 submissions. The conference
presents a wide range of domains including Modeling, simulation,
verification, design, cyber-physical systems, embedded systems,
real-time systems, safety, and reliability.
|
Generative Programming and Component Engineering - ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings (Paperback, 2002 ed.)
Don Batory, Charles Consel, Walid Taha
|
R1,690
Discovery Miles 16 900
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, GPCE 2002, held in Pittsburgh, PA, USA in October 2002.The 18 revised full papers presented were carefully reviewed and selected from 39 submissions. Among the topics covered are generative programming, meta-programming, program specialization, program analysis, program transformation, domain-specific languages, software architectures, aspect-oriented programming, and component-based systems.
This book constitutes the refereed proceedings of the Second International Workshop on Semantics, Applications, and Implementation of Program Generation, SAIG 2001, held in Florence, Italy in September 2001.The seven revised full papers and two position papers presented together with an invited survey paper and two abstracts of invited talks were carefully reviewed and selected for inclusion in the book. Among the topics covered are generative programming, meta-programming, aspect-oriented programming, transition compression, goal-directed evaluation, partial evaluation, functional programming, meta-computation, and program optimization.
This book constitutes the refereed proceedings of the International
Workshop on Semantics Applications, and Implementation of Program
Generation, SAIG 2000, held in Montreal, Canada in September 2000.
The seven revised full papers and four position papers presented
together with four invited abstracts were carefully reviewed and
selected from 20 submissions. Among the topics addressed are
multi-stage programming languages, compilation of domain-specific
languages and module systems, program transformation, low-level
program generation, formal specification, termination analysis, and
type-based analysis.
|
Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers (Paperback, 1st ed. 2020)
Roger Chamberlain, Martin Edin Grimheden, Walid Taha
|
R1,558
Discovery Miles 15 580
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 9th International
Workshop on Model-Based Design of Cyber Physical Systems, CyPhy
2019 and 15th International Workshop on Embedded and Cyber-Physical
Systems Education, WESE 2019, held in conjunction with ESWeek 2019,
in New York City, NY, USA, in October 2019.The 13 full papers
presented together in this volume were carefully reviewed and
selected from 24 submissions. The conference presents a wide range
of domains including models and design; simulation and tools;
formal methods; embedded and cyber-physical systems education.
This book constitutes the proceedings of the 19th International
Symposium on Practical Aspects of Declarative Languages, PADL 2017,
held in Paris, France, in January 2017 and collocated with the ACM
SIGPLAN Symposium on Principles of Programming Languages. The 14
papers presented in this volume were carefully reviewed and
selected from 27 submissions. They deal with novel applications and
implementation techniques for all forms of declarative languages,
including but not limited to logic, constraint, and functional
languages.
|
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers (Paperback, 1st ed. 2019)
Roger Chamberlain, Walid Taha, Martin Toerngren
|
R1,557
Discovery Miles 15 570
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 7th International
Workshop on Design, Modeling, and Evaluation of Cyber Physical
Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul,
South Korea, in October 2017. The 10 papers presented together with
1 extended and 1 invited abstracts in this volume were carefully
reviewed and selected from 16 submissions. The conference presents
a wide range of domains including robotics; smart homes, vehicles,
and buildings; medical implants; and future-generation sensor
networks.
|
|