Sciweavers

12487 search results - page 419 / 2498
» Graspable Work Modeling
Sort
View
IEEEPACT
2008
IEEE
16 years 2 months ago
Characterizing and modeling the behavior of context switch misses
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...
Fang Liu, Fei Guo, Yan Solihin, Seongbeom Kim, Abd...
WACV
2008
IEEE
16 years 2 months ago
A non parametric approach for modeling interferometric SAR imagery and applications
In this paper, we present a non parametric modeling for phase maps of interferometric SAR. Cosine and Sine projections maps are generated from the SAR phase map, and each of them ...
Kuntal Sengupta, Prabir Burman
ISPASS
2007
IEEE
16 years 1 months ago
Modeling and Characterizing Power Variability in Multicore Architectures
Parameter variation due to manufacturing error will be an unavoidable consequence of technology scaling in future generations. The impact of random variation in physical factors s...
Ke Meng, Frank Huebbers, Russ Joseph, Yehea I. Ism...
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
16 years 1 months ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...
INFOCOM
2002
IEEE
16 years 16 days ago
Restoration Algorithms for Virtual Private Networks in the Hose Model
—A Virtual Private Network (VPN) aims to emulate the services provided by a private network over the shared Internet. The endpoints of e connected using abstractions such as Virt...
Giuseppe F. Italiano, Rajeev Rastogi, Bülent ...