29082 search results - page 67 / 5817 » The Time-Triggered Model of Computation |
CSE
2008
IEEE
13 years 8 months ago
2008
IEEE
LOGCOM
2008
13 years 8 months ago
2008
We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a c...
IPPS
1998
IEEE
14 years 8 days ago
1998
IEEE
Experimental data validating some of the proposed parallel computation models on the Intel Paragon is presented. This architecture is characterized by a large bandwidth and a rela...
CIS
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents a high performance service based mobile agent computation model. The scalability and reliability of this model is secured through the service clone policy and a...
COMPUTER
2002
13 years 7 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...