961 search results - page 154 / 193 » An Algorithm for Computing Semi-stable Semantics |
ICPP
1998
IEEE
13 years 11 months ago
1998
IEEE
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
We present a systematic approach to synthesize an instruction set such that the given application software can be efficiently mapped to a parameterized, pipelined microarchitectur...
ACII
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The largest part of the advertising market is already electronic. This means there is an opportunity for automatizing some of the production processes, such as producing ...
CW
2004
IEEE
13 years 11 months ago
2004
IEEE
An unfavourable phenomenon is observed: current electronic markets are fragmented and have formed a set of autonomously distributed product information islands. This leads to hete...
AMW
2010
13 years 9 months ago
2010
Abstract. We study the problem of instance level (ABox) updates for Knowledge Bases (KBs) represented in Description Logics of the DL-Lite family. DLLite is at the basis of OWL 2 Q...