Sciweavers

1701 search results - page 146 / 341
» Computer Science and State Machines
Sort
View
IPPS
2010
IEEE
14 years 8 months ago
Dynamic Fractional Resource Scheduling for cluster platforms
We propose a novel approach, called Dynamic Fractional Resource Scheduling (DFRS), to share homogeneous cluster computing platforms among competing jobs. DFRS leverages virtual mac...
Mark Stillwell
SIGCOMM
2003
ACM
15 years 3 months ago
A comparison of hard-state and soft-state signaling protocols
One of the key infrastructure components in all telecommunication networks, ranging from the telephone network, to VC-oriented data networks, to the Internet, is its signaling sys...
Ping Ji, Zihui Ge, James F. Kurose, Donald F. Tows...
ASM
2000
ASM
15 years 2 months ago
An ASM Dynamic Semantics for Standard ML
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
Steven C. Cater, James K. Huggins
62
Voted
BIRTHDAY
2010
Springer
14 years 11 months ago
Three Paths to Effectiveness
Over the past two decades, Gurevich and his colleagues have developed axiomatic foundations for the notion of algorithm, be it classical, interactive, or parallel, and formalized t...
Udi Boker, Nachum Dershowitz
ICANN
2010
Springer
14 years 11 months ago
Recurrence Enhances the Spatial Encoding of Static Inputs in Reservoir Networks
We shed light on the key ingredients of reservoir computing and analyze the contribution of the network dynamics to the spatial encoding of inputs. Therefore, we introduce attracto...
Christian Emmerich, René Felix Reinhart, Jo...