Sciweavers

4303 search results - page 2 / 861
» Are We There Yet
Sort
View
MICRO
2010
IEEE
144views Hardware» more  MICRO 2010»
13 years 3 months ago
3D Stacked Microprocessor: Are We There Yet?
Gabriel H. Loh, Yuan Xie
LPNMR
2007
Springer
13 years 10 months ago
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
Joohyung Lee, Ravi Palla
ESEC
1993
Springer
13 years 8 months ago
Databases for Software Engineering Environments - The Goal has not yet been attained
We argue that, despite a substantial number of proposed and existing new database systems, a suitable database system for software development environments and especially process-c...
Wolfgang Emmerich, Wilhelm Schäfer, Jim Welsh
DS
1992
92views Database» more  DS 1992»
13 years 5 months ago
So Far (Schematically) yet So Near (Semantically)
In a multidatabase system, schematic con icts between two objects are usually of interest only when the objects have some semantic a nity. In this paper we try to reconcile the tw...
Amit P. Sheth, Vipul Kashyap