6960 search results - page 265 / 1392 » Continuity Analysis of Programs |
142
click to vote
ICAS
2006
IEEE
15 years 10 months ago
2006
IEEE
By harnessing computational power of distributed heterogeneous resources, it is possible to build a large scale integrated system so that a centralized program is partitioned and ...
132
click to vote
FOAL
2007
ACM
15 years 7 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
128
Voted
CSREAESA
2004
15 years 5 months ago
2004
In this paper we present an approach to the optimisation of interpreted Java programs using superinstructions. Unlike existing techniques, we examine the feasibility of identifying...
127
Voted
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
120
click to vote
ASSETS
1998
ACM
15 years 8 months ago
1998
ACM
We are building an aid for individuals with hearing impairments which converts continuous speech into an animated visual display. A speech analysis system continuously estimates p...