2000 search results - page 358 / 400 » Program Transformation and Proof Transformation |
185
click to vote
ICSM
1997
IEEE
15 years 11 months ago
1997
IEEE
Conventional software engineering tends to focus on a small part of the software life cycle: the design and implementation of a product. The bulk of the lifetime cost is in the ma...
238
click to vote
MICRO
1997
IEEE
15 years 11 months ago
1997
IEEE
Modern architectural trends in instruction-level parallelism (ILP) are to increase the computational power of microprocessors significantly. As a result, the demands on memory ha...
261
Voted
CONCUR
1993
Springer
15 years 11 months ago
1993
Springer
During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...
222
Voted
PPOPP
1993
ACM
15 years 11 months ago
1993
ACM
We describe computation migration,a new technique that is based on compile-time program transformations, for accessing remote data in a distributed-memory parallel system. In cont...
211
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...