1419 search results - page 118 / 284 » A Characterization of Constructive Dimension |
111
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which ...
ICCD
2007
IEEE
15 years 10 months ago
2007
IEEE
A methodology for constructing circuit-level mismatch models and performing yield optimization is presented for CMOS analog circuits. The methodology combines statistical techniqu...
113
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
We study the construction of labelled transition systems from reactive systems defined over directed bigraphs, a computational meta-model which subsumes other variants of bigraphs...
148
click to vote
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we identify context-free grammars as coalgebras. To obtain the associated context-free languages (consisting of only finite-length strings) we introduce a general a...
124
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...