6014 search results - page 119 / 1203 » Parametric Analysis of Computer Systems |
192
click to vote
EMSOFT
2009
Springer
16 years 27 days ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
145
click to vote
IRI
2006
IEEE
16 years 10 days ago
2006
IEEE
With the rapidly increasing complexity of computer systems and the sophistication of hacking tools and techniques, there is a crucial need for computer forensic analysis technique...
159
click to vote
EUC
2005
Springer
15 years 12 months ago
2005
Springer
Advanced analysis of data for extracting useful knowledge is the next natural step in the world of ubiquitous computing. So far, most of the ubiquitous systems process knowledge in...
155
click to vote
IPL
1998
15 years 6 months ago
1998
We propose, and justify, an economic theory to guide memory system design, operation, and analysis. Our theory treats memory random-access latency, and its cost per installed mega...
187
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
In earlier work, we have shown that for confluent term rewrite systems (TRSs for short), innermost polynomial runtime complexity induces polytime computability of the functions de...