3454 search results - page 554 / 691 » Modern computer algebra |
PADS
2003
ACM
14 years 2 months ago
2003
ACM
The simulation of large–scale multicast networks often requires a significant amount of memory that can easily exceed the capacity of current computers, both because of the inh...
TLDI
2003
ACM
14 years 2 months ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
DSVIS
2003
Springer
14 years 2 months ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
EUROPAR
2003
Springer
14 years 2 months ago
2003
Springer
Hardware performance monitoring is the basis of modern performance analysis tools for application optimization. We are interested in providing such performance analysis tools for t...
HIPC
2003
Springer
14 years 2 months ago
2003
Springer
Power consumption becomes an important issue for modern processors. The off-chip buses consume considerable amount of total power [9,7]. One effective way to reduce power is to red...