2266 search results - page 82 / 454 » Generalizing parametric timing analysis |
135
click to vote
SIGMETRICS
2010
ACM
14 years 10 months ago
2010
ACM
Shortest Remaining Processing Time first (SRPT) has long been known to optimize the queue length distribution and the mean response time (a.k.a. flow time, sojourn time). As such,...
155
click to vote
CMSB
2007
Springer
15 years 10 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
217
click to vote
PE
2008
Springer
15 years 3 months ago
2008
Springer
We consider single-server and multi-server queues with deterministic reneging times motivated by the timeout mechanisms used in application servers.. A Volterra integral equation ...
142
click to vote
WS
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we analyze attacks on existing time synchronization protocols for wireless sensor networks. We propose a secure time synchronization toolbox to counter these attack...
145
click to vote
JSSPP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Buffered coscheduling is a new methodology that can substantially increase resource utilization, improve response time, and simplify the development of the run-time suppo...