3073 search results - page 350 / 615 » Real World Verification |
169
click to vote
ISPASS
2007
IEEE
16 years 25 days ago
2007
IEEE
In this paper, we introduce PTLsim, a cycle accurate full system x86-64 microprocessor simulator and virtual machine. PTLsim models a modern superscalar out of order x86-64 proces...
182
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents the Real-coded Genetic Algorithms for high-dimensional ill-scaled structures, what is called, the ktablet structure. The k-tablet structure is the landscape th...
178
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
Declarative queries are proving to be an attractive paradigm for interacting with networks of wireless sensors. The metaphor that “the sensornet is a database” is problematic,...
159
click to vote
SIGMETRICS
1997
ACM
15 years 10 months ago
1997
ACM
Benchmarks are important because they provide a means for users and researchers to characterize how their workloads will perform on different systems and different system architec...
168
click to vote
VISSYM
2007
15 years 9 months ago
2007
Visual data analysis has received a lot of research interest in recent years, and a wide variety of new visualization techniques and applications have been developed to improve in...