Trusted Supplier In industrial automation, engineers and technical decision makers face growing performance demands, exacting deadlines, and increasingly challenging customer requirements. Fundamental to meeting these challenges and building competitive products is finding a trusted, reliable silicon vendor. With a strong reputation earned after supplying leading-edge silicon for nearly half a ...

The U.S. National Academy of Engineering’s Grand Challenges for Engineering report has received a great deal of attention from legislators, policymakers, and educators, but what does it entail for social justice considerations in engineering? This article situates the Grand Challenges report as a cultural artifact of the engineering profession—an artifact that works to reinforce engineering’s p...

In this position paper, I introduce five grand challenges in the development of networked digital games. While this list is not intended to be exhaustive, I argue that these challenges are significant in that they are holding back the development of the next generation of innovative games.

Carlos M. Duarte* 1 Department of Global Change Research, (Consejo Superior de Investigaciones Científicas-University of the Balearic Islands) Instituto Mediterráneo de Estudios Avanzados, Mallorca, Spain 2 The UWA Oceans Institute, The University of Western Australia, Crawley, WA, Australia 3 Faculty of Biosciences, Fisheries and Economics, University of Tromsø, Tromsø, Norway *Correspondence:...

Model checking has been successfully employed for verification of industrial hardware systems. Recently, model checking techniques have also enjoyed limited success in verifying software systems, viz., device drivers. However, there are several hurdles which must be overcome before model checking can be used to handle industrial-scale software systems. This article reviews some of the prominent...

The aim of this working session on Industrial Realities of Program Comprehension is to exchange and discuss experiences, opportunities, challenges and strategies for the application of program comprehension techniques in industry. In this position paper we focus on a potentially interesting opportunity and challenge for adopting program comprehension techniques, and source code mining technique...

The task definition for mobile manipulators is presented. Then, a generic formulation of global instantaneous kinematics is proposed for wheeled mobile manipulators. It is compared with the classical kinematic modelling of robotic arms. In particular, it is shown that many tools of classical manipulation can be re-used in this new framework. Finally, simulation results and experiments are prese...