Implementing keyword search and other IR tasks on top of relational engines has become viable in practice, especially thanks to high-performance column-store technology. Supporting complex combinations of structured and unstructured search in real-world heterogeneous data spaces however requires more than “just” IR-on-DB. In this work, we walk the reader through our industrial-strength solution...

Computing hardware, from mobile devices to supercomputer clusters, is undergoing a paradigm shift : with the advent of multicore CPUs and accelerators (GPUs, Intel Xeon Phi), parallelism is becoming hierarchical, ubiquitous, heterogeneous, and more and more complex. Performance critical applications need new programming models to exploit efficiently such architectures. Guided by Herb Sutter ana...

Fragmented data management is commonplace for handling development and production data in large organizations today. While automated configuration and build mechanisms have made the implementation data more integrated, on higher levels of abstraction data is still fragmented into silos such as files or isolated databases. In the recent years, many companies, including a large number of automoti...

When individual teams in mechatronic organizations attempt to adopt agile software practices, these practices tend to only affect modules or sub-systems. The short iterations on team level do not lead to short lead-times in launching new or updated products since the overall R&D approach on an organization level is still governed by an overall stage gate or single cycle V-model. This paper iden...

Integration of heterogeneous applications and data sources into an interoperable system is one of the most relevant challenges for many knowledge-based corporations nowadays. Development of a global environment, which would support knowledge transfer from human experts to automated Web-services which are able to learn, is a very profit-promising and challenging task. The domain of industrial ma...

www.xilinx.com 1 © Copyright 2011 Xilinx, Inc. XILINX, the Xilinx logo, Virtex, Spartan, ISE, and other designated brands included herein are trademarks of Xilinx in the United States and other countries. All other trademarks are the property of their respective owners. The revolution of automation on factory floors is a key driver for the seemingly insatiable demand for higher productivity, lo...

In 2012, people aged 65 or above accounted for nearly one-fifth of the population of the European Union [1] and this figure is expected to reach 30 % by 2060 [2]. In other words, we are witnessing a demographic shift: the number of seniors who need support is growing whilst there is a decline in the percentage of the working population contributing to their support. This disproportion and the r...

Industrial applications of interactive theorem proving dates back to the eighties. Enabling and achieving industrial successes has been an important focus of the ACL2 community. The ARCADE call-for-papers appears to ignore these results and the potential of automated reasoning in industry in the future. We briefly describe the penetration of the ACL2 theorem proving system into the microprocess...

Numerical simulation of industrial crystal growth is difficult due to its multidisciplinary nature and complex geometry of real-life growth equipment. An attempt is made to itemize physical phenomena dominant in different methods for growth of bulk crystals from melt and from vapour phase and to review corresponding numerical approaches. Academic research and industrial applications are compare...