16844 search results - page 330 / 3369 » How to Design Programs |
167
click to vote
ASM
2005
ASM
16 years 8 days ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
171
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
In this paper, we show how genetic programming (GP) can be used to evolve system-size-independent quantum algorithms, and present a human-competitive Quantum Fourier Transform (QF...
160
click to vote
TAPSOFT
1995
Springer
15 years 10 months ago
1995
Springer
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...
176
click to vote
NSDI
2008
15 years 9 months ago
2008
I provide several lessons learned from running a number of conference program committees over the past decade, as well as some additional thoughts on conference organization and t...
152
click to vote
BNCOD
2004
15 years 8 months ago
2004
While there are many proposals for spatio-temporal data models and query languages, there is a lack of research into application development using spatio-temporal database systems....