7557 search results - page 366 / 1512 » Modeling Timed Concurrent Systems |
166
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present a technique for Worst-Case Execution Time WCET analysis for pipelined processors. Our technique uses a standard simulator instead of special-purpose pipel...
188
click to vote
ASPLOS
2006
ACM
16 years 21 days ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
175
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this work we propose a model (in)validation approach to gait recognition, using a system that tries to discriminate specific activities of people. The recognition process depar...
188
click to vote
EUROMICRO
2005
IEEE
16 years 10 days ago
2005
IEEE
The guaranty of meeting the timing constraints during the design phase of real-time component-based embedded software has not been realized. To satisfy real-time requirements, we ...
159
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We investigate in this paper the performance of a file sharing principle similar to the one implemented by eMule. For this purpose, we consider a system composed of N peers becomi...