1960 search results - page 252 / 392 » The Logic of Large Enough |
WOLLIC
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
CSL
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. For a two-variable formula B(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of a finite-state operator Y=F(X) ...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
—Latch based circuits are widely adopted in high performance circuits. But there is a lack of accurate latch models for doing timing analysis. In this paper, we propose a new lat...
GLOBECOM
2008
IEEE
14 years 4 months ago
2008
IEEE
— Passive Optical Networks (PONs) represent a step forward in “first mile” networks; indeed, by using optical technologies, PONs can transfer a large amount of data, and by ...
FUZZIEEE
2007
IEEE
14 years 4 months ago
2007
IEEE
—This paper describes a Java-based graphical user interface to a large number of data analysis programs the first author has written in C over the years. In addition, this toolb...