150 search results - page 27 / 30 » Programming by sketching for bit-streaming programs |
LREC
2008
14 years 11 months ago
2008
To achieve true interoperability for valuable linguistic resources different levels of variation need to be addressed. ISO Technical Committee 37, Terminology and other language a...
DAGSTUHL
2001
14 years 11 months ago
2001
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in lec...
GG
2008
Springer
14 years 10 months ago
2008
Springer
A variety of computation models have been developed using graphs and graph transformations. These include models for sequential, distributed, parallel or mobile computation. A grap...
58
Voted
FMCAD
1998
Springer
15 years 1 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
IFL
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...