14360 search results - page 2474 / 2872 » Time Modeling in MARTE |
203
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
271
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
A novel scheme for the detection of object boundaries is presented. The technique is based on active contours evolving in time according to intrinsic geometric measures of the imag...
195
click to vote
ICMCS
1995
IEEE
15 years 10 months ago
1995
IEEE
– One approach to supporting continuous media traffic is via resource reservation at connection establishment time. The shortcomings of this approach are the lack of flexibility...
191
click to vote
RTSS
1997
IEEE
15 years 10 months ago
1997
IEEE
Resource allocation for high-performance real-time applications is challenging due to the applications' data-dependent nature, dynamic changes in their external environment, ...
220
click to vote
JSSPP
1995
Springer
15 years 10 months ago
1995
Springer
We describe a scheduler based on the microeconomic paradigm for scheduling on-line a set of parallel jobs in a multiprocessor system. In addition to increasing the system throughpu...