4513 search results - page 406 / 903 » Logic programming with satisfiability |
148
click to vote
TASE
2009
IEEE
15 years 12 months ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
128
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
In this article we provide an embedding of an interaction-based service notion into UML2. Such an embedding is needed, because to this date, UML2 has only limited support for servi...
128
click to vote
FSKD
2005
Springer
15 years 10 months ago
2005
Springer
Conventional virtual coupling is designed mainly for stabilizing the virtual environment (VE) and it thus may have poor performances. This paper proposes a novel adaptive virtual c...
168
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
A high-speed and large-scale processor dedicated to quantum computing is proposed, which has the minimum operation function needed for execution of a quantum algorithm. In this pr...
112
click to vote
ITC
2002
IEEE
15 years 10 months ago
2002
IEEE
—Logic optimization is the step of the very large scale integration (VLSI) design cycle where the designer performs modifications on a design to satisfy different constraints suc...