231 search results - page 40 / 47 » Evolving machine microprograms |
149
click to vote
PLDI
2009
ACM
16 years 18 days ago
2009
ACM
Software evolves to fix bugs and add features. Stopping and restarting programs to apply changes is inconvenient and often costly. Dynamic software updating (DSU) addresses this ...
147
Voted
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
165
click to vote
ALS
2003
Springer
15 years 11 months ago
2003
Springer
This is foremost a methodological contribution. It focuses on the foundation of anticipation and the pertinent implications that anticipation has on learning (theory and experiment...
160
click to vote
SIGMOD
2010
ACM
15 years 10 months ago
2010
ACM
Scientific data offers some of the most interesting challenges in data integration today. Scientific fields evolve rapidly and accumulate masses of observational and experiment...
166
Voted
IWLCS
2001
Springer
15 years 10 months ago
2001
Springer
In previous papers we have described the basic elements for building an economic model consisting of a group of artificial traders functioning and adapting in an environment conta...