1128 search results - page 128 / 226 » Dynamic Communication Models in Embedded System Co-Simulatio... |
TCS
2008
14 years 9 months ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
IEEECIT
2006
IEEE
15 years 3 months ago
2006
IEEE
Runtime modification of kernel code is a difficult problem. However, the need of modifiable kernel is increasing because new requirements and services that are unanticipated at th...
VLDB
2005
ACM
15 years 3 months ago
2005
ACM
A significant amount of information is stored in computer systems today, but people are struggling to manage their documents such that the information is easily found. XML is a de...
ARGMAS
2004
Springer
15 years 1 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
ARCS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we present a partial bitstreams ultra-fast downloading process through a standard Ethernet network. These Virtex-based and partially reconfigurable systems...