1312 search results - page 16 / 263 » Quantitative Comparison of Languages |
EUNIS
2001
15 years 4 months ago
2001
Since 1993 we compile and publish twice a year a list of the mostpowerful supercomputers in the world. In this article we compare the situation of High-Performance Computing (HPC)...
110
click to vote
ICIP
2010
IEEE
15 years 1 months ago
2010
IEEE
The detection of architectural distortions and abnormal structures in mammographic images can be based on the analysis of bilateral and temporal cases using image registration. Th...
124
click to vote
VTC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— A well-known concept to adapt the transmitted payload to the current channel capacity is to perform segmentation of the uncoded user payload. In [1], a new cross layera...
144
Voted
IANDC
2011
14 years 10 months ago
2011
We present a systematic way to generate (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of quantitative ...
132
click to vote
SAC
2005
ACM
15 years 8 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...