4767 search results - page 348 / 954 » Structures for Abstract Rewriting |
155
click to vote
WEA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We consider an optimization problem arising in the design of controllers for OLED displays. Our objective is to minimize the amplitude of the electrical current flowing ...
174
click to vote
CSMR
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— Adapting software components usable by a particular application is a crucial issue in software component based technology. In fact, software components can be used in c...
156
click to vote
ISVLSI
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— Research in the fields of physics, chemistry and electronics has demonstrated that Quantum-dot Cellular Automata (QCA) is a viable alternative for nano-scale computing...
144
click to vote
ATVA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
172
click to vote
BIRTHDAY
2005
Springer
16 years 7 days ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...