933 search results - page 127 / 187 » A Fully Automatic hp-Adaptivity |
123
Voted
DAWAK
2006
Springer
15 years 4 months ago
2006
Springer
More and more integration systems use ontologies to solve the problem of semantic heterogeneities between autonomous databases. To automate the integration process, a number of the...
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
114
click to vote
SIGGRAPH
1995
ACM
15 years 4 months ago
1995
ACM
We present a new, interactive tool called Intelligent Scissors which we use for image segmentation and composition. Fully automated segmentation is an unsolved problem, while manu...
132
Voted
ASPLOS
2008
ACM
15 years 2 months ago
2008
ACM
The recent shift in the industry towards chip multiprocessor (CMP) designs has brought the need for multi-threaded applications to mainstream computing. As observed in several lim...
121
Voted
DAC
2006
ACM
15 years 2 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...