16216 search results - page 49 / 3244 » Effective Modeling with Constraints |
151
click to vote
UTP
2010
15 years 1 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
195
click to vote
OPODIS
2010
15 years 1 months ago
2010
We consider the problem of scheduling dependent real-time tasks for overloads on a multiprocessor system, yielding best-effort timing assurance. The application/scheduling model in...
129
click to vote
WSC
1998
15 years 5 months ago
1998
The application of simulation as a performance estimation tool in automated material handling system design is well documented, as is the amount of time required to build, debug, ...
127
click to vote
WSC
1998
15 years 5 months ago
1998
A method for automatically improving the performance of construction operations was developed by the integration of computer simulation and belief networks. The simulation model i...
138
Voted
DAC
2003
ACM
2003
ACM
A complexity effective communication model for behavioral modeling of signal processing applications
16 years 5 months ago
In this paper, we argue that the address space of memory regions that participate in inter task communication is over-specified by the traditional communication models used in beh...