4716 search results - page 437 / 944 » Iterative-free program analysis |
202
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
We investigate the dynamics of trader behaviors using a co-evolutionary genetic programming system to simulate a double-auction market. The objective of this study is twofold. Fir...
168
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
186
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Multi-core chips have been increasingly adopted by microprocessor industry. For real-time systems to safely harness the potential of multi-core computing, designers must be able t...
166
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper concerns the validity of a widely used method for estimating the architecture-level mean time to failure (MTTF) due to soft errors. The method first calculates the fai...
183
click to vote
HPDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Utility functions can be used to represent the value users attach to job completion as a function of turnaround time. Most previous scheduling research used simple synthetic repre...