1081 search results - page 55 / 217 » Type Inference of SELF |
170
Voted
ICAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Current weather forecast and visualization systems lack the scalability to support numerous customized requests for weather research and forecasting, especially at the time of nat...
140
click to vote
ICDCSW
2007
IEEE
15 years 10 months ago
2007
IEEE
1 Challenges of scale have limited the development of event notification systems with strong properties, despite the urgent demand for consistency, reliability, security, and other...
133
click to vote
SAFECOMP
2004
Springer
15 years 9 months ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
141
click to vote
ICCL
1998
IEEE
15 years 8 months ago
1998
IEEE
On-line partial evaluators are hardly ever selfapplicable, because the complexity of deciding whether to residualize terms causes combinatorial explosion when self-application is ...
119
click to vote
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
Enterprise systems must guarantee high availability and reliability to provide 24/7 services without interruptions and failures. Mechanisms for handling exceptional cases and impl...