868 search results - page 36 / 174 » Debugging for Model Expansion |
APAL
2008
13 years 10 months ago
2008
The principal result of this paper answers a long-standing question in the model theory of arithmetic [KS, Question 7] by showing that there exists an uncountable arithmetically cl...
ICOODB
2009
13 years 7 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
-----------------------------------------------ABSTRACT----------------------------------------Computer system models provide detailed answer to system performance. In this paper a...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Borrowing from concepts in expander graphs, we study the expansion properties of real-world, complex networks (e.g. social networks, unstructured peer-to-peer or P2P networks) and...
DATE
2002
IEEE
14 years 2 months ago
2002
IEEE
We present a new passive model reduction algorithm based on the Laguerre expansion of the time response of interconnect networks. We derive expressions for the Laguerre coefficie...