16626 search results - page 3116 / 3326 » Computing is a natural science |
166
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Consider the classical online scheduling problem where jobs that arrive one by one are assigned to identical parallel machines with the objective of minimizing the makespan. We gen...
183
click to vote
ICSOC
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a method to implement integrated services of networked home electric appliances, which provide more convenient and comfortable living for home users. The conve...
235
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
The parallel packet switch (PPS) extends the inverse multiplexing architecture, and is extensively used as the core of contemporary commercial switches. A key factor in the perfor...
187
click to vote
LCTRTS
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...
176
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...