4919 search results - page 964 / 984 » A Process-Ontological Model for Software Engineering |
LCTRTS
2004
Springer
15 years 3 months ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
MM
2003
ACM
15 years 3 months ago
2003
ACM
Real-time content-based access to live video data requires content analysis applications that are able to process the video data at least as fast as the video data is made availab...
WWW
2003
ACM
15 years 10 months ago
2003
ACM
In the light of image retrieval evolving from text annotation to content-based and from standalone applications to web-based search engines, we foresee the need for deploying cont...
167
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
177
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...