1803 search results - page 241 / 361 » Architectural framework for supporting operating system surv... |
174
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
151
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...
162
click to vote
RTSS
1996
IEEE
15 years 10 months ago
1996
IEEE
An integrated platform which is capable of meeting the requirements of both traditional real-time control processing and multimedia processing has enormous potential for accommoda...
157
click to vote
ECIR
1998
Springer
15 years 7 months ago
1998
Springer
Modern extensible database systems support multimedia data through ADTs. However, because of the problems with multimedia query formulation, this support is not sufficient. Multim...
178
click to vote
IESS
2007
Springer
16 years 17 days ago
2007
Springer
The stringent performance constraints and short time to market of modern digital systems require automatic methods for design of high performance applicationspecific architectures...