2544 search results - page 252 / 509 » Process pipeline scheduling |
199
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper proposes a comprehensive modeling architecture for workloads on parallel computers using Markov chains in combination with state dependent empirical distribution functi...
152
click to vote
SPAA
2009
ACM
16 years 7 months ago
2009
ACM
We consider the setting of a multiprocessor where the speeds of the m processors can be individually scaled. Jobs arrive over time and have varying degrees of parallelizability. A...
184
click to vote
ISPASS
2005
IEEE
16 years 6 days ago
2005
IEEE
A wide spectrum of e-commerce (B2B/B2C), banking, financial trading and other business applications require the exchange of data to be highly secure. The Secure Sockets Layer (SSL...
163
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose an Integer Programming (IP) framework to undertake the dedicated photolithography machine constraint in semiconductor manufacturing. The constraint is one of the new ch...
180
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...