9110 search results - page 1672 / 1822 » Formally-Based Design Evaluation |
144
click to vote
SENSYS
2009
ACM
15 years 10 months ago
2009
ACM
The programming and retasking of sensor nodes could benefit greatly from the use of a virtual machine (VM) since byte code is compact, can be loaded on demand, and interpreted on...
123
click to vote
HIPEAC
2009
Springer
15 years 10 months ago
2009
Springer
Process variations, which lead to timing and power variations across identically-designed components, have been identified as one of the key future design challenges by the semico...
108
click to vote
KDD
2009
ACM
15 years 10 months ago
2009
ACM
How can we automatically spot all outstanding observations in a data set? This question arises in a large variety of applications, e.g. in economy, biology and medicine. Existing ...
165
click to vote
CLUSTER
2009
IEEE
15 years 10 months ago
2009
IEEE
—Server consolidation based on virtualization technology will simplify system administration, reduce the cost of power and physical infrastructure, and improve utilization in tod...
139
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—One of the key factors underlying the popularity of Low-density parity-check (LDPC) code is its iterative decoding algorithm that is amenable to efficient hardware implementati...