Sciweavers

11151 search results - page 1907 / 2231
» On the Complexity of Model Expansion
Sort
View
IPPS
2003
IEEE
16 years 11 hour ago
ECO: An Empirical-Based Compilation and Optimization System
In this paper, we describe a compilation system that automates much of the process of performance tuning that is currently done manually by application programmers interested in h...
Nastaran Baradaran, Jacqueline Chame, Chun Chen, P...
IRI
2003
IEEE
16 years 10 hour ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
ISCAS
2003
IEEE
119views Hardware» more  ISCAS 2003»
16 years 8 hour ago
Electrical characteristics of multi-layer power distribution grids
Abstract— The design of robust and area efficient power distribution networks for high speed, high complexity integrated circuits has become a challenging task. The integrity of...
Andrey V. Mezhiba, Eby G. Friedman
ISORC
2003
IEEE
16 years 6 hour ago
A Dynamic Shadow Approach for Mobile Agents to Survive Crash Failures
Fault tolerance schemes for mobile agents to survive agent server crash failures are complex since developers normally have no control over remote agent servers. Some solutions mo...
Simon Pears, Jie Xu, Cornelia Boldyreff
PG
2003
IEEE
16 years 3 hour ago
High-Quality Point-Based Rendering on Modern GPUs
In the last years point-based rendering has been shown to offer the potential to outperform traditional triangle based rendering both in speed and visual quality when it comes to ...
Mario Botsch, Leif Kobbelt
« Prev « First page 1907 / 2231 Last » Next »