3335 search results - page 546 / 667 » A Unified Approach to Modeling and Programming |
127
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
132
click to vote
ASPDAC
2000
ACM
15 years 9 months ago
2000
ACM
- This paper presents software synthesis techniques to deal with non-primitive data type from graphical dataflow programs based on the synchronous dataflow (SDF) model. Non-primiti...
115
click to vote
SC
2000
ACM
15 years 9 months ago
2000
ACM
This paper reports the progress being made towards complete turbo-pump simulation capability for liquid rocket engines. The Space Shuttle Main Engine (SSME) turbo-pump impeller is...
147
click to vote
SIGCSE
2000
ACM
15 years 9 months ago
2000
ACM
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...
145
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We present a fast and robust graph matching approach for 2D specific object recognition in images. From a small number of training images, a model graph of the object to learn is a...