2268 search results - page 306 / 454 » The Essence of Form Abstraction |
126
click to vote
IFIP
1998
Springer
15 years 5 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
ICPP
1997
IEEE
15 years 5 months ago
1997
IEEE
Communication characterization of parallel applications is essential to understand the interplay between architectures and applications in determining the maximum achievable perfo...
131
click to vote
AGP
1996
IEEE
15 years 5 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
105
click to vote
CONCUR
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
116
click to vote
ICCAD
1994
IEEE
15 years 5 months ago
1994
IEEE
Abstract-- The design of application-specific instruction set processor (ASIP) system includes at least three interdependent tasks: microarchitecture design, instruction set design...