Force microscopy enables a variety of approaches to manipulate and/or modify surfaces. Few of those methods have evolved into advanced probe-based lithographies. Oxidation scanning probe lithography (o-SPL) is the only lithography that enables the direct and resist-less nanoscale patterning of a large variety of materials, from metals to semiconductors; from self-assembled monolayers to biomole...

Mainstream forces are driving Systems and Software Product Line (SPL) Engineering approaches to take a more holistic perspective that is deeply integrated into the systems and software engineering lifecycle. These forces illustrate that SPL challenges will not be solved at any one stage in the product engineering lifecycle, nor will they be solved in independent and disparate silos in each of t...

The paper proposes to integrate performance analysis in the early phases of the model-driven development process for Software Product Lines (SPL). We start by adding generic performance annotations to the UML model representing the set of core reusable SPL assets. The annotations are generic and use the MARTE Profile recently adopted by OMG. A first model transformation realized in the Atlas Tr...

Eine Software-Produktlinie (SPL) bezeichnet eine Menge ähnlicher Produktvarianten, die bei entsprechend großer Anzahl einen erheblichen Testaufwand verursachen können. Viele modellbasierte SPL-Testansätze versuchen diesen Testaufwand zu verringern, indem Testfälle und Testmodelle aus vorangegangenen Testprozessen ähnlicher Produkte, wenn möglich, wiederverwendet werden. Eine weitere Möglichkeit...

This scenario is quite common when hearing aid users are listening to music or in the presence of loud sounds or noises, since both scenarios have peaks exceeding 100 dB SPL. Examples of such environments include live music, the cinema or a sports event. To help deal with this situation, and offer a better listening experience to hearing aid users, Widex expanded the input range of the DREAM he...

This work presents an experience report on the architectural decisions taken in the evolution of a Software Product Line (SPL) of Model-based Testing tools (PLeTs). This SPL was partially designed and developed with the intention of minimizing effort and time-to-market during the development of a family of performance testing tools. With the evolution of our research and the addition of new fea...

Peer-to-Peer (P2P) systems can be seen as highly dynamic distributed systems designed for very specific purposes, such as resources sharing in collaborative settings. Because of their ubiquity, it is fundamental to provide techniques for formally proving properties of the communication protocols underlying those systems. In this paper we present a formal specification of MUTE, a protocol for P2...

OBJECTIVES While detrusor-sphincter dyssynergia (DSD) occurs in conjunction with lesions between the brainstem and the sacral cord, it is not well known whether sacral/peripheral lesions contribute to DSD. We studied the relationship between DSD and sacral/peripheral lesions. METHODS One hundred and forty-four patients with diverse neurologic etiologies underwent urodynamic study and analysis...

A software product-line (SPL) is a family of products sharing the same assets. A product-line platform allows the derivation of distinct products within the same application domain. The use of SPLs appears to be the most effective strategy for achieving large-scale software reuse, assuring rapid development of new products with good quality levels. Enabling variability in software consists in d...

Prior research in chip-level reconfigurable computing has involved augmenting a single processor core with reconfigurable logic. Despite significant performance gains for some applications, the area and power costs can easily outweigh the benefits, especially when considering the breadth of applications run on a general purpose processor and the benefit they receive from reconfigurable logic, f...