Conferences related to Programming

Back to Top

2014 IEEE/ACM 36th IEEE International Conference on Software Engineering (ICSE)

ICSE, the International Conference on Software Engineering,® is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering

  • 2013 35th International Conference on Software Engineering (ICSE)

    ICSE, the International Conference on Software Engineering, is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering.

  • 2011 33rd International Conference on Software Engineering (ICSE)

    The International Conference on Software Engineering (ICSE) is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering.

  • 2010 32nd International Conference on Software Engineering (ICSE)

    ICSE is the premier forum for researchers to present and discuss the most recent innovations, trends, results, experiences and concerns in the field of software engineering. Encompassing a conference, technical tutorials and workshops, a programme of demonstrations and an exhibition along with social functions to provide an ideal opportunity to learn and network with like minded colleagues from around the world, ICSE 2010 will take place in Cape Town, one of the world s most beautiful cities, at a world cla


2013 12th International Conference on Information Technology Based Higher Education and Training (ITHET)

Massive Open Online Courses, WWW education tools, Asynchronous learning, Multimedia tutorials, Distance leaning, Intelligent training technology, Blended learning, Authoring technology, Virtual student laboratories, Second language education, Virtual classroom, virtual universities, Industry-university partnership, Creating courses on-line, Learning and Assessment, Network based education and training, Accreditation issues, New strategies for higher education and training, Role of information society and global communication systems, Development and use of IT Tools and Environments, Quality management in higher education, Interactive learning modules


2013 13th International Conference on Control, Automaton and Systems (ICCAS)

Control Theory and Application, Intelligent Systems, Industrial Applications of Control,Sensor and Signal Processing, Control Devices and Instruments, Robot Control, RobotVision, Human-Robot Interaction, Robotic Applications, Unmanned Vehicle Systems...


2013 Agile Conference (AGILE)

Agile software development practices, culture, & leadership are relevant to modern software development.

  • 2009 AGILE Conference

    Agile 2009 will be an exciting international conference about techniques and technologies, attitudes and policies, research and first-hand experience, from both the management and technical sides of agile software development. The agile approach focuses on delivering business value early in the project lifetime and being able to incorporate emergent requirements. It accentuates the use of rich, informal communication channels and frequent delivery of running, tested systems, while attending to the human com


2013 Conference on Lasers and Electro-Optics (CLEO)

CLEO serves as the premier international forum for scientific and technical optics, uniting the fields of lasers and opto-electronics by bringing together all aspects of laser technology, from basic research to industry applications.

  • 2012 Conference on Lasers and Electro-Optics (CLEO)

    CLEO 2012 features a complete and up-to-date technical program under three core conferences; CLEO: QELS- Fundamental Science, CLEO: Science & Innovations, and CLEO: Applications & Technology. CLEO: Expo and Market Focus bring CLEO 2012 full circle by highlighting the latest innovations and products as well as providing a forum to discuss marketplace trends and challenges.

  • 2011 Conference on Lasers and Electro-Optics (CLEO)

    CLEO, the Conference on Lasers and Electro-Optics, formerly known as CLEO/QELS, serves as the premier international forum for scientific and technical optics. The CLEO: 2011 Conference unites the fields of lasers and opto-electronics by bringing together all aspects of laser technology, from basic research to industry applications.

  • 2010 Conference on Lasers and Electro-Optics (CLEO)

    CLEO is held in conjunction with the Quantum Electronics and Laser Science Conference. CLEO/QELS attracts leaders in the fields of lasers, optical devices, optical fibers, photonics and innovative approaches in such fields as: laser spectroscopy, ultrafast optics, nonlinear optics, optical detectors, optical modulators, optical pulses, and quantum mechanics.

  • 2009 Conference on Lasers and Electro-Optics (CLEO)

    CLEO has evolved into a dynamic six-day event that has successfully bridged the science and applications sides of the optics and photonics industry. CLEO offers high-quality programming; the latest in the lasers, electro-optics and photonics industry; the CLEO Exhibit, which has over 350 participating companies; and a new location in Baltimore, Maryland. CLEO and PhAST 2008 is the must attend event of the year.

  • 2008 Conference on Lasers and Electro-Optics (CLEO)

    CLEO/QELS and PhAST has evolved into a dynamic six-day event that has successfully bridged the science and applications sides of the optics and photonics industry. CLEO/QELS offers high-quality programming; the latest in the lasers, electro-optics and photonics industry; the CLEO Exhibit, which has over 350 participating companies; and a new location in San Jose, California. CLEO/QELS and PhAST 2008 is the must attend event of the year.


More Conferences

Periodicals related to Programming

Back to Top

Education, IEEE Transactions on

Educational methods, technology, and programs; history of technology; impact of evolving research on education.


Latin America Transactions, IEEE (Revista IEEE America Latina)

The IEEE Region 9 is releasing the IEEE Latin America Transactions to enable the publication of non-published and technically excellent papers from Latin American engineers, in Spanish or Portuguese languages. Engineers and researchers from Portugal and Spain (and others countries with the same language) are also very welcome to submit their proposals.


Software Engineering, IEEE Transactions on

Specification, development, management, test, maintenance, and documentation of computer software.


Solid-State Circuits, IEEE Journal of

The IEEE Journal of Solid-State Circuits publishes papers each month in the broad area of solid-state circuits with particular emphasis on transistor-level design of integrated circuits. It also provides coverage of topics such as device modeling, technology, systems design, layout, and testing that relate directly to IC design. Integrated circuits and VLSI are of principal interest; material related to discrete ...



Most published Xplore authors for Programming

Back to Top

Xplore Articles related to Programming

Back to Top

.Net Micro Framework gadgeteer measurement applications development

Marek Babiuch Proceedings of the 2014 15th International Carpathian Control Conference (ICCC), 2014

This paper deals with the description of the technology .Net Micro Framework, hardware modules and software tools for support of the creation of measurement applications with support of C # language in the Visual studio .Net. The paper reviewed the available hardware modules, software support, the principle of rapid prototyping and application development demonstrated by an example implementation of measurement ...


Optimal power system steady-state security regions with fuzzy constraints

J. Z. Zhu 2002 IEEE Power Engineering Society Winter Meeting. Conference Proceedings (Cat. No.02CH37309), 2002

This paper proposes a new approach to compute the maximal power system steady- state security regions using optimization approach. The maximal steady-state security region-hyperbox-is directly computed through a linear programming (LP) model, in which the upper and lower limits of each component forming a hyperbox are taken as unknown variables, and the objective is to maximize the sum of the ...


Improved average inductor current control of the constant frequency DC/DC converters using the tuned-average current-mode

P. Ninkovic; M. Jankovic Industrial Electronics Society, 1998. IECON '98. Proceedings of the 24th Annual Conference of the IEEE, 1998

This paper presents comparison of a recently proposed tuned-average current- mode with widely accepted average current-mode, in order to control the average inductor current of the constant frequency DC/DC power converters. The buck converter was taken as an example to demonstrate superior features of the tuned-average current-mode. Some frequency-domain characteristics are investigated and the conclusions are verified through simulations. Finally, ...


Information-Oriented Models and Methods for Construction Project Supply Chain Coordination

Xiaolong Xue; Chengshuang Sun 2009 Fourth International Conference on Computer Sciences and Convergence Information Technology, 2009

This work focuses on establishing coordination models and method with different information in the operation process of established construction project supply chains (CPSCs). A two-level programming model for collaborative decision making is established to find optimal solutions for all stakeholders in CPSCs. An agent-based negotiation framework for CPSCs coordination in dynamic decision environment is designed based on the intelligent agent ...


On-chip high performance signaling using passive compensation

Yulei Zhang; Ling Zhang; Akira Tsuchiya; Masanori Hashimoto; Chung-Kuan Cheng 2008 IEEE International Conference on Computer Design, 2008

To address the performance limitation brought by the scaling issues of on-chip global wires, a new configuration for global wiring using on-chip lossy transmission lines(T-lines) is proposed and optimized in this paper. Firstly, we use passive compensation and repeated transceivers composed by sense amplifier and inverter chain to compensate the distortion and attenuation of on-chip T-lines. Secondly, an optimization flow ...


More Xplore Articles

Educational Resources on Programming

Back to Top

eLearning

.Net Micro Framework gadgeteer measurement applications development

Marek Babiuch Proceedings of the 2014 15th International Carpathian Control Conference (ICCC), 2014

This paper deals with the description of the technology .Net Micro Framework, hardware modules and software tools for support of the creation of measurement applications with support of C # language in the Visual studio .Net. The paper reviewed the available hardware modules, software support, the principle of rapid prototyping and application development demonstrated by an example implementation of measurement ...


Optimal power system steady-state security regions with fuzzy constraints

J. Z. Zhu 2002 IEEE Power Engineering Society Winter Meeting. Conference Proceedings (Cat. No.02CH37309), 2002

This paper proposes a new approach to compute the maximal power system steady- state security regions using optimization approach. The maximal steady-state security region-hyperbox-is directly computed through a linear programming (LP) model, in which the upper and lower limits of each component forming a hyperbox are taken as unknown variables, and the objective is to maximize the sum of the ...


Improved average inductor current control of the constant frequency DC/DC converters using the tuned-average current-mode

P. Ninkovic; M. Jankovic Industrial Electronics Society, 1998. IECON '98. Proceedings of the 24th Annual Conference of the IEEE, 1998

This paper presents comparison of a recently proposed tuned-average current- mode with widely accepted average current-mode, in order to control the average inductor current of the constant frequency DC/DC power converters. The buck converter was taken as an example to demonstrate superior features of the tuned-average current-mode. Some frequency-domain characteristics are investigated and the conclusions are verified through simulations. Finally, ...


Information-Oriented Models and Methods for Construction Project Supply Chain Coordination

Xiaolong Xue; Chengshuang Sun 2009 Fourth International Conference on Computer Sciences and Convergence Information Technology, 2009

This work focuses on establishing coordination models and method with different information in the operation process of established construction project supply chains (CPSCs). A two-level programming model for collaborative decision making is established to find optimal solutions for all stakeholders in CPSCs. An agent-based negotiation framework for CPSCs coordination in dynamic decision environment is designed based on the intelligent agent ...


On-chip high performance signaling using passive compensation

Yulei Zhang; Ling Zhang; Akira Tsuchiya; Masanori Hashimoto; Chung-Kuan Cheng 2008 IEEE International Conference on Computer Design, 2008

To address the performance limitation brought by the scaling issues of on-chip global wires, a new configuration for global wiring using on-chip lossy transmission lines(T-lines) is proposed and optimized in this paper. Firstly, we use passive compensation and repeated transceivers composed by sense amplifier and inverter chain to compensate the distortion and attenuation of on-chip T-lines. Secondly, an optimization flow ...


More eLearning Resources

IEEE-USA E-Books

  • Logic programming as quantum measurement

    The emphasis is made on the juxtaposition of (quantum theorem) proving versus quantum (theorem proving). The logical contents of verification of the statements concerning quantum systems is outlined. The Zittereingang (trembling input) principle is introduced to enhance the resolution of predicate satisfiability problem provided the processor is in a position to perform operations with continuous input. A realization of Zittereingang machine by a quantum system is suggested. What is the desirable way to broaden the facilities of processors in order to have progress in solving NP-hard problems? The principle of trembling input I am going to put forth in this paper will require a flexibility of processor. That means that it will be assumed that the processor is able to deal with "intermediate outputs" I or, in other words, that it will be possible to pass continuously from one input to another. We shall also assume that all possible inputs form a linear space, and that the result depends contiuously on input preserving linear combinations. I endeavored to show how quantum effects such as superposition of states and wave properties of the particles can be used for calculation purposes. The proposed Quantum Theorem Prover (QTP) is merely an imaginary machine. However, suppose it may exist, it can drastically influence many principles of programming. For example, such problem as SAT. Accepting QTPs requires new options in programming languages: the assignment of value should be replaced by the preparation of the input register.

  • II Propositional Dynamic Logic

    Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications.This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter.

  • Author Index

    Conference proceedings presenting the state-of-the-art in Logic Programming.

  • The Stochastic Motion Roadmap: A Sampling Framework for Planning with Markov Motion Uncertainty

    We present a new motion planning framework that explicitly considers uncertainty in robot motion to maximize the probability of avoiding collisions and successfully reaching a goal. In many motion planning applications ranging from maneuvering vehicles over unfamiliar terrain to steering flexible medical needles through human tissue, the response of a robot to commanded actions cannot be precisely predicted. We propose to build a roadmap by sampling collision-free states in the configuration space and then locally sampling motions at each state to estimate state transition probabilities for each possible action. Given a query specifying initial and goal configurations, we use the roadmap to formulate a Markov Decision Process (MDP), which we solve using Infinite Horizon Dynamic Programming in polynomial time to compute stochastically optimal plans. The Stochastic Motion Roadmap (SMR) thus combines a sampling-based roadmap representation of the configuration space, as in PRM's, with the well-established theory of MDP's. Generating both states and transition probabilities by sampling is far more flexible than previous Markov motion planning approaches based on problem-specific or grid-based discretizations. We demonstrate the SMR framework by applying it to nonholonomic steerable needles, a new class of medical needles that follow curved paths through soft tissue, and confirm that SMR's generate motion plans with significantly higher probabilities of success compared to traditional shortest-path plans.

  • Back matter

    Conference proceedings presenting the state-of-the-art in Logic Programming.

  • Modeling Electricity Markets: A Brief Introduction

    This chapter contains sections titled: Introduction The Basic Structure of a Market for Electricity Modeling Strategic Behavior The Locational Marginal Pricing System of PJM LMP Calculation Using Adaptive Dynamic Programming Conclusions Bibliography

  • The Music Faculty's Test of the System

    This chapter contains sections titled: 1 The System's Demo, 2 The Music Faculty's Responses, 3 Engaging the System as a Teaching Tool and as a Medium for Composition, 4 Making Music: Composition or Programming?, 5 Integrating the System into the Music Curriculum, 6 Music LOGO as a Reflective Tool

  • Front Matter

    This chapter contains sections titled: Half Title, Foundations of Computing, Title, Copyright, Dedication, Contents, Series foreword, Preface

  • An Introspective Framework for Paraconsistent Logic Programs

    A new framework for paraconsistent logic programming is introduced, which is built on a simple notion of introspection: inconsistency, as a meta-level concept, is represented as an introspection over objective interpretations and deductions. This is achieved by the introduction of meta-level operators, which serve as programming constructs for knowledge representation, engineering, and maintenance. In this paper we investigate the semantic issues for such a paraconsistent logic programming framework with default negation, and demonstrate its potential applications in knowledge representation and reasoning

  • Autoassociators and One-Shot Learning

    This chapter contains sections titled: 5.1 Linear Autoassociators and the Outer-Product Training Rule, 5.2 Anderson's BSB Model, 5.3 Hopfield's Model, 5.4 the Traveling Salesman Problem, 5.5 the Cohen-Grossberg Theorem, *5.6 Kanerva's Model, *5.7 Autoassociative Filtering for Feedforward Networks, 5.8 Concluding Remarks, 5.9 Exercises, 5.10 Programming Projects



Standards related to Programming

Back to Top

No standards are currently tagged "Programming"


Jobs related to Programming

Back to Top