2482 search results - page 327 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
107
click to vote
ACSD
2005
IEEE
15 years 8 months ago
2005
IEEE
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...
138
click to vote
COOPIS
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...
147
click to vote
CODES
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
LCPC
1999
Springer
15 years 6 months ago
1999
Springer
The traditional target machine of a parallelizing compiler can execute code sections either serially or in parallel. In contrast, targeting the generated code to a speculative para...
130
Voted
ASP
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. The paper describes HıLεX, a new ASP-based system for the extraction of information from unstructured documents. Unlike previous systems, which are mainly syntactic, HÄ...