Sciweavers

1850 search results - page 153 / 370
» Design-for-debugging of application specific designs
Sort
View
IPPS
2000
IEEE
15 years 11 months ago
Optoelectronic Multi-chip Modules Based on Imaging Fiber Bundle Structures
In this paper, we present a new packaging architecture for chip-level optical interconnections based on imaging fiber bundles. Imaging fiber bundles consist of densely packed arra...
Donald M. Chiarulli, Steven P. Levitan
GROUP
1999
ACM
15 years 11 months ago
Supporting the shared care of diabetic patients
This paper reports on a study of clinicians who care for diabetic patients, and on the design of an application to support their work. The clinicians' long-term activity is r...
Tim Kindberg, Nick Bryan-Kinns, Ranjit Makwana
IAAI
2011
14 years 6 months ago
Online Planning to Control a Packaging Infeed System
After successfully developing a model-based online planner for the multi-engine hyper-modular prototype printer at PARC, we began investigating other applications with similar cha...
Minh Binh Do, Lawrence Lee, Rong Zhou, Lara S. Cra...
AOSD
2007
ACM
15 years 10 months ago
A static aspect language for checking design rules
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
Clint Morgan, Kris De Volder, Eric Wohlstadter
DATE
2004
IEEE
130views Hardware» more  DATE 2004»
15 years 10 months ago
Utilizing Formal Assertions for System Design of Network Processors
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Fe...