1419 search results - page 118 / 284 » A Characterization of Constructive Dimension |
135
click to vote
VMCAI
2009
Springer
16 years 25 days 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 ...
105
click to vote
ICCD
2007
IEEE
16 years 12 days 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...
142
click to vote
CONCUR
2007
Springer
16 years 7 days 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...
178
click to vote
CALCO
2005
Springer
15 years 11 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...
143
click to vote
FASE
2005
Springer
15 years 11 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...