1555 search results - page 49 / 311 » A data intensive distributed computing architecture for |
IEEEHPCS
2010
13 years 2 months ago
2010
In September 2009, the Indian Remote Sensing OCEANSAT-2 satellite was launched from Sriharikota (India). Moreover, OCEANSAT-2 carry on-board a third payload, called ROSA (Radio Oc...
FPGA
2011
ACM
12 years 11 months ago
2011
ACM
FPGAs have been used in many applications to achieve orders-of-magnitude improvement in absolute performance and energy efficiency relative to conventional microprocessors. Despit...
TPHOL
2000
IEEE
13 years 11 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Since sensor nodes normally have limited resources in terms of energy, bandwidth and computation capability, efficiency is a key design goal in sensor network research...
HPCA
2008
IEEE
14 years 7 months ago
2008
IEEE
Multiprocessor computer systems are currently widely used in commercial settings to run critical applications. These applications often operate on sensitive data such as customer ...