34181 search results - page 616 / 6837 » The Computer System GRAPHOGRAPH |
121
click to vote
STACS
2004
Springer
15 years 10 months ago
2004
Springer
We consider metrical task systems, a general framework to model online problems. Borodin, Linial and Saks [BLS92] presented a deterministic work function algorithm (WFA) for metric...
139
click to vote
CLUSTER
2000
IEEE
15 years 9 months ago
2000
IEEE
Agilent Technologies Boeblingen Verification Solutions is offering a variety of remote system management products. This paper will summarize the key technologies on which Agilents...
148
click to vote
JASSS
2002
15 years 4 months ago
2002
In a paper published in JASSS, Chris Goldspink discusses the methodological implications of complex systems approaches to the modeling of social systems. Like others before him Go...
145
click to vote
MFCS
2010
Springer
15 years 3 months ago
2010
Springer
We provide a strong normalization result for MLF , a type system generalizing ML with first-class polymorphism as in system F. The proof is achieved by translating MLF into a calc...
129
click to vote
FPL
2000
Springer
2000
Springer
Reconfigurable Computing between Classifications and Metrics - The Approach of Space/Time-Scheduling
15 years 8 months ago
Abstract. Reconfigurable computing receives its merits from scheduling timebased into space-based execution. This paper reviews some common parameters and introduces an additional ...