2173 search results - page 4 / 435 » An operational semantics for skeletons |
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
ICIAP
1999
ACM
13 years 11 months ago
1999
ACM
The auroral emissions observed in the high-latitude regions encircling the magnetic poles are a key element in studying plasmaphysical processes in the near-Earth space, the magne...
EUROPAR
2003
Springer
14 years 21 days ago
2003
Springer
Abstract. Trees are useful data structures, but to design efficient parallel programs over trees is known to be more difficult than to do over lists. Although several important tre...
ICPR
2000
IEEE
14 years 8 months ago
2000
IEEE
We propose an algorithm to find piecewise linear skeletons of hand-written characters by using principal curves. The development of the method was inspired by the apparent similar...
VLSID
1999
IEEE
13 years 11 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...