Sciweavers

784 search results - page 29 / 157
» The logic of tasks
Sort
View
SP
2002
IEEE
147views Security Privacy» more  SP 2002»
13 years 8 months ago
CX: A scalable, robust network for parallel computing
CX, a network-based computational exchange, is presented. The system's design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks...
Peter R. Cappello, Dimitros Mourloukos
KI
1995
Springer
14 years 14 days ago
What Is a Skeptical Proof?
Abstract. We investigate the task of skeptically reasoning in extensionbased, nonmonotonic logics by concentrating on general argumentation theories. The restricted applicability o...
Michael Thielscher
FDL
2003
IEEE
14 years 2 months ago
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
Mauricio Ayala-Rincón, Ricardo P. Jacobi, C...
SBCCI
2003
ACM
135views VLSI» more  SBCCI 2003»
14 years 2 months ago
Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
Mauricio Ayala-Rincón, Rodrigo B. Nogueira,...
HICSS
2002
IEEE
126views Biometrics» more  HICSS 2002»
14 years 1 months ago
Development of a Decision Logic to Support Group Improvisation: An Application to Emergency Response
This paper reviews recent progress in the development of a computer-based system for supporting improvised group decision making in risky, time-constrained situations. One goal of...
David Mendonça, William A. Wallace