2272 search results - page 176 / 455 » Validity Invariants and Effects |
PPDP
2009
Springer
14 years 4 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re�...
DFT
2008
IEEE
14 years 4 months ago
2008
IEEE
VLSI circuits in nanometer VLSI technology experience significant aging effects, which are embodied by performance degradation over operation time. Although this degradation can b...
DDECS
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract: High speed DRAMs today suffer from an increased sensitivity to interference and noise problems. Signal integrity issues, caused by bit line and word line coupling, result...
MIR
2006
ACM
14 years 4 months ago
2006
ACM
The variety of features available to represent multimedia data constitutes a rich pool of information. However, the plethora of data poses a challenge in terms of feature selectio...
ETFA
2008
IEEE
14 years 3 days ago
2008
IEEE
The deployment of a wireless control system must cope with a number of effects usually negligible in a wired scenario. To this aim, an experimental analysis on suitable prototypes...