5325 search results - page 810 / 1065 » Effective Computation for Nonlinear Systems |
179
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Social media such as Web forum often have dense interactions between user and content where network models are often appropriate for analysis. Joint non-negative matrix factorizat...
178
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...
335
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
150
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
With increasing adoption of Electronic System Level (ESL) tools, effective design and validation time has reduced to a considerable extent. Cosimulation is found to be a principal...
168
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Device scaling such as reduced oxide thickness and high electric field has given rise to various reliability concerns. One such growing issue of concern is the degradation of PMOS...