Author: International Conference on Grey LiteraturePublisher:
ISBN: 9789074854184
Category :
Languages : en
Pages : 48
Book Description
GL'97 Conference Program
Author: International Conference on Grey LiteraturePublisher:
ISBN: 9789074854184
Category :
Languages : en
Pages : 48
Book Description
Conference program
Author: International conference on general education in universities and collegesPublisher:
ISBN:
Category :
Languages : en
Pages : 57
Book Description
New Frontiers in Grey Literature
Author: IFLA General Conference
Author: Publisher:
ISBN:
Category : International librarianship
Languages : en
Pages : 580
Book Description
Perspectives on the Design and Transfer of Scientific and Technical Information
Author: Grey Literature in Library and Information Studies
Author: Dominic FaracePublisher: Walter de Gruyter
ISBN: 3598441495
Category : Social Science
Languages : en
Pages : 288
Book Description
The further rise of electronic publishing has come to change the scale and diversity of grey literature facing librarians and other information practitioners. This compiled work brings together research and authorship over the past decade dealing with both the supply and demand sides of grey literature. While this book is written with students and instructors of Colleges and Schools of Library and Information Science in mind, it likewise serves as a reader for information professionals working in any and all like knowledge-based communities.
CORDIS Focus
Author: Domain-Specific Program Generation
Author: Christian LengauerPublisher: Springer Science & Business Media
ISBN: 3540221190
Category : Computers
Languages : en
Pages : 336
Book Description
Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving the quality and stability of the product. This book is about domain-specific program generation; it is the outcome of a Dagstuhl seminar on the topic held in March 2003. After an introductory preface by the volume editors, the 18 carefully reviewed revised full papers presented are organized into topical sections on - surveys of domain-specific programming technologies - domain-specific programming languages - tool support for program generation - domain-specific techniques for program optimization
Secure Systems Development with UML
Author: Jan JürjensPublisher: Springer Science & Business Media
ISBN: 3540264949
Category : Computers
Languages : en
Pages : 318
Book Description
Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness. Jürjens presents the UML extension UMLsec for secure systems development. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to developers who are not specialists in security. As one example, Jürjens uncovers a flaw in the Common Electronic Purse Specification, and proposes and verifies a correction. With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced professionals writing critical applications.
SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits
Author: Sumit GuptaPublisher: Springer Science & Business Media
ISBN: 1402078382
Category : Technology & Engineering
Languages : en
Pages : 241
Book Description
Rapid advances in microelectronic integration and the advent of Systems-on-Chip have fueled the need for high-level synthesis, i.e., an automated approach to the synthesis of hardware from behavioral descriptions. SPARK: A Parallelizing Approach to the High - Level Synthesis of Digital Circuits presents a novel approach to the high-level synthesis of digital circuits -- that of parallelizing high-level synthesis (PHLS). This approach uses aggressive code parallelizing and code motion techniques to discover circuit optimization opportunities beyond what is possible with traditional high-level synthesis. This PHLS approach addresses the problems of the poor quality of synthesis results and the lack of controllability over the transformations applied during the high-level synthesis of system descriptions with complex control flows, that is, with nested conditionals and loops. Also described are speculative code motion techniques and dynamic compiler transformations that optimize the circuit quality in terms of cycle time, circuit size and interconnect costs. We describe the SPARK parallelizing high-level synthesis framework in which we have implemented these techniques and demonstrate the utility of SPARK's PHLS approach using designs derived from multimedia and image processing applications. We also present a case study of an instruction length decoder derived from the Intel Pentium-class of microprocessors. This case study serves as an example of a typical microprocessor functional block with complex control flow and demonstrates how our techniques are useful for such designs. SPARK: A Parallelizing Approach to the High - Level Synthesis of Digital Circuits is targeted mainly to embedded system designers and researchers. This includes people working on design and design automation. The book is useful for researchers and design automation engineers who wish to understand how the main problems hindering the adoption of high-level synthesis among designers.