Sciweavers

9518 search results - page 348 / 1904
» On Mobility of Software Processes
Sort
View
CODES
2010
IEEE
15 years 4 months ago
Dynamic, non-linear cache architecture for power-sensitive mobile processors
Today, mobile smartphones are expected to be able to run the same complex, algorithm-heavy, memory-intensive applications that were originally designed and coded for generalpurpos...
Garo Bournoutian, Alex Orailoglu
CODES
2011
IEEE
14 years 6 months ago
Dynamic, multi-core cache coherence architecture for power-sensitive mobile processors
Today, mobile smartphones are expected to be able to run the same complex, memory-intensive applications that were originally designed and coded for general-purpose processors. Ho...
Garo Bournoutian, Alex Orailoglu
145
Voted
ISESE
2003
IEEE
16 years 1 days ago
Composable Process Elements for Developing COTS-Based Applications
Data collected from five years of developing e-service applications at USC-CSE reveals that an increasing fraction have been commercial-off-the-shelf (COTS)Based Application (CBA)...
Barry W. Boehm, Daniel Port, Ye Yang, Jesal Bhuta,...
TCOM
2010
81views more  TCOM 2010»
15 years 1 months ago
Linear MMSE Estimation of Large-Magnitude Symmetric Levy-Process Phase-Noise
The linear minimum-mean-square error (LMMSE) estimator is herein derived to estimate phase-noise of Levy statistics (including Wiener phase-noise) and of arbitrarily large magnitud...
Yeong-Tzay Su, Kainam Thomas Wong, Keang-Po Ho
ICSE
1999
IEEE-ACM
15 years 11 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith