Sciweavers

2201 search results - page 250 / 441
» Improvement of ASIC Design Processes
Sort
View
ECBS
2000
IEEE
87views Hardware» more  ECBS 2000»
15 years 8 months ago
Limited Software Warranties
Because there are di erent types of software (e.g., language, application, target environment, etc.), di erent software certi cation methodologies are needed. Software process imp...
Jeffrey M. Voas
ICNP
1999
IEEE
15 years 8 months ago
Automated Protocol Implementations Based on Activity Threads
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
Peter Langendörfer, Hartmut König
JCIT
2010
184views more  JCIT 2010»
14 years 11 months ago
A Cell Projection Algorithm Based on Feature Region Segmentation and Cells Sorting
Because of the complexity of the human structure, and the irregularity of the human tissues, and the discrepancy of human individuality, segmenting and rendering 3D medical data f...
Li Xinwu
JCDL
2011
ACM
301views Education» more  JCDL 2011»
14 years 7 months ago
Archiving the web using page changes patterns: a case study
A pattern is a model or a template used to summarize and describe the behavior (or the trend) of a data having generally some recurrent events. Patterns have received a considerab...
Myriam Ben Saad, Stéphane Gançarski
DAC
2008
ACM
16 years 5 months ago
Multiprocessor performance estimation using hybrid simulation
With the growing number of programmable processing elements in today's MultiProcessor System-on-Chip (MPSoC) designs, the synergy required for the development of the hardware...
Lei Gao, Kingshuk Karuri, Stefan Kraemer, Rainer L...