For a generic loop: while (constraints) {updates} it is well known that the termination problem is undecidable in general, even for a simple class of polynomial programs. If the constraints or the updating function in...
详细信息
For a generic loop: while (constraints) {updates} it is well known that the termination problem is undecidable in general, even for a simple class of polynomial programs. If the constraints or the updating function in the above loop is not linear, the loop is called nonlinear. In this paper, we investigate how to solve the termination of the above loop by deciding whether a fixed point exists, when the constraints are the union of intervals and the updating functions are polynomials. Furthermore, when all fixed points are on the boundaries of the union of intervals, we also establish a corresponding necessary and sufficient condition of nontermination.
Event traces are helpful in understanding the performance behavior of parallel applications since they allow the indepth analysis of communication and synchronization patterns. However, the absence of synchronized clo...
详细信息
All freshman engineering students at York College participate in a spring semester design challenge as part of a year-long, two-course introduction to engineering. This paper describes the course organization, the pro...
详细信息
All freshman engineering students at York College participate in a spring semester design challenge as part of a year-long, two-course introduction to engineering. This paper describes the course organization, the project goals, and project itself and how it supports the broader engineering curriculum goals of engaging freshman engineering students in a design project, exposing them in an interesting way to the breath of engineering, and motivating them in their engineering studies. The students work in small teams and have roughly 12 weeks to design an automated electromechanical system that first transports three empty Snapple bottles, three tennis balls, and 36 oz. of water to a 2/x3/ operational zone. The machine must fill each bottle with 12 oz. of water, cap each bottle by covering the top with a tennis ball, and then deliver the capped and filled bottles to an area outside of the operational zone. The bottle-filling project serves as the second of two interdisciplinary engineering design experiences during the freshman year. It introduces aspects of computer, electrical, and mechanical engineering, including the following five primary knowledge areas: (i) machining and fabrication;(ii) electronic circuit prototyping and programming;(iii) sensor and actuator applications;(iv) mechanical design;(v) project planning;and (vi) presentation skills. A project demonstration at the end of the semester determines the relative effectiveness of each machine based upon a number of quantitative factors, including the total time required to complete the overall process, the volume of water in each bottle, the number of bottles successfully capped, the amount of water spilled, and approximate manufacturing cost. Some qualitative factors considered are simplicity, creativity, and aesthetics. Student interest in this substantial hands-on experience, as measured by surveys and exhibited by attendance, enthusiasm, productivity, and success, appears to be high through the three y
The International Workshop on the Web and Requirements Engineering (WeRE) was held in conjunction with the 18 th International IEEE Requirements Engineering Conference (RE'10) in Sydney (Australia) on September 2...
The International Workshop on the Web and Requirements Engineering (WeRE) was held in conjunction with the 18 th International IEEE Requirements Engineering Conference (RE'10) in Sydney (Australia) on September 28 2010. WeRE intends to be an international forum for exchanging ideas on both using Web technologies as a platform in the requirements engineering field, and applying requirements engineering in the development and use of websites. Papers focused on new domains and new experiences with the connection between requirements engineering and the Web were presented in WeRE.
The biodynamic responses of seated occupants exposed to whole-body vibration have been mostly investigated in terms of apparent mass characteristics, which show negligible contributions due to exposure level. Consider...
Event traces are helpful in understanding the performance behavior of parallel applications since they allow the in-depth analysis of communication and synchronization patterns. However, the absence of synchronized cl...
详细信息
Event traces are helpful in understanding the performance behavior of parallel applications since they allow the in-depth analysis of communication and synchronization patterns. However, the absence of synchronized clocks on most cluster systems may render the analysis ineffective because inaccurate relative event timings may misrepresent the logical event order and lead to errors when quantifying the impact of certain behaviors or confuse the users of time-line visualization tools by showing messages flowing backward in time. In our earlier work, we have developed a scalable algorithm that eliminates inconsistent inter-process timings postmortem in traces of pure MPI applications. Since hybrid programming, the combination of MPI and OpenMP in a single application, is becoming more popular on clusters in response to rising numbers of cores per chip and widening shared-memory nodes, we present an extended version of the algorithm that in addition to message-passing event semantics also preserves and restores shared-memory event semantics.
The traffic of autovehicles in pilot zone of great city of Cluj-Napoca is presented in the work. There are established the noise measuring locations for the fixed station and successive positions of the mobile station...
暂无评论