5547 search results - page 869 / 1110 » Software Variability Management |
213
click to vote
PACT
2005
Springer
16 years 11 days ago
2005
Springer
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
179
click to vote
IUI
2004
ACM
16 years 9 days ago
2004
ACM
We have developed an automatic DTB production platform [3], which is capable of flexibly generating different user interfaces for talking books. DTBs are built from digital copies ...
207
click to vote
EMSOFT
2004
Springer
16 years 8 days ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
232
click to vote
HICSS
2003
IEEE
16 years 5 days ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
212
click to vote
PLDI
2003
ACM
16 years 4 days ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...