2607 search results - page 314 / 522 » Complete Functional Synthesis |
139
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Data persistency is a fundamental, but complex aspect of a modern software development process. Therefore, in order to reduce development costs and improve a system’s quality, s...
136
click to vote
ICIP
2005
IEEE
15 years 10 months ago
2005
IEEE
A method for detecting and reducing reverberation artifacts in ultrasound image sequences is described. A reverberation artifact localization map is produced using local Rf-bandwi...
145
click to vote
IEEECIT
2005
IEEE
15 years 10 months ago
2005
IEEE
In spite of many standards efforts, Web services with similar or compatible functionalities often have heterogeneous semantics. One reason is the disparate ontologies used for ser...
135
click to vote
SC
2005
ACM
15 years 10 months ago
2005
ACM
We describe the software architecture, technical features, and performance of TICK (Transparent Incremental Checkpointer at Kernel level), a system-level checkpointer implemented ...
213
click to vote
WCFLP
2005
ACM
15 years 10 months ago
2005
ACM
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...