551 search results - page 65 / 111 » Realizability of Real-Time Logics |
238
click to vote
CEEMAS
2007
Springer
16 years 3 days ago
2007
Springer
The construction of web applications is a complex task as different kinds of technologies need to be integrated. To ease the task of developing web applications many different we...
143
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
In this paper, we outline general design steps of our synthesis tool to realize application specific co-processors such that for a given scientific application having intensive ite...
139
click to vote
ISMVL
2010
IEEE
15 years 9 months ago
2010
IEEE
—Using EXOR gates in logic synthesis often results in smaller circuit realizations. While in AND/OR synthesis the problem definition is clear, in AND/EXOR synthesis several clas...
164
click to vote
P2PKM
2004
15 years 7 months ago
2004
Abstract. We are interested in the development of a database management layer which is completely portable and, therefore, "pluggable" on top of multiple host platforms. ...
130
click to vote
ENTCS
2008
15 years 6 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...