31 search results - page 6 / 7 » Status report: the manticore project |
104
click to vote
RTCSA
2003
IEEE
15 years 2 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
PLILP
1998
Springer
15 years 1 months ago
1998
Springer
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...
FLAIRS
2004
14 years 11 months ago
2004
The Mobile Agents model-based, distributed architecture, which integrates diverse components in a system for lunar and planetary surface operations, was extensively tested in a tw...
INFOCOM
2006
IEEE
15 years 3 months ago
2006
IEEE
— Emerging network applications tend to be built over heterogeneous network resources spanning multiple management domains. Many such applications have dynamic demands for dedica...
80
Voted
WMPI
2004
ACM
15 years 2 months ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...