1888 search results - page 307 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
231
click to vote
ICDE
2005
IEEE
16 years 6 months ago
2005
IEEE
Skewis prevalentin manydata sourcessuchas IP traffic streams. To continually summarize the distribution of such data, a highbiased set of quantiles (e.g., 50th, 90th and 99th perc...
129
click to vote
PODS
2006
ACM
16 years 5 months ago
2006
ACM
Recently proposed form-based web information systems liberate the capture and reuse of data in organizations by substituting the development of technical implementations of electr...
134
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
131
click to vote
SASP
2008
IEEE
15 years 11 months ago
2008
IEEE
— Matrix inversion is a common function found in many algorithms used in wireless communication systems. As FPGAs become an increasingly attractive platform for wireless communic...
143
click to vote
ISESE
2005
IEEE
15 years 10 months ago
2005
IEEE
During software evolution, programmers spend a lot of time and effort in the comprehension of the internal code structure. Such an activity is often required because the available...