7434 search results - page 108 / 1487 » Still |
181
click to vote
PLDI
1998
ACM
15 years 10 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 ...
160
click to vote
ECOOPW
1998
Springer
15 years 10 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...
150
click to vote
HPCN
1998
Springer
15 years 10 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. ...
179
click to vote
PRICAI
1998
Springer
15 years 10 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...
150
click to vote
ICTAI
1994
IEEE
15 years 10 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 ...