4690 search results - page 48 / 938 » An operational semantics for Scheme |
ISCAS
2006
IEEE
14 years 4 months ago
2006
IEEE
- In this work, a high gain and high bandwidth rail-to-rail operational amplifier with slew rate boost circuit is presented. The constant gm is enhanced through a source-to-bulk bi...
TGC
2007
Springer
14 years 4 months ago
2007
Springer
Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in which a...
ICCS
2003
Springer
14 years 3 months ago
2003
Springer
J-DOS provides and integrated JAVA environment for the execution of a program across an interconnected network of heterogeneous computers. The system provides a file system, shar...
ICCAD
1994
IEEE
14 years 2 months ago
1994
IEEE
Existing built-in self test (BIST) strategies require the use of specialized test pattern generation hardware which introduces signi cant area overhead and performance degradation...
JCP
2008
13 years 10 months ago
2008
Instability of SRAM memory cells derived from the process variation and lowered supply voltage has recently been posing significant design challenges for low power SoCs. This paper...