1458 search results - page 136 / 292 » Monads for incremental computing |
173
click to vote
RTCSA
2007
IEEE
16 years 22 days ago
2007
IEEE
Given the major advantages of productivity and safety, the use of garbage collection (GC) in real-time systems has gained increasing attention. Guaranteeing garbage collection act...
136
click to vote
SKG
2006
IEEE
16 years 14 days ago
2006
IEEE
Abox inference is an important part in OWL data management. When involving large scale of instance data, it can not be supported by existing inference engines. In this paper, we p...
167
click to vote
ICDCSW
2005
IEEE
16 years 2 days ago
2005
IEEE
Anomaly detection in IP networks, detection of deviations from what is considered normal, is an important complement to misuse detection based on known attack descriptions. Perfor...
156
click to vote
RTA
2005
Springer
15 years 12 months ago
2005
Springer
Many applications of congruence closure nowadays require the ability of recovering, among the thousands of input equations, the small subset that caused the equivalence of a given ...
187
click to vote
SC
2004
ACM
15 years 12 months ago
2004
ACM
Cluster-based storage systems are popular for data-intensive applications and it is desirable yet challenging to provide incremental expansion and high availability while achievin...