1837 search results - page 308 / 368 » Architecture = Abstractions over Software |
ML
2006
ACM
14 years 4 months 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 ...
CAISE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Computers support more and more tasks in the personal and professional activities of users. Such user tasks increasingly span large periods of time and many locations acr...
EUROPAR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
PPAM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. A large number of MPI implementations are currently available, each of which emphasize different aspects of high-performance computing or are intended to solve a speci...
SAMOS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Systems-on-Chip (SoCs) may be built upon general purpose CPUs or application-specific instruction-set processors (ASIPs). On the one hand, ASIPs allow a tradeoff betwee...