Sciweavers

363 search results - page 65 / 73
» Decomposition of the NVALUE constraint
Sort
View
ADAEUROPE
2010
Springer
15 years 2 months ago
What to Make of Multicore Processors for Reliable Real-Time Systems?
Now that multicore microprocessors have become a commodity, it is natural to think about employing them in all kinds of computing, including high-reliability embedded real-time sy...
Theodore P. Baker
ICCAD
2000
IEEE
109views Hardware» more  ICCAD 2000»
15 years 2 months ago
General Models for Optimum Arbitrary-Dimension FPGA Switch Box Designs
–An FPGA switch box is said to be hyper-universal if it is routable for all possible surrounding multi-pin net topologies satisfying the routing resource constraints. It is desir...
Hongbing Fan, Jiping Liu, Yu-Liang Wu
HICSS
1998
IEEE
158views Biometrics» more  HICSS 1998»
15 years 1 months ago
Accountability Centered Approach to Business Process Reengineering
In this paper, Accountability Centered Approach (ACA) is proposed for business process engineering. The ACA approach enables the designers and users to focus on the requirements a...
Mitchell M. Tseng, Chuan-Jun Su, Ma Qinhai
AGP
1996
IEEE
15 years 1 months ago
Modular Analysis of Suspension Free cc Programs
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
Enea Zaffanella
CVRMED
1997
Springer
15 years 1 months ago
Medical image segmentation using topologically adaptable surfaces
E cient and powerful topologically adaptable deformable surfaces can be created by embedding and de ning discrete deformable surface models in terms of an A ne Cell Decomposition (...
Tim McInerney, Demetri Terzopoulos