Sciweavers

6348 search results - page 174 / 1270
» Extensible control architectures
Sort
View
CIE
2009
Springer
15 years 11 months ago
Dialectica Interpretation with Fine Computational Control
This paper is an attempt to refine Hernest’s [2] extension of Berger’s uniform quantifiers [1] to G¨odel’s functional (Dialectica) interpretation [3]. We consider the poss...
Trifon Trifonov
COMPSAC
2002
IEEE
15 years 9 months ago
The Architecture of a Dynamically Updatable, Component-Based System
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...
Robert Pawel Bialek
DEBS
2010
ACM
15 years 6 months ago
An RFID architecture based on an event-oriented component model
In this paper we present a modular, flexible and extensible RFID middleware architecture. The functionalities needed by an RFID middleware are already well studied, also there exi...
Gabriel Pedraza, Issac García, Bassem Debba...
DSRT
2003
IEEE
15 years 9 months ago
An Agent Architecture for Network Support of Distributed Simulation Systems
Continued research into distributed agent-based systems and evolving web based technologies are opening up tremendous possibilities for the deployment of large scale and highly ex...
Robert Simon, Woan Sun Chang, J. Mark Pullen
TPDS
2010
144views more  TPDS 2010»
15 years 2 months ago
Performance Evaluation of Dynamic Speculative Multithreading with the Cascadia Architecture
—Thread-level parallelism (TLP) has been extensively studied in order to overcome the limitations of exploiting instruction-level parallelism (ILP) on high-performance superscala...
David A. Zier, Ben Lee