1217 search results - page 52 / 244 » Using Planetlab to Implement Multicast at the Application Le... |
122
click to vote
TPHOL
1999
IEEE
15 years 6 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
DANCE
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper describes the activities in Application Level Active Networks (ALAN) under the DARPA-funded RADIOACTIVE Project; this is closely related to work carried out under a Eur...
119
click to vote
PKDD
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we propose a novel spatial associative classifier method based on a multi-relational approach that takes spatial relations into account. Classification is driven by s...
FLAIRS
2001
15 years 3 months ago
2001
NASAis particularly concerned with reducing mission operations costs through increased automation. Specifically, NASAhas been studying the use of Artificial Intelligence (AI) to f...
119
click to vote
ICPP
2009
IEEE
15 years 8 months ago
2009
IEEE
—In an attempt to increase the performance/cost ratio, large compute clusters are becoming heterogeneous at multiple levels: from asymmetric processors, to different system archi...