Sciweavers

754 search results - page 88 / 151
» Automated Model Selection Using Context-Dependent Behaviors
Sort
View
ISSTA
2006
ACM
15 years 10 months ago
Test input generation for java containers using state matching
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...
SODA
2008
ACM
131views Algorithms» more  SODA 2008»
15 years 5 months ago
PageRank and the random surfer model
In recent years there has been considerable interest in analyzing random graph models for the Web. We consider two such models - the Random Surfer model, introduced by Blum et al....
Prasad Chebolu, Páll Melsted
TROB
2002
169views more  TROB 2002»
15 years 3 months ago
Constructing reconfigurable software for machine control systems
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
Shige Wang, Kang G. Shin
ICRA
2009
IEEE
128views Robotics» more  ICRA 2009»
15 years 11 months ago
Tissue property estimation and graphical display for teleoperated robot-assisted surgery
— Palpation of tissue and organs during a surgical procedure provides clinicians with valuable information for diagnosis and surgical planning. In robot-assisted minimally invasi...
Tomonori Yamamoto, Balázs Vágvö...
ICPP
2009
IEEE
15 years 2 months ago
Using Coherence Information and Decay Techniques to Optimize L2 Cache Leakage in CMPs
This paper evaluates several techniques to save leakage in CMP L2 caches by selectively switching off the less used lines. We primarily focus on private snoopy L2 caches. In this c...
Matteo Monchiero, Ramon Canal, Antonio Gonzá...