1655 search results - page 51 / 331 » Visual tool for generative programming |
104
click to vote
MICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...
HASKELL
2007
ACM
15 years 4 months ago
2007
ACM
We describe the design, implementation and use of HPC, a toolkit to record and display Haskell Program Coverage. HPC includes tools that instrument Haskell programs to record prog...
167
click to vote
WSOM
2009
Springer
15 years 7 months ago
2009
Springer
Bag of features is a well established technique for the visual categorisation of objects, categories of objects and textures. One of the most important part of this technique is co...
99
Voted
TAPSOFT
1995
Springer
15 years 4 months ago
1995
Springer
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...
128
click to vote
ISQED
2002
IEEE
15 years 5 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...