4385 search results - page 502 / 877 » Abstraction for Concurrent Objects |
182
click to vote
CP
2007
Springer
16 years 29 days ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
200
click to vote
LCPC
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. To solve problems that require far more memory than a single machine can supply, data can be swapped to disk in some manner, it can be compressed, and/or the memory of mu...
136
click to vote
MODELS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Models addressing both structure and behaviour of a system are usually quite complex. Much of the complexity is caused by the necessity to distinguish between different c...
177
click to vote
SSD
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Massive data streams of positional updates become increasingly difficult to manage under limited memory resources, especially in terms of providing near real-time respons...
176
click to vote
ML
2006
ACM
16 years 23 days ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...