517 search results - page 57 / 104 » Specification transformers: a predicate transformer approach... |
CORR
2004
Springer
14 years 11 months ago
2004
Springer
Jackendoff (2002) posed four challenges that linguistic combinatoriality and rules of language present to theories of brain function. The essence of these problems is the question...
107
click to vote
SIGGRAPH
2010
ACM
15 years 4 months ago
2010
ACM
Painters and illustrators commonly sketch vanishing points and lines to guide the construction of perspective images. We present a tool that gives users the ability to manipulate ...
114
click to vote
FPGA
2004
ACM
15 years 5 months ago
2004
ACM
The cost functions used to evaluate logic synthesis transformations for FPGAs are far removed from the final speed and routability determined after placement, routing and timing a...
WCRE
1999
IEEE
15 years 4 months ago
1999
IEEE
One of the challenges of reverse engineering is the extraction of a specification from source code. Our work proposes a singular approach to the construction of reverse engineerin...
109
click to vote
COMPUTER
2006
14 years 12 months ago
2006
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...