4520 search results - page 430 / 904 » Algebraic Techniques for Timed Systems |
314
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Scientific workflow systems are increasingly used to automate complex data analyses, largely due to their benefits over traditional approaches for workflow design, optimization, a...
208
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Applications for constrained embedded systems are subject to strict time constraints and restrictive resource utilization. With soft core processors, application developers can cu...
385
click to vote
ICS
2001
Tsinghua U.
16 years 5 days ago
2001
Tsinghua U.
For most parallel and high performance systems, tuning guides provide the users with advices to optimize the execution time of their programs. Execution time may be very sensitive...
259
click to vote
CEAS
2007
Springer
15 years 11 months ago
2007
Springer
Recently, spammers have proliferated "image spam", emails which contain the text of the spam message in a human readable image instead of the message body, making detect...
189
click to vote
ANOR
2006
15 years 7 months ago
2006
In this paper, we consider a BMAP/G/1 retrial queue with a server subject to breakdowns and repairs, where the life time of the server is exponential and the repair time is general...