3831 search results - page 101 / 767 » Dynamic Context Logic |
105
Voted
DAC
1998
ACM
15 years 8 months ago
1998
ACM
We describe a new constructive multilevel logic synthesis system that integrates the traditionally separate technology-independent and technology-dependent stages of modern synthe...
132
click to vote
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
117
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper is proposed a technique to integrate and simulate a dynamic memory in a multiprocessor framework based on C/C++/SystemC. Using host machine’s memory management cap...
147
Voted
JAPLL
2010
15 years 2 months ago
2010
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
137
Voted
CADE
2012
Springer
13 years 6 months ago
2012
Springer
We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybr...