5855 search results - page 232 / 1171 » Test generation and minimization with |
278
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...
167
click to vote
ICDE
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper, we propose a novel method for generating personalized page links. The page links which are generated by our proposed method are useful if users look for web pages r...
153
click to vote
ICEIS
2003
IEEE
15 years 12 months ago
2003
IEEE
d graphically, interest in code generators which create applications based on abstract system descriptions, is high. An indicator for this are the many commercial products. This pa...
181
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
High power consumption not only leads to short battery life for handheld devices, but also causes on-chip thermal and reliability problems in general. As power consumption is prop...
173
click to vote
ITNG
2006
IEEE
16 years 19 days ago
2006
IEEE
Web services are key applications in business-to-business, business-to-customer, and enterprise applications integration solutions. As the mobile Internet becomes one of the main ...