3824 search results - page 475 / 765 » Geometry Constructions Language |
142
click to vote
IEEEPACT
2002
IEEE
15 years 9 months ago
2002
IEEE
Optimizations performed at link time or directly applied to final program executables have received increased attention in recent years. Such low-level optimizations can benefit...
144
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
124
click to vote
CSL
2001
Springer
15 years 9 months ago
2001
Springer
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definabilit...
134
click to vote
LICS
2000
IEEE
15 years 9 months ago
2000
IEEE
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...
167
Voted
CONCUR
1999
Springer
15 years 9 months ago
1999
Springer
We present several interpretations of the behavior of P/T nets in terms of traces, event structures, and partial orders. Starting from results of Hoogers, Kleijn and Thiagarajan, w...