Sciweavers

4201 search results - page 644 / 841
» Interaction graphs: Additives
Sort
View
SAMOS
2007
Springer
16 years 21 days ago
An Interrupt Controller for FPGA-based Multiprocessors
— Interrupt-based programming is widely used for interfacing a processor with peripherals and allowing software threads to interact. Many hardware/software architectures have bee...
Antonino Tumeo, Marco Branca, Lorenzo Camerini, Ma...
UM
2007
Springer
16 years 21 days ago
Inducing User Affect Recognition Models for Task-Oriented Environments
Accurately recognizing users’ affective states could contribute to more productive and enjoyable interactions, particularly for task-oriented learning environments. In addition t...
Sunyoung Lee, Scott W. McQuiggan, James C. Lester
W2GIS
2007
Springer
16 years 21 days ago
XFormsGI - Extending XForms for Geospatial and Sensor Data
User interaction is mostly based on forms. However, forms are restricted to alphanumerical data – the editing of geospatial data is not supported. This statement does not only ho...
Jürgen Weitkämper, Thomas Brinkhoff
WDAG
2007
Springer
103views Algorithms» more  WDAG 2007»
16 years 21 days ago
Probabilistic Opaque Quorum Systems
Byzantine-fault-tolerant service protocols like Q/U and FaB Paxos that optimistically order requests can provide increased efficiency and fault scalability. However, these protocol...
Michael G. Merideth, Michael K. Reiter
CCECE
2006
IEEE
16 years 19 days ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner