8190 search results - page 1614 / 1638 » From Timed to Hybrid Systems |
121
click to vote
KDD
2000
ACM
15 years 5 months ago
2000
ACM
We describe an application of data mining and decision analysis to the problem of die-level functional test in integrated circuit manufacturing. Integrated circuits are fabricated...
100
click to vote
MICAI
2000
Springer
15 years 5 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
129
click to vote
RT
2000
Springer
15 years 5 months ago
2000
Springer
Synthetic images can be parameterized by more than time or viewpoint. We generalize image-based rendering by exploiting texture-mapping graphics hardware to decompress ray-traced ...
108
click to vote
ASPDAC
1995
ACM
15 years 5 months ago
1995
ACM
- In this paper, we present a new scheduling algorithms that generates area-efficient register transfer level datapaths with multiport memories. The proposed scheduling algorithm a...
132
click to vote
ICSM
1995
IEEE
15 years 5 months ago
1995
IEEE
Organizations spend significant resources tracking customer satisfaction and managing service delivery. Although a great deal of effort is expended in understanding what goes on w...