WCRE
2010
IEEE
13 years 6 months ago
2010
IEEE
VSTTE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
VSTTE
2010
Springer
13 years 6 months ago
2010
Springer
VSTTE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. This paper presents a method for deriving an expression from the lowlevel code compiled from an expression in a high-level language. The input is a low-level control flo...
VLSI
2010
Springer
13 years 6 months ago
2010
Springer
—In this paper, we introduce a design methodology to implement low-complexity and high-speed digital Finite Impulse Response (FIR) filters. Since FIR filters suffer from a larg...
VLSI
2010
Springer
13 years 6 months ago
2010
Springer
—This paper proposes a novel technique to exploit the high bandwidth offered by through silicon vias (TSVs). In the proposed approach, synchronous parallel 3D links are replaced ...
VLSI
2010
Springer
13 years 6 months ago
2010
Springer
—Multi-Vdd techniques enable application of lower supply voltage levels on cells with timing slacks. New voltage assignment, placement and voltage island partitioning methods are...
VLSI
2010
Springer
13 years 6 months ago
2010
Springer
—Latency insensitivity is a promising design paradigm in the nanometer era since it has potential benefits of increased modularity and robustness to variations. Synchronous elas...
VAMOS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract—Today, software product line engineering concentrates on tailoring the functionality of programs. However, we and others observed an increasing interest in non-functiona...
USAB
2010
13 years 6 months ago
2010
We investigate people’s attitudes towards the possible use of mobile negotiation support systems (NSS) in different social contexts and the consequences for their design. For tha...