Sciweavers

5246 search results - page 143 / 1050
» Sanitization models and their limitations
Sort
View
LCPC
2005
Springer
15 years 5 months ago
A Systematic Approach to Model-Guided Empirical Search for Memory Hierarchy Optimization
The goal of this work is a systematic approach to compiler optimization for simultaneously optimizing across multiple levels of the memory hierarchy. Our approach combines compiler...
Chun Chen, Jacqueline Chame, Mary W. Hall, Kristin...
OTM
2005
Springer
15 years 5 months ago
Modeling Multi-party Web-Based Business Collaborations
Abstract. To remain competitive, enterprises have to mesh their business processes with their customers, suppliers and business partners. Increasing collaboration includes not only...
Lai Xu, Sjaak Brinkkemper
ADAEUROPE
2004
Springer
15 years 5 months ago
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
Bárbara Álvarez, Juan A. Pastor, Fra...
ECBS
2010
IEEE
146views Hardware» more  ECBS 2010»
15 years 5 months ago
Design-Space Exploration through Constraint-Based Model-Transformation
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
Bernhard Schätz, Florian Hölzl, Torbj&ou...
ITC
2003
IEEE
97views Hardware» more  ITC 2003»
15 years 5 months ago
A Generic Test Path and DUT Model for DataCom ATE
– It is well known that the output signals measured by an automatic test equipment (ATE) system are not only due to the device-under-test (DUT), but also due to the test path. Fo...
Jie Sun, Mike Li