2212 search results - page 165 / 443 » Automated software wrapping |
174
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...
131
click to vote
TCIAIG
2010
14 years 11 months ago
2010
It is easy to create new combinatorial games but more difficult to predict those that will interest human players. We examine the concept of game quality, its automated measurement...
175
Voted
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Embedded systems with heterogeneous processors extend the energy/timing trade-off flexibility and provide the opportunity to fine tune resource utilization for particular applicat...
142
click to vote
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
COTS components, like software libraries, can be used to reduce the development effort. Unfortunately, many COTS components have been developed without a focus on robustness and s...
125
click to vote
GROUP
2005
ACM
15 years 10 months ago
2005
ACM
Many studies have evaluated different uses of collaborative software. Typically, the research has focused on the shortcomings and, sometimes, the ways end users succeed or fail to...