3909 search results - page 593 / 782 » Extreme Model Checking |
176
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
A “plan diagram” is a pictorial enumeration of the execution plan choices of a database query optimizer over the relational selectivity space. In this paper, we present and an...
166
click to vote
DEXA
2004
Springer
15 years 12 months ago
2004
Springer
A lot of work has been done on extracting the model of web user behavior. Most of them target server-side logs that cannot track user behavior outside of the server. Recently, a no...
124
click to vote
DNA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Speed of computation and power consumption are the two main parameters of conventional computing devices implemented in microelectronic circuits. As performance of such d...
169
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Genetic algorithms require relatively large computation time to solve optimization problems, especially in VLSI CAD such as module placement. Therefore, island-based parallel GAs a...
218
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
ERP implementation issues have been given much attention since two decades ago due to its low implementation success. Nearly 90 percent of ERP implementations are late or over bud...