2335 search results - page 332 / 467 » Functional Differentiation of Computer Programs |
116
click to vote
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
The recovery of writing trajectory from offline handwritten image is generally regarded as a difficult problem [1]. This paper introduced a method to recover the writing trajector...
127
click to vote
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...
139
Voted
PDP
2009
IEEE
15 years 9 months ago
2009
IEEE
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
124
Voted
COORDINATION
2009
Springer
15 years 9 months ago
2009
Springer
Joins or chords is a concurrency construct that seems to fit well with the object oriented paradigm. Chorded languages are presented with implicit assumptions regarding the fair t...
123
click to vote
CSIE
2009
IEEE
15 years 9 months ago
2009
IEEE
The tendency for Non-Functional Requirements (NFRs) to have a wide-ranging impact on a software system, and the strong interdependencies and tradeoffs that exist between NFRs and ...