1000 search results - page 105 / 200 » Nominal rewriting systems |
APCCAS
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract - This paper describes the design of a 12-bit digital-to-analog converter for a wireline modem chip implemented in a 0.13tm digital CMOS technology. Transistor-level simul...
HYBRID
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
ICCAD
1994
IEEE
14 years 2 months ago
1994
IEEE
? We describe a synthesis system that takes operating range constraints and inter- and intra- circuit parametric manufacturing variations into account while designing a sized and b...
HAPTICS
2009
IEEE
14 years 4 months ago
2009
IEEE
Recent findings have shown that humans can adapt their internal control model to account for the changing dynamics of systems they manipulate. In this paper, we explore the effect...
IPPS
2002
IEEE
14 years 2 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...