Sciweavers

6897 search results - page 333 / 1380
» Parallelization of Modular Algorithms
Sort
View
106
Voted
DATE
2005
IEEE
119views Hardware» more  DATE 2005»
15 years 9 months ago
On-Chip Test Infrastructure Design for Optimal Multi-Site Testing of System Chips
Multi-site testing is a popular and effective way to increase test throughput and reduce test costs. We present a test throughput model, in which we focus on wafer testing, and co...
Sandeep Kumar Goel, Erik Jan Marinissen
130
Voted
HPCA
2005
IEEE
15 years 9 months ago
Enterprise IT Trends and Implications for Architecture Research
The last decade has seen several changes in the structure and emphasis of enterprise IT systems. Specific infrastructure trends have included the emergence of large consolidated d...
Parthasarathy Ranganathan, Norman P. Jouppi
97
Voted
ATAL
2005
Springer
15 years 9 months ago
Towards an agent oriented programming language with caste and scenario mechanisms
The paper presents an agent-oriented programming language SLABSp. It provides caste and scenario mechanisms in a coherent way to support the caste-centric methodology of agent-ori...
Ji Wang, Rui Shen, Hong Zhu
134
Voted
EDOC
2003
IEEE
15 years 8 months ago
Model Transformation: A declarative, reusable patterns approach
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...
Keith Duddy, Anna Gerber, Michael Lawley, Kerry Ra...
166
Voted
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 8 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...