Sciweavers

7430 search results - page 901 / 1486
» Programming Applications in CIFF
Sort
View
CA
2003
IEEE
16 years 1 months ago
XSTEP: A Markup Language for Embodied Agents
In this paper we propose an XML-based markup language, called XSTEP, for embodied agents, based on the scripting language STEP. XSTEP is the XML-based successor of STEP. The scrip...
Zhisheng Huang, Anton Eliëns, Cees T. Visser
CLUSTER
2003
IEEE
16 years 1 months ago
Performance Analysis of Java Message-Passing Libraries on Fast Ethernet, Myrinet and SCI Clusters
The use of Java for parallel programming on clusters according to the message-passing paradigm is an attractive choice. In this case, the overall application performance will larg...
Guillermo L. Taboada, Juan Touriño, Ramon D...
IAW
2003
IEEE
16 years 1 months ago
Static Verification of Worm and virus Behavior in binary Executables using Model Checking
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Prabhat K. Singh, Arun Lakhotia
IPPS
2003
IEEE
16 years 1 months ago
Semi-Structured Portable Library for Multiprocessor Servers
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...
Georgios Tsilikas, Martin Fleury
IEEEAMS
2002
IEEE
16 years 19 days ago
The Design and Implementation of the A2QM3 System
In this paper we present the design, architecture and implementation of the A2QM3 System. It provides programmers re-usable QoS-aware Control Objects to enable building a complete...
Balázs Csizmazia, Hermann Hellwagner