Sciweavers

4764 search results - page 377 / 953
» Applications of Error-Control Coding
Sort
View
SC
2004
ACM
15 years 8 months ago
Scalable Line Dynamics in ParaDiS
We describe an innovative highly parallel application program, ParaDiS, which computes the plastic strength of materials by tracing the evolution of dislocation lines over time. W...
Vasily Bulatov, Wei Cai, Jeff Fier, Masato Hiratan...
APN
2004
Springer
15 years 8 months ago
An Extensible Editor and Simulation Engine for Petri Nets: Renew
Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration...
Olaf Kummer, Frank Wienberg, Michael Duvigneau, J&...
XPU
2004
Springer
15 years 8 months ago
Generative Acceptance Testing for Difficult-to-Test Software
Abstract. While there are many excellent acceptance testing tools and frameworks available today, this paper presents an alternative approach, involving generating code from tests ...
Jennitta Andrea
FIDJI
2003
Springer
15 years 8 months ago
Model Generation for Distributed Java Programs
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
Rabéa Boulifa, Eric Madelaine
CCGRID
2002
IEEE
15 years 8 months ago
The gSOAP Toolkit for Web Services and Peer-to-Peer Computing Networks
This paper presents the gSOAP stub and skeleton compiler. The compiler provides a unique SOAP-to-C/C++ language binding for deploying C/C++ applications in SOAP Web Services, clie...
Robert van Engelen, Kyle Gallivan