4359 search results - page 619 / 872 » Automated Pipeline Design |
178
click to vote
KES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Ontology-based modelling is becoming increasingly important in the design of complex knowledge management applications. However, many problems related to large-scale onto...
193
click to vote
LPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
125
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
Unlike most non-monotonic logics Plausible Logic was designed from the very beginning with computer implementation in mind. But one aspect of implementation was neglected, namely ...
161
click to vote
ASAP
2003
IEEE
15 years 12 months ago
2003
IEEE
On-chip implementation of multiprocessor systems requires the planarization of the interconnect network onto the silicon floorplan. Manual floorplanning approaches will become i...
171
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...