The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundation...
详细信息
ISBN:
(数字)9783642171642
ISBN:
(纸本)9783642171635
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9...
详细信息
ISBN:
(数字)9783642304736
ISBN:
(纸本)9783642304729
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application that support engineers in building secure, safe, and reliable systems. Among the topics covered are model-based testing; scenario-based testing; complex data structure generation; and the validation of protocols and libraries.
This book constitutes the refereed proceedings of the Third International Conference on Image and Signal Processing, ICISP 2008, held in Cherbourg-Octeville, France, in July 2008. The 48 revised full papers and 22 rev...
详细信息
ISBN:
(数字)9783540699057
ISBN:
(纸本)9783540699040
This book constitutes the refereed proceedings of the Third International Conference on Image and Signal Processing, ICISP 2008, held in Cherbourg-Octeville, France, in July 2008. The 48 revised full papers and 22 revised poster papers presented were carefully reviewed and selected from 193 submissions. The papers are organized in topical sections on image filtering, image segmentation, computer vision, feature extraction, pattern recognition, graph-based representations, motion detection and estimation, new interfaces, document processing, and signal processing.
暂无评论