2958 search results - page 227 / 592 » Extending and Implementing RASP |
IPPS
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper describes our progress in creating a case study on optimistic computing for the Grid using parallel mesh generation. For the implementation of both methods we will be u...
ISCAS
2003
IEEE
14 years 4 months ago
2003
IEEE
Maximum Likelihood estimation theory can be used to develop optimal timing recovery schemes for digital communication systems. Tunable digital interpolation filters are commonly ...
IWPC
2003
IEEE
14 years 4 months ago
2003
IEEE
The paper presents a software visualization application-framework that utilizes a variety of 3D metaphors to represent large software system and related analysis data. The 3D repr...
QSIC
2003
IEEE
14 years 4 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
SCAM
2003
IEEE
14 years 4 months ago
2003
IEEE
We characterise a computational model for processing annotated parse trees. The model is basically rewriting-based with specific provisions for dealing with annotations along the...