6155 search results - page 131 / 1231 » A language for multiple models of computation |
127
click to vote
EURODAC
1995
IEEE
15 years 8 months ago
1995
IEEE
The presented fault model uniquely describes all structural changes in the transistor net list that can be caused by spot defects, including faults that connect more than two nets...
131
click to vote
IFIP
1989
Springer
15 years 8 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
152
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
132
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
In probabilistic grammatical inference, a usual goal is to infer a good approximation of an unknown distribution P called a stochastic language. The estimate of P stands in some cl...
152
click to vote
POPL
1990
ACM
15 years 8 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...