3456 search results - page 600 / 692 » Algorithms for Interface Synthesis |
WIDM
2004
ACM
14 years 2 months ago
2004
ACM
Many applications which use web data extract information from a limited number of regions on a web page. As such, web page division into blocks and the subsequent block classifica...
WOSS
2004
ACM
14 years 2 months ago
2004
ACM
Self-managed software requires monitoring and code changes to an executing program. One technology that enables such self management is software dynamic translation (SDT), which a...
CAV
2004
Springer
14 years 2 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
CMMR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The Internet Archive for Electronic Music (IAEM) is intended to be a platform to access an extensive and distributed archive of electronic music. It combines collaborativ...
EUROPAR
2004
Springer
14 years 2 months ago
2004
Springer
The parallel realization of adaptive finite element methods (FEM) has to deal with several irregular and dynamic algorithmic properties caused by adaptive mesh refinement (AMR). ...