4166 search results - page 427 / 834 » Automating the constraining process |
152
click to vote
COMPSAC
2006
IEEE
16 years 6 days ago
2006
IEEE
Even though traceability is legally required in most safety critical software applications and is a recognized component of many software process improvement initiatives, organiza...
176
click to vote
DATE
2006
IEEE
16 years 6 days ago
2006
IEEE
A new approach for automated synthesis of analog and mixed-signal systems is presented. The heterogeneous genetic optimization strategy starts from a functional description and ev...
156
click to vote
LICS
2006
IEEE
16 years 4 days ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
123
click to vote
SIGIR
2006
ACM
16 years 3 days ago
2006
ACM
This paper focuses on a method for the stylistic segmentation of text documents. Our technique involves mapping the change in a feature throughout a text. We use the linguistic fe...
162
click to vote
SEUS
2005
IEEE
15 years 11 months ago
2005
IEEE
Source code generators are often applied in embedded systems design to combine the flexibility necessary for reusability with the performance of highly specialized software. Howe...