10159 search results - page 1846 / 2032 » System Design Validation Using Formal Models |
121
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...
118
click to vote
MSWIM
2005
ACM
15 years 7 months ago
2005
ACM
This work describes a detailed simulation-based study of the performance of an IEEE 802.11e Medium Access Control (MAC) layer over an IEEE 802.11g Physical (PHY) layer. The study ...
109
click to vote
JCDL
2004
ACM
15 years 7 months ago
2004
ACM
Archaeologists have to deal with vast quantities of information, generated both in the field and laboratory. That information is heterogeneous in nature, and different projects ha...
ISCA
2010
IEEE
15 years 7 months ago
2010
IEEE
Previous research has shown that Staged Execution (SE), i.e., dividing a program into segments and executing each segment at the core that has the data and/or functionality to bes...
107
click to vote
CHI
2000
ACM
15 years 6 months ago
2000
ACM
We discuss a novel type of interface, the intelligent gazeadded interface, and describe the design and evaluation of a sample gaze-added operating-system interface. Gaze-added int...