Sciweavers

746 search results - page 107 / 150
» Updates Under Pstable
Sort
View
ACL2
2006
ACM
15 years 10 months ago
Function memoization and unique object representation for ACL2 functions
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
Robert S. Boyer, Warren A. Hunt Jr.
NSPW
2006
ACM
15 years 10 months ago
Dark application communities
In considering new security paradigms, it is often worthwhile to anticipate the direction and nature of future attack paradigms. We identify a class of attacks based on the idea o...
Michael E. Locasto, Angelos Stavrou, Angelos D. Ke...
ICAS
2005
IEEE
130views Robotics» more  ICAS 2005»
15 years 10 months ago
Reno Friendly TCP Westwood based on Router Buffer Estimation
— TCP Reno versions are widely used in current network, however it has been actualized that their throughput deteriorates in high-speed network and wireless environments. To over...
Kazumi Kaneko, Jiro Katto
ICDCS
2005
IEEE
15 years 10 months ago
Resource-Aware Distributed Stream Management Using Dynamic Overlays
We consider distributed applications that continuously stream data across the network, where data needs to be aggregated and processed to produce a 'useful' stream of up...
Vibhore Kumar, Brian F. Cooper, Zhongtang Cai, Gre...
ICDM
2005
IEEE
150views Data Mining» more  ICDM 2005»
15 years 10 months ago
Combining Multiple Clusterings by Soft Correspondence
Combining multiple clusterings arises in various important data mining scenarios. However, finding a consensus clustering from multiple clusterings is a challenging task because ...
Bo Long, Zhongfei (Mark) Zhang, Philip S. Yu