7434 search results - page 108 / 1487 » Still |
145
click to vote
PLDI
1998
ACM
15 years 8 months ago
1998
ACM
We present a type-based approach to eliminating array bound checking and list tag checking by conservatively extending Standard ML with a restricted form of dependent types. This ...
133
click to vote
ECOOPW
1998
Springer
15 years 8 months ago
1998
Springer
Quality and economical aspects of software development are strictly related. Adaptability, as a feature of quality, fosters reuse and the resulting economies of scale. Domain anal...
121
click to vote
HPCN
1998
Springer
15 years 8 months ago
1998
Springer
The traditional complex access procedure still prevents a lot of scientists to migrate their applications to massively parallel computers and to bene t from their computing power. ...
147
click to vote
PRICAI
1998
Springer
15 years 8 months ago
1998
Springer
Weaddress the general problemof finding algorithms for efficient, qualitative, point-basedtemporalreasoning over a set of operations. Weconsider general reasonerstailored for temp...
118
click to vote
ICTAI
1994
IEEE
15 years 8 months ago
1994
IEEE
In order to perform adequately in real-world situations, a planning system must be able to nd the \best" solution while still supporting anytime behavior. We have developed ...