1458 search results - page 136 / 292 » Monads for incremental computing |
139
click to vote
RTCSA
2007
IEEE
15 years 9 months 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...
104
Voted
SKG
2006
IEEE
15 years 9 months 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...
133
Voted
ICDCSW
2005
IEEE
15 years 9 months 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...
118
Voted
RTA
2005
Springer
15 years 9 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 ...
140
Voted
SC
2004
ACM
15 years 9 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...