Sciweavers

1806 search results - page 171 / 362
» Modeling GA Performance for Control Parameter Optimization
Sort
View
115
Voted
CLUSTER
2004
IEEE
15 years 5 months ago
Predicting memory-access cost based on data-access patterns
Improving memory performance at software level is more effective in reducing the rapidly expanding gap between processor and memory performance. Loop transformations (e.g. loop un...
Surendra Byna, Xian-He Sun, William Gropp, Rajeev ...
CP
2009
Springer
16 years 2 months ago
From Model-Checking to Temporal Logic Constraint Solving
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
Aurélien Rizk, François Fages
CDC
2008
IEEE
197views Control Systems» more  CDC 2008»
15 years 8 months ago
Dynamic spectrum access policies for cognitive radio
—We study the problem of dynamic spectrum sensing and access in cognitive radio systems as a partially observed Markov decision process (POMDP). A group of cognitive users cooper...
Jayakrishnan Unnikrishnan, Venugopal V. Veeravalli
ICRA
2009
IEEE
121views Robotics» more  ICRA 2009»
15 years 8 months ago
Bouncing an Unconstrained Ball in Three Dimensions with a Blind Juggling Robot
— We describe the design of a juggling robot that is able to vertically bounce a completely unconstrained ball without any sensing. The robot consists of a linear motor actuating...
Philipp Reist, Raffaello D'Andrea
ICCD
2008
IEEE
420views Hardware» more  ICCD 2008»
15 years 10 months ago
Frequency and voltage planning for multi-core processors under thermal constraints
— Clock frequency and transistor density increases have resulted in elevated chip temperatures. In order to meet temperature constraints while still exploiting the performance op...
Michael Kadin, Sherief Reda