1715 search results - page 146 / 343 » How Space Structures Language |
126
click to vote
MPC
1995
Springer
15 years 7 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
144
Voted
MOMPES
2006
IEEE
15 years 9 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
101
Voted
IWMM
2004
Springer
15 years 9 months ago
2004
Springer
Operating systems account for memory consumption and allow for termination at the level of individual processes. As a result, if one process consumes too much memory, it can be te...
107
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
ACL
1998
15 years 4 months ago
1998
Nonconcatenative constraints, such as the shuffle relation, are frequently employed in grammatical analyses of languages that have more flexible ordering of constituents than Engl...