878 search results - page 135 / 176 » Interacting Abstract State Machines |
ARCS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Java is widely deployed on a variety of processor architectures. Consequently, an understanding of microarchitecture level Java performance is critical to optimize curren...
HCI
2009
14 years 7 months ago
2009
Abstract. The P300 Speller has proven to be an effective paradigm for braincomputer interface (BCI) communication. Using this paradigm, studies have shown that a simple linear clas...
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— The goal of data center networking is to interconnect a large number of server machines with low equipment cost, high and balanced network capacity, and robustness to l...
SCP
2008
14 years 9 months ago
2008
Today's complex applications must face the distribution of data and code among different network nodes. Computation in distributed contexts is demanding increasingly powerful...
TLDI
2010
ACM
15 years 6 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...