Sciweavers

2381 search results - page 209 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
TC
1998
15 years 6 months ago
Using Decision Diagrams to Design ULMs for FPGAs
—Many modern Field Programmable Logic Arrays (FPGAs) use lookup table (LUT) logic blocks which can be programmed to realize any function of a fixed number of inputs. It is possib...
Zeljko Zilic, Zvonko G. Vranesic
BMCBI
2006
141views more  BMCBI 2006»
15 years 6 months ago
Visual setup of logical models of signaling and regulatory networks with ProMoT
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
Julio Saez-Rodriguez, Sebastian Mirschel, Rebecca ...
FPGA
1997
ACM
118views FPGA» more  FPGA 1997»
15 years 10 months ago
Module Generation of Complex Macros for Logic-Emulation Applications
Logic emulation is a technique that uses dynamically reprogrammable systems for prototyping and design veri cation. Using an emulator, designers can realize designs through a soft...
Wen-Jong Fang, Allen C.-H. Wu, Duan-Ping Chen
ESAW
2004
Springer
16 years 1 days ago
Strategies for Distributing Goals in a Team of Cooperative Agents
This paper addresses the problem of distributing goals to individual agents inside a team of cooperative agents. It shows that several parameters determine the goals of particular ...
Laurence Cholvy, Christophe Garion
CONCUR
2006
Springer
15 years 10 months ago
Concurrent Rewriting for Graphs with Equivalences
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
Paolo Baldan, Fabio Gadducci, Ugo Montanari