548 search results - page 41 / 110 » On the Limitations of Power Macromodeling Techniques |
STOC
2009
ACM
15 years 12 months ago
2009
ACM
Non-relativization of complexity issues can be interpreted as giving some evidence that these issues cannot be resolved by "black-box" techniques. In the early 1990'...
107
click to vote
POPL
2012
ACM
13 years 6 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
HIS
2009
14 years 9 months ago
2009
Abstract--The nonlinear characteristic of an LED (light emitting diode) imposes limitations on the performance of indoor optical wireless (OW) systems when using intensity modulati...
118
click to vote
LPAR
2012
Springer
13 years 6 months ago
2012
Springer
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
108
click to vote
SIGMOD
2012
ACM
13 years 1 months ago
2012
ACM
The rise of smartphones equipped with various sensors has enabled personalization of various applications based on user contexts extracted from sensor readings. At the same time i...