Sciweavers

10916 search results - page 292 / 2184
» On Constructive Connectives and Systems
Sort
View
FPGA
1998
ACM
142views FPGA» more  FPGA 1998»
15 years 11 months ago
A Hybrid Complete-Graph Partial-Crossbar Routing Architecture for Multi-FPGA Systems
Multi-FPGA systems (MFSs) are used as custom computing machines, logic emulators and rapid prototyping vehicles. A key aspect of these systems is their programmable routing archit...
Mohammed A. S. Khalid, Jonathan Rose
ISOLA
2010
Springer
15 years 5 months ago
Towards an Architecture for Runtime Interoperability
Abstract. Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computi...
Amel Bennaceur, Gordon S. Blair, Franck Chauvel, G...
CASC
2005
Springer
202views Mathematics» more  CASC 2005»
16 years 10 days ago
Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials
The behavior of the Cayley-Dixon resultant construction and the structure of Dixon matrices are analyzed for composed polynomial systems constructed from a multivariate system in w...
Arthur D. Chtcherba, Deepak Kapur, Manfred Minimai...
FORTE
2007
15 years 8 months ago
Recovering Repetitive Sub-functions from Observations
This paper proposes an algorithm which, given a set of observations of an existing concurrent system that has repetitive subfunctions, constructs a Message Sequence Charts (MSC) gr...
Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hü...
RTAS
2000
IEEE
15 years 10 months ago
Policing Offloaded
Policing of incoming packets can produce very high load in worst-case situations on a receiving computer. In realtime systems, resources must be allocated for such worstcase situa...
Uwe Dannowski, Hermann Härtig