Software-Produktlinien erhalten im Automobilbereich zunehmende Bedeutung. Mit dem Produktlinienansatz (PLA) des SEI steht ein methodisches Rahmenwerk zu ihrer Realisierung zur Verfügung. Dieser Beitrag berichtet von Erfahrungen bei der Einführung von Software-Produktlinien nach dem PLA unter Anwendung des Vorgehensmusters What-to-Build. Im Anschluss werden Aktivitäten zur Anpassung des PLA an d...

This paper presents some results of PLA area optimizing by means of its column and row folding. A more restricted type of PLA simple folding is considered. It is introduced by Egan and Liu and called as bipartite folding. An efficient approach is presented which allows finding an optimal bipartite folding without exhaustive computational efforts.

Motivated by improvements in low-temperature polysilicon thin-film transistor (LTPS-TFT) processes, we designed a TFT-based dynamic-logic programmable logic array (PLA). We report the successful operation of the circuit with high repeatability. We thus demonstrate that the LTPS-TFT technology is mature enough to support aggressive circuit techniques such as dynamic logic.

1996 Missing 200 Commander of Maoist PLA’s Eastern Division, ‘Ananta’; cited in Ogura (2008:13) 1997 Missing 350 Maoist Central Committee member; cited in Onesto (2005:92) 1998 2300-345

We investigate array separation logic (ASL), a variant of symbolic-heap separation logic in which the data structures are either pointers or arrays, i.e., contiguous blocks of memory. This logic provides a language for compositional memory safety proofs of array programs. We focus on the biabduction problem for this logic, which has been established as the key to automatic specification inferen...

In this paper, we propose a new method of optically implementing digital logic gates capable of performing all logic operations and give the technique for construction of an array of n-bit parallel adders as a typical application circuit. These gates are implemented using a Hughes liquid crystal light valve operated in the parallel off-state configuration. It is found that all possible function...

In recent years, reversible logic has emerged as a promising computing paradigm having application in low power CMOS, quantum computing, nanotechnology, and optical computing. The classical set of gates such as AND, OR, and EXOR are not reversible. In this paper, the authors have proposed reversible programmable logic array (RPLA) architecture using reversible Fredkin and Feynman gates. The pro...

Thermal degradation of poly(lactic acid) (PLA), a biodegradable and bioabsorbable polyester, has been investigated under inert atmosphere using both isothermal and dynamic heating regimes.. Two kinetic models, one for isothermal and the other for dynamic heating regims were used to fit the experimental data. It has been demonstrated that the thermal degradation of PLA is a one-stage process wit...

Abstmct-While the use of programmable logic arrays in modern logic design is common, little is known about what PLA size provides reasonable coverage in typical applications. We address this question by showing upper and lower bounds on the average number of product terms required in the minimal realization of binary and multiple-valued functions as a function of the number of nonzero output va...