الصفحة 3
الصفحة 3
Microprocessor 3 : Core concepts - hardware aspects
Calculation is the main function of a computer. The central unit is responsible for executing the programs. The microprocessor is its integrated form. This component, since the announcement of its marketing in 1971, has not stopped breaking records in terms of computing power, price reduction and integration of functions (calculation of basic functions, storage with integrated controllers). It is present today in most electronic devices. Knowing its internal mechanisms and programming is essential for the electronics engineer and computer scientist to understand and master the operation of a computer and advanced concepts of programming.
Microprocessor 2 : Communication in a digital system
Focuses more particularly on the first generations of microprocessors, that is to say those that handle integers in 4 and 8-bit formats. The first chapter presents the calculation function and reminds the memory function. The following is devoted to notions of calculation model and architecture. The concept of bus is then presented. Chapters 4 and 5 can then address the internal organization and operation of the microprocessor first in hardware and then software. The mechanism of the function call, conventional and interrupted, is more particularly detailed in a separate chapter. The book ends with a presentation of architectures of the first microcomputers for a historical perspective. The knowledge is presented in the most exhaustive way possible with examples drawn from current and old technologies that illustrate and make accessible the theoretical concepts. Each chapter ends if necessary with corrected exercises and a bibliography. The list of acronyms used and an index are at the end of the book.
Microprocessor 1 : Prolegomena - calculation and storage functions - models of computation and computer architecture
Presents the computation function, recalls the memory function and clarifies the concepts of computational models and architecture. A comprehensive approach is used, with examples drawn from current and past technologies that illustrate theoretical concepts, making them accessible.
Maturing Usability : Quality in Software, Interaction and Value
Divided into three parts, ‘Quality in Software’ looks at how using development tools can enhance usability of a system, and how methods and models can be integrated into the development process to produce effective user interfaces. ‘Quality in Interaction’ addresses theoretical frameworks on the nature of interactions; techniques and metrics for evaluation interaction quality; and the transfer of concepts and methods from research to practice. Finally, ‘Quality in Value’ assesses the impact that a system has in the real world, focusing on increasing the value of usability practice for software development and on increasing value for the users.
Mathematics of Program Construction ; 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008.The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
Introduction to software design with Java
Provides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming language. Its goal is to help readers learn software design by discovering the experience of the design process. To this end, the text follows a continuous narrative that introduces each element of design know-how in context, and explores alternative solutions in that context. This narrative is complemented by hundreds of code fragments and design diagrams.
Introduction to Scientific Programming with Python
This book offers an initial introduction to programming for scientific and computational applications using the Python programming language. The presentation style is compact and example-based, making it suitable for students and researchers with little or no prior experience in programming.
Introduction to Programming with Fortran : with coverage of Fortran 90, 95, 2003 and 77
Introduction to Programming with Fortran contains: lots of clear and simple examples highlighting the key language features of the most recent versions of Fortran – Fortran 2003, 95 and 90. practical examples based on ISO TR 15580 and ISO TR 15581 which are widely supported and cover the ISO TR on Enhanced Modules – particularly important to large code suites common problems that occur when programming which are highlighted via clear examples and solutions Introduction to Programming with Fortran is an essential introduction for beginners as well as a concise reference for professionals. Overall the book gives a very effective hands-on coverage of Fortran, valuable to students and practitioners alike.
Introduction to Geometric Computing
The geometric ideas in computer science, mathematics, engineering, and physics have considerable overlap and students in each of these disciplines will eventually encounter geometric computing problems. The topic is traditionally taught in mathematics departments via geometry courses, and in computer science through computer graphics modules. This text isolates the fundamental topics affecting these disciplines and lies at the intersection of classical geometry and modern computing.
Introduction to C++ : 500+ Difficulty-Scaled Solved Programming Exercises
Includes more than 500 exercises and examples of progressive difficulty to aid the reader in understanding the C++ principles and to see how concepts can materialize in code. The examples are designed to be short, concrete, and substantial, quickly giving the reader the ability to understand how to apply correctly and efficiently the features of the C++ language and to get a solid programming know-how. Rest assured that if you are able to understand this book's examples and solve the exercises, you can safely go on to edit larger programs, you will be able to develop your own applications, and you will have certainly established a solid fundamental conceptual and practical background to expand your knowledge and skills
International Symposium on Fundamentals of Software Engineering ; International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17–19, 2007. Thissymposium brought together researchers and practitioners working on di?erent aspects of formal methods in software engineering.
Interactive systems. design, specification, and verification ; 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008.The 21 revised full papers and 10 late breaking and experience report papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover user interface evaluation and specification, with particular emphasis on the use of task models to provide high-level approaches for capturing the intended functionality of a user interface; examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications.
Intelligent Information Technology ; 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings
Focused on the latest research findings on all topics in the area of information technology. Although the natural focus was on computer science issues, research results contributed from management, business and other disciplines formed an integral part. We received more than 200 papers from over 27 countries in the areas of com- tational intelligence, neural networks, mobile and adhoc networks, security, databases, software engineering, signal and image processing, and Internet and WWW-based computing. The programme committee, consisting of eminent researchers, academicians and practitioners, finally selected 43 full papers on the basis of reviewer grades. This proceedings contains the research papers selected for presentation at the c- ference and this is the first time that the proceedings have been published in the Lecture Notes in Computer Science (LNCS) series. The poster papers are being printed as a separate conference proceedings.
Intelligent Agents and Multi-Agent Systems ; 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings
This book constitutes the proceedings of the the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held in Hanoi, Vietnam, in December 2008.The 19 regular papers and 22 short papers presented together with 3 keynote speeches, were carefully reviewed and selected from 56 submissions. Many current subjects in multi-agent research and development are addressed, ranging from theoretical and methodological issues to various applications in different fields. There was a track on multi-issue negotiation and agents and HCI.
Intelleger = انتليجر
The project management system is a web application designed to assist software managers in efficiently managing their projects, including websites, mobile apps, and other software initiatives. Utilizing artificial intelligence, the application streamlines project creation and management processes, offering significant benefits in terms of organization and accuracy. Managers can create projects by inputting essential details such as the name, scope, deadline, and tasks. The system generates AI-based functional and non-functional requirements tailored to the project scope using gpt2 model on Pure dataset. Managers can then review and edit these requirements as needed before finalizing the project. The application facilitates comprehensive task management by allowing managers to assign tasks to developers, edit task details, and ensure task deadlines align with project deadlines. Developers can log their start and end times automatically when they begin and complete tasks, providing accurate time tracking and performance analysis.also they can use code generation model to generate their task’s code using codebert model on concode and codesearchnet dataset Real-time notifications keep both managers and developers informed of task assignments, completions, and other critical updates.
Integrated formal methods ; 3rd International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
IFM 2002 explored the relations between formal methods and graphical notations, especially the industrial standard language for software design, the Unified Modeling Language (UML). The themes of IFM 2002 reflect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computer scientists have developed a range of formalisms focusing on particular aspects of behavior or analysis, such as sequential program structures, concurrent program structures, data and information structures, temporal reasoning, deductive proof, and model checking. Much effort is now being devoted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance of providing these with the for mal underpinnings and form alanalysis capabilities found in formal methods.
Innovative Concepts for Autonomic and Agent-Based Systems ; 2nd International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers
This volume includes revised versions of papers presented at the workshop. The workshop was structured so as to allow adequate time for discussion and interaction, to exchange ideas and reflect on the motivations, scientific grounds and practical consequences of the concepts presented. Many of the ideas are truly “radical”, and so authors were given time to revise their papers to reflect further thoughts on the ideas presented and to reflect feedback received at the workshop. We are grateful to Jeff Kephart for a very interesting keynote speech describing IBM’s current and future work in this field, which fit very well with the aims and scope of the workshop.
Innovations for requirement analysis : From stakeholders needs to formal designs ; 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, September 10-13, 2007. The theme of the workshop was Innovations for Requirement Analysis: From Stakeholders' Needs to Formal Designs.The 10 revised full papers included in the book were carefully selected during two rounds of reviewing and revision. These are preceded by the abstracts of the three keynote talks as well as a detailed introduction to the theme of the workshop, including a case study used by many participants to frame their analyses, and a summary of the workshop's results.
Innovations and advanced techniques in systems, computing sciences and software engineering
Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Software Engineering, Computer Engineering, and Systems Engineering and Sciences.Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering includes selected papers form the conference proceedings of the International Conference on Systems.
Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems ; International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 Revised Papers
Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like planning, scheduling, coordination, communication, transport, simulation, and module integration technologies and as such constitutes a great challenge to the individual researcher active in the area. The book presents a collection of papers on approaches that will help make deployed and large scale multi-agent systems a reality. The first part focuses on available infrastructure and requirements for constructing research-grade agents and multi-agent systems. The second part deals with support in infrastructure and software development methods for multi-agent systems that can directly support coordination and management of large multi-agent communities; performance analysis and scalability techniques are needed to promote deployment of multi-agent systems to professionals in software engineering and information technology.
