3307 search results - page 527 / 662 » The meaning of concurrent programs |
188
click to vote
FUIN
2008
15 years 6 months ago
2008
Parsing Expression Grammar (PEG) is a new way to specify syntax, by means of a top-down process with limited backtracking. It can be directly transcribed into a recursive-descent ...
145
click to vote
MP
2007
15 years 5 months ago
2007
We present a practical approach to Anstreicher and Lee’s masked spectral bound for maximum-entropy sampling, and we describe favorable results that we have obtained with a Branch...
176
click to vote
PTS
2010
15 years 4 months ago
2010
We present an application of learning-based testing to the problem of automated test case generation (ATCG) for numerical software. Our approach uses n-dimensional polynomial model...
169
click to vote
COORDINATION
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
171
click to vote
ICDIM
2010
IEEE
15 years 4 months ago
2010
IEEE
Funded as part of the `Network Enabled Platforms' program the Health Services Virtual Organization (HSVO) Project has developed a network-enabled platform (NEP) consisting of...