2335 search results - page 358 / 467 » Functional Differentiation of Computer Programs |
108
Voted
AGP
1997
IEEE
15 years 6 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
123
Voted
ISLPED
1996
ACM
15 years 6 months ago
1996
ACM
We present a dynamic programming technique for solving the multiple supply voltage scheduling problem in both nonpipelined and functionally pipelined data-paths. The scheduling pro...
PNPM
1989
15 years 6 months ago
1989
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...
107
click to vote
EUPROJECTS
2006
Springer
15 years 6 months ago
2006
Springer
This paper examines problems persons with deafblindness have when using computers and it analyses how we can approach these problems in the redesign of a communication tool. A qual...
132
Voted
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
A genetic algorithm for the longest common subsequence problem encodes candidate sequences as binary strings that indicate subsequences of the shortest or first string. Its fitnes...