2205 search results - page 132 / 441 » Mutation Operators for Specifications |
ENTCS
2006
13 years 9 months ago
2006
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...
TEC
2002
13 years 9 months ago
2002
Abstract--This paper considers the discovery of trading decision models from high-frequency foreign exchange (FX) markets data using genetic programming (GP). It presents a domain-...
PERCOM
2003
ACM
14 years 8 months ago
2003
ACM
This paper presents the "Solar" system framework that allows resources to advertise context-sensitive names and for applications to make context-sensitive name queries. ...
ESCIENCE
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper introduces the concept of a User Programmable Virtualized Network, which allows networks to deliver application specific services using network element components that ...
CPAIOR
2010
Springer
14 years 18 days ago
2010
Springer
Abstract. State-of-the-art solvers for mixed integer programming (MIP) problems are highly parameterized, and finding parameter settings that achieve high performance for specific ...