706 search results - page 123 / 142 » An Experimental Study on Computer Programming with Linguisti... |
147
click to vote
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
203
click to vote
ROBOCUP
2004
Springer
15 years 11 months ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
163
click to vote
DSL
1997
15 years 7 months ago
1997
In this paper we describe our experience with Teapot [7], a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distrib...
148
Voted
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
125
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
Bio-Fi is a collection of art projects undertaken by S.W.A.M.P. (Studies of Work Atmospheres and Mass Production), collaborative art projects by Douglas Easterly and Matt Kenyon. ...