Advanced Topics in Database Research


Book Description

This book presents the latest research ideas and topics on how to enhance current database systems, improve information storage, refine existing database models, and develop advanced applications. It provides insights into important developments in the field of database and database management. With emphasis on theoretical issues regarding databases and database management, the book describes the capabilities and features of new technologies and methodologies, and addresses the needs of database researchers and practitioners. *Note: This book is part of a new series entitled Advanced Topics in Database Research ." This book is Volume Three within this series (Vol. III, 2004).




Programming Environments for Massively Parallel Distributed Systems


Book Description

Massively Parallel Systems (MPSs) with their scalable computation and storage space promises are becoming increasingly important for high-performance computing. The growing acceptance of MPSs in academia is clearly apparent. However, in industrial companies, their usage remains low. The programming of MPSs is still the big obstacle, and solving this software problem is sometimes referred to as one of the most challenging tasks of the 1990's. The 1994 working conference on "Programming Environments for Massively Parallel Systems" was the latest event of the working group WG 10.3 of the International Federation for Information Processing (IFIP) in this field. It succeeded the 1992 conference in Edinburgh on "Programming Environments for Parallel Computing". The research and development work discussed at the conference addresses the entire spectrum of software problems including virtual machines which are less cumbersome to program; more convenient programming models; advanced programming languages, and especially more sophisticated programming tools; but also algorithms and applications.




Verification, Validation and Testing in Software Engineering


Book Description

"This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications"--Provided by publisher.







Fundamental Approaches to Software Engineering


Book Description

This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 25 papers presented in this volume were carefully reviewed and selected from 112 submissions. They are organized in topical sections named: model-driven engineering; verification and validation; software comprehension; analysis tools; model-driven engineering: applications; model transformations; and testing.




The Compiler Design Handbook


Book Description

The widespread use of object-oriented languages and Internet security concerns are just the beginning. Add embedded systems, multiple memory banks, highly pipelined units operating in parallel, and a host of other advances and it becomes clear that current and future computer architectures pose immense challenges to compiler designers-challenges th




COMPILER DESIGN


Book Description

As an outcome of the author's many years of study, teaching, and research in the field of Compilers, and his constant interaction with students, this well-written book magnificently presents both the theory and the design techniques used in Compiler Designing. The book introduces the readers to compilers and their design challenges and describes in detail the different phases of a compiler. The book acquaints the students with the tools available in compiler designing. As the process of compiler designing essentially involves a number of subjects such as Automata Theory, Data Structures, Algorithms, Computer Architecture, and Operating System, the contributions of these fields are also emphasized. Various types of parsers are elaborated starting with the simplest ones such as recursive descent and LL to the most intricate ones such as LR, canonical LR, and LALR, with special emphasis on LR parsers. The new edition introduces a section on Lexical Analysis discussing the optimization techniques for the Deterministic Finite Automata (DFA) and a complete chapter on Syntax-Directed Translation, followed in the compiler design process. Designed primarily to serve as a text for a one-semester course in Compiler Design for undergraduate and postgraduate students of Computer Science, this book would also be of considerable benefit to the professionals. KEY FEATURES • This book is comprehensive yet compact and can be covered in one semester. • Plenty of examples and diagrams are provided in the book to help the readers assimilate the concepts with ease. • The exercises given in each chapter provide ample scope for practice. • The book offers insight into different optimization transformations. • Summary, at end of each chapter, enables the students to recapitulate the topics easily. TARGET AUDIENCE • BE/B.Tech/M.Tech: CSE/IT • M.Sc (Computer Science)




Software Reengineering


Book Description

Software -- Software Engineering.




Software Composition


Book Description

The book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federated Conferences. The 10 revised full papers and 2 short papers were carefully reviewed and selected from 32 initial submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on composition and interfaces, aspects and features, and applications.