Sciweavers

707 search results - page 102 / 142
» Some Comments on the Coding of Programs
Sort
View
IWPC
1999
IEEE
15 years 4 months ago
Comprehension with[in] Virtual Environment Visualisations
For many years basic visualisation, based around simple boxes and lines, has been done in an attempt to be able to ease some of the cognitive overload caused by program comprehens...
Claire Knight, Malcolm Munro
MAS
1998
Springer
153views Communications» more  MAS 1998»
15 years 4 months ago
Authentication for Mobile Agents
In mobile agent systems, program code together with some process state can autonomously migrate to new hosts. Despite its many practical benefits, mobile agent technology results i...
Shimshon Berkovits, Joshua D. Guttman, Vipin Swaru...
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
15 years 4 months ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
119
Voted
SNPD
2003
15 years 1 months ago
Stream Processing on the Grid: an Array Stream Transforming Language
Specific requirements of stream processing on the Grid are discussed. We argue that when the stream processing paradigm is used for cluster computing, the processing components c...
Alexander V. Shafarenko
DYNAMO
2000
110views more  DYNAMO 2000»
15 years 1 months ago
Machine-adaptable dynamic binary translation
Dynamic binary translation is the process of translating and optimizing executable code for one machine to another at runtime, while the program is "executing" on the ta...
David Ung, Cristina Cifuentes