We propose a position-based approach for largescale simulations of rigid bodies at interactive frame-rates. Our method solves positional constraints between rigid bodies and therefore integrates nicely with other position-based methods. Interaction of particles and rigid bodies through common constraints enables two-way coupling with deformables. The method exhibits exceptional performance and ...

AND

Real-time programmers have to deal with the problem of relating timing constraints associated with source code to sequences of machine instructions. This paper describes an environment to assist users in the specification and analysis of timing constraints. A user is allowed specify timing constraints within the source code of a C program. A user interface for a timing analyzer was developed to...

In this paper, the problem of determining if a given sequential specification can be made to fit a predetermined set of shape constraints is explored. Shape constraints are constraints not on the logical makeup of the automata, but on the distribution of information required to support correct output behavior. These constraints allow the machine to be distributed into partitions with predefined...

We hypothesise that all electroweak symmetry breaking terms such as fermion masses and the W and Z gauge boson masses arise radiatively from just one explicit symmetry breaking term in the Lagrangian. Our hypothesis is motivated by the lack of experimental support and the lack of predictivity of the standard symmetry breaking scenario. We construct a simple model which illustrates our ideas. We...

Cell formation has received much attention from academicians and practitioners because of its strategic importance to modern manufacturing practices. Existing research on cell formation problems using integer programming (IP) has achieved the target of solving problems that simultaneously optimise: (a) cell formation (b) machine-cell allocation, and (c) part-machine allocation. This paper will ...

We report on new radio measurements of Galactic planetary nebulae, aimed at resolving the controversies on the reliability of older VLA flux densities and the suggested deviations from the standard Galactic extinction law found for planetary nebulae. We show that for faint (<10 mJy) objects observed at high angular resolution, previous determinations are indeed too low. For the bright objects w...

Creating useful software is a major activity of many scientists, including bioinformaticians. Nevertheless, software development in an academic setting is often unsystematic, which can lead to problems associated with maintenance and long-term availibility. Unfortunately, well-documented software development methodology is difficult to adopt, and technical measures that directly improve bioinfo...