9067 search results - page 802 / 1814 » Adaptive Model Checking |
182
click to vote
DATE
2008
IEEE
16 years 2 months ago
2008
IEEE
— As the feature size of transistors gets smaller, fabricating them becomes challenging. Manufacturing process follows various corrective design-for-manufacturing (DFM) steps to ...
198
click to vote
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
High-end parallel systems present a tremendous research challenge on how to best allocate their resources to match dynamic workload characteristics and user habits that are often ...
233
click to vote
EUROCRYPT
2010
Springer
16 years 13 days ago
2010
Springer
A broadcast protocol allows a sender to distribute a message through a point-to-point network to a set of parties, such that (i) all parties receive the same message, even if the s...
221
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
In this work we try to bridge the gap often encountered by researchers who find themselves with few or no labeled examples from their desired target domain, yet still have access ...
228
click to vote
BCS
2008
15 years 9 months ago
2008
Much of the traffic carried by Sensor Networks will originate from routine measurements or observations by sensors which monitor a particular situation, such as the temperature an...