Sciweavers

1652 search results - page 166 / 331
» Integration in Real PCF
Sort
View
HPCN
1997
Springer
15 years 9 months ago
Performance Evaluation of HPCN Applications
The performance attained by parallel programs executed on multiprocessor systems is largely in uenced both by the characteristics of the code and by those of the system architectu...
Alessandro P. Merlo
145
Voted
VISUALIZATION
1994
IEEE
15 years 9 months ago
Visualizing 3D Velocity Fields Near Contour Surfaces
Vector field rendering is difficult in 3D because the vector icons overlap and hide each other. We propose four different techniques for visualizing vector fields only near surfac...
Nelson L. Max, Roger Crawfis, Charles Grant
149
Voted
ECAI
1994
Springer
15 years 9 months ago
Belief Revision in Multi-Agent Systems
The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distribute...
Benedita Malheiro, Nicholas R. Jennings, Eugenio O...
FMCAD
2007
Springer
15 years 8 months ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
HPCC
2007
Springer
15 years 8 months ago
Resource Aggregation and Workflow with Webcom
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
Oisín Curran, Paddy Downes, John Cunniffe, ...