3736 search results - page 385 / 748 » Generative Programming |
105
click to vote
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
- This paper proposes a hardware design debugging method, Transition and Transaction Tracer (TTT), which probes and records the signals of interest for a long time, hours, days, or...
148
click to vote
IJCAI
1989
15 years 6 months ago
1989
Incremental conceptual clustering is an important area of machine learning. It is concerned with summarizing data in a form of concept hierarchies, which will eventually ease the ...
136
click to vote
SICHERHEIT
2010
15 years 2 months ago
2010
A CAPTCHA is a program that generates challenges that are easy to solve for humans but difficult to solve for computers. The most common CAPTCHAs today are text-based ones where a ...
158
click to vote
IJAIT
2006
15 years 4 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
161
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...