Sciweavers

1188 search results - page 9 / 238
» Extended Graph Unification
Sort
View
ICCS
2004
Springer
15 years 3 months ago
KNAML: A Knowledge Representation Language for Distributed Reasoning
The Knowledge Agent Mediation Language (KNAML) is designed for use in multi-agent reasoning systems. Like conceptual graphs, KNAML represents knowledge using concepts, relations, a...
Gordon Streeter, Andrew Potter
EMSOFT
2004
Springer
15 years 3 months ago
An approach for integrating basic retiming and software pipelining
Basic retiming is an algorithm originally developed for hardware optimization. Software pipelining is a technique proposed to increase instruction-level parallelism for parallel p...
Noureddine Chabini, Wayne Wolf
55
Voted
TCS
2002
14 years 9 months ago
Set-sharing is redundant for pair-sharing
Although the usual goal of sharing analysis is to detect which pairs of variables share, the standard choice for sharing analysis is a domain that characterizes set-sharing. In th...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
ISCAS
2008
IEEE
140views Hardware» more  ISCAS 2008»
15 years 4 months ago
On the three-dimensional orthogonal drawing of series-parallel graphs (extended abstract)
arallel Graphs (Extended Abstract) Satoshi Tayu, Kumiko Nomura, and Shuichi Ueno Department of Communications and Integrated Systems, Tokyo Institute of Technology, Tokyo 152-8550-...
Satoshi Tayu, Kumiko Nomura, Shuichi Ueno
SIGMOD
1999
ACM
94views Database» more  SIGMOD 1999»
15 years 1 months ago
Logical Logging to Extend Recovery to New Domains
Recovery can be extended to new domains at reduced logging cost by exploiting "logical" log operations. During recovery, a logical log operation may read data values fro...
David B. Lomet, Mark R. Tuttle