142 search results - page 22 / 29 » On the Construction of (Explicit) Khodak's Code and Its Anal... |
ICS
1993
Tsinghua U.
13 years 11 months ago
1993
Tsinghua U.
: The EM-4 is a supercomputer that offers very fast inter processor communication and support for multi threading. In this paper we demonstrate that the EM-4, Together with an auto...
HIPC
2003
Springer
14 years 21 days ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
TASE
2007
IEEE
14 years 1 months ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
ISCA
2005
IEEE
14 years 1 months ago
2005
IEEE
The traditional approach for characterizing complex systems is to run standard workloads and measure the resulting performance as seen by the end user. However, unique opportuniti...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...