Sciweavers

2673 search results - page 375 / 535
» Guided Static Analysis
Sort
View
ICSE
2004
IEEE-ACM
16 years 4 months ago
A Framework for Ensuring and Improving Dependability in Highly Distributed Systems
A distributed software system's deployment architecture can have a significant impact on the system's dependability. Dependability is a function of various system paramet...
Sam Malek, Nels Beckman, Marija Mikic-Rakic, Nenad...
ICCD
2005
IEEE
108views Hardware» more  ICCD 2005»
16 years 1 months ago
Methods for Modeling Resource Contention on Simultaneous Multithreading Processors
Simultaneous multithreading (SMT) seeks to improve the computation throughput of a processor core by sharing primary resources such as functional units, issue bandwidth, and cache...
Tipp Moseley, Dirk Grunwald, Joshua L. Kihm, Danie...
EDBT
2010
ACM
180views Database» more  EDBT 2010»
15 years 11 months ago
BSkyTree: scalable skyline computation using a balanced pivot selection
Skyline queries have gained a lot of attention for multicriteria analysis in large-scale datasets. While existing skyline algorithms have focused mostly on exploiting data dominan...
Jongwuk Lee, Seung-won Hwang
145
Voted
CSE
2009
IEEE
15 years 11 months ago
Social Interaction History: A Framework for Supporting Exploration of Social Information Spaces
— Social interaction history refers to traces of social interaction in information spaces. These traces have potential to help users explore and navigate through information spac...
Indratmo, Julita Vassileva
DATE
2009
IEEE
107views Hardware» more  DATE 2009»
15 years 11 months ago
Learning early-stage platform dimensioning from late-stage timing verification
— Today's innovations in the automotive sector are, to a great extent, based on electronics. The increasing integration complexity and stringent cost reduction goals turn E/...
Kai Richter, Marek Jersak, Rolf Ernst