Sciweavers

3778 search results - page 596 / 756
» Erdos-Ko-Rado for three sets
Sort
View
CODES
1998
IEEE
15 years 10 months ago
The construction of a retargetable simulator for an architecture template
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...
Bart Kienhuis, Ed F. Deprettere, Kees A. Vissers, ...
157
Voted
ICSE
1999
IEEE-ACM
15 years 10 months ago
Dynamically Discovering Likely Program Invariants to Support Program Evolution
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
Michael D. Ernst, Jake Cockrell, William G. Griswo...
EUROMICRO
1998
IEEE
15 years 10 months ago
Data Speculative Multithreaded Architecture
In this paper we present a novel processor microarchitecture that relieves three of the most important bottlenecks of superscalar processors: the serialization imposed by true dep...
Pedro Marcuello, Antonio González
IPMI
1999
Springer
15 years 10 months ago
Model Generation from Multiple Volumes Using Constrained Elastic SurfaceNets
Three dimensional models of anatomical structures are currently used to aid in medical diagnosis, treatment, surgical guidance, and surgical simulation. Limitations on the resolut...
Michael E. Leventon, Sarah F. Frisken Gibson
HICSS
1998
IEEE
158views Biometrics» more  HICSS 1998»
15 years 10 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