2272 search results - page 176 / 455 » Validity Invariants and Effects |
PPDP
2009
Springer
15 years 7 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�...
79
Voted
DFT
2008
IEEE
15 years 7 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...
94
Voted
DDECS
2007
IEEE
15 years 7 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...
143
Voted
MIR
2006
ACM
15 years 6 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...
108
click to vote
ETFA
2008
IEEE
15 years 2 months 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...