Sciweavers

2607 search results - page 163 / 522
» Complete Functional Synthesis
Sort
View
SIAMIS
2011
15 years 1 months ago
Locally Parallel Texture Modeling
This article presents a new adaptive framework for locally parallel texture modeling. Oscillating patterns are modeled with functionals that constrain the local Fourier decompositi...
Pierre Maurel, Jean-François Aujol, Gabriel...
ISQED
2011
IEEE
230views Hardware» more  ISQED 2011»
14 years 10 months ago
Constraint generation for software-based post-silicon bug masking with scalable resynthesis technique for constraint optimizatio
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
Chia-Wei Chang, Hong-Zu Chou, Kai-Hui Chang, Jie-H...
ICCAD
2001
IEEE
89views Hardware» more  ICCAD 2001»
16 years 3 months ago
Sequential SPFDs
SPFDs are a mechanism to express flexibility in Boolean networks. Introduced by Yamashita et al. in the context of FPGA synthesis [4], they were extended later to general combina...
Subarnarekha Sinha, Andreas Kuehlmann, Robert K. B...
ISPW
2005
IEEE
15 years 12 months ago
Process Technology to Facilitate the Conduct of Science
This paper introduces the concept of an analytic web, a synthesis of three complementary views of a scientific process that is intended to facilitate the conduct of science. These ...
Leon J. Osterweil, Alexander E. Wise, Lori A. Clar...
FASE
2003
Springer
15 years 11 months ago
Detecting Implied Scenarios Analyzing Non-local Branching Choices
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
Henry Muccini