4460 search results - page 738 / 892 » Resources in process algebra |
145
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract. To achieve an efficient utilization of cluster systems, a proper programming and operating environment is required. In this context, mobile agents are of growing interes...
178
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
152
click to vote
PG
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents an implementation of Forward Looking Infrared (FLIR) and Laser Radar (LADAR) data simulation for use in developing a multi-sensor datafusion automated target r...
150
click to vote
CIA
2000
Springer
15 years 10 months ago
2000
Springer
Recent years have seen dramatic and sustained growth in the amount of genomic data being generated, including in late 1999 the first complete sequence of a human chromosome. The c...
157
click to vote
FCCM
1999
IEEE
15 years 10 months ago
1999
IEEE
Technology scaling of CMOS processes brings relatively faster transistors (gates) and slower interconnects (wires), making viable the addition of reconfigurability to increase per...