3972 search results - page 408 / 795 » Palpability Support Demonstrated |
156
click to vote
HPDC
2010
IEEE
2010
IEEE
XCo: explicit coordination to prevent network fabric congestion in cloud computing cluster platforms
15 years 5 months ago
Large cluster-based cloud computing platforms increasingly use commodity Ethernet technologies, such as Gigabit Ethernet, 10GigE, and Fibre Channel over Ethernet (FCoE), for intra...
171
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
128
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Signals comprised of a stream of short pulses appear in many applications including bio-imaging, radar, and ultrawideband communication. Recently, a new framework, referred to as f...
118
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In the classical compress-and-forward relay scheme developed by (Cover and El Gamal, 1979), the decoding process operates in a successive way: the destination first decodes the co...
141
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Diverse modeling approaches viz. neural networks and multiple regression have been followed to date for disease prediction in plant populations. However, due to their ...