Sciweavers

837 search results - page 22 / 168
» Hard combinators
Sort
View
KES
2006
Springer
14 years 10 months ago
Temperature Field Estimation for the Pistons of Diesel Engine 4112
Abstract. This paper proposes an approach to estimating the temperature field of the pistons of Diesel Engines 4112 using the combination of experimental measurement and finite ele...
Zuoqin Qian, Honghai Liu, Guangde Zhang, David J. ...
IPL
2010
80views more  IPL 2010»
14 years 8 months ago
The reachability problem for branching vector addition systems requires doubly-exponential space
Branching vector addition systems are an extension of vector addition systems where new reachable vectors may be obtained by summing two reachable vectors and adding an integral v...
Ranko Lazic
CGO
2010
IEEE
15 years 5 months ago
Automatic creation of tile size selection models
Tiling is a widely used loop transformation for exposing/exploiting parallelism and data locality. Effective use of tiling requires selection and tuning of the tile sizes. This is...
Tomofumi Yuki, Lakshminarayanan Renganarayanan, Sa...
WISE
2009
Springer
15 years 5 months ago
Recommending Improvements to Web Applications Using Quality-Driven Heuristic Search
Planning out maintenance tasks to increase the quality of Web applications can be difficult for a manager. First, it is hard to evaluate the precise effect of a task on quality. S...
Stéphane Vaucher, Samuel Boclinville, Houar...
EUROITV
2007
Springer
15 years 4 months ago
Psychological Backgrounds for Inducing Cooperation in Peer-to-Peer Television
Television and the Internet have proven to be a popular combination for both broadcasters and viewers. Because of this popularity they are increasingly facing the consequences of c...
Jenneke Fokker, Huib de Ridder, Piet Westendorp, J...