5090 search results - page 334 / 1018 » Constructing Strategies for Programming |
147
Voted
JUCS
2008
15 years 5 months ago
2008
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
134
Voted
JWE
2006
15 years 5 months ago
2006
Reactivity on the Web is an emerging issue. It is essential for upcoming Web systems such as online marketplaces, adaptive, Semantic Web systems as well as Web services and Grids....
104
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Multicore shared-memory architectures are becoming prevalent but bring many programming challenges. Among the biggest is non-determinism: the output of the program does n...
148
click to vote
TACAS
2009
Springer
15 years 12 months ago
2009
Springer
Alpaga is a solver for parity games with imperfect information. Given the description of a game, it determines whether the first player can ensure to win and, if so, it constructs...
116
Voted
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
We have constructed an autonomous quadruped, Scout II, which features only a hip actuator and a passive compliant prismatic joint per leg. In this paper we demonstrate in simulati...