2935 search results - page 352 / 587 » Knowledge Organization for Exploration |
172
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
208
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
"Inside information" comes in many forms: knowledge of a corporate takeover, a terrorist attack, unexpectedly poor earnings, the FDA's acceptance of a new drug, etc...
181
click to vote
HPCA
2005
IEEE
16 years 7 months ago
2005
IEEE
If current technology scaling trends hold, leakage power dissipation will soon become the dominant source of power consumption in high performance processors. Caches, due to the f...
155
click to vote
DCC
2002
IEEE
16 years 6 months ago
2002
IEEE
Many applications in a variety of scientific domains produce datasets that consist of a data field lying on a sampling grid that may not be uniformly spaced. However, progressive ...
177
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Embedded Networked Sensing involves untethered, networked devices tightly coupled to the physical world, to monitor and interact with it. Raw sensor observation can be annotated w...