3388 search results - page 115 / 678 » Type-theoretic design patterns |
127
click to vote
TOOLS
1997
IEEE
15 years 9 months ago
1997
IEEE
We describe how to express homomorphic translations with an object-oriented design. This includes a uniform approach to the addition of external functionality to data structures. ...
180
Voted
APAQS
2001
IEEE
15 years 8 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
143
Voted
ERCIMDL
2003
Springer
15 years 10 months ago
2003
Springer
Many readers annotate passages that are important to their work. If we understand the relationship between the types of marks on a passage and the passage’s ultimate utility in a...
121
click to vote
HICSS
2009
IEEE
15 years 12 months ago
2009
IEEE
Most software-intensive systems rely on a componentbased design and are therefore made up of encapsulated structural units which are hierarchically composed of one another. In thi...
160
click to vote
IJCNN
2007
IEEE
15 years 11 months ago
2007
IEEE
—The paper presents a silicon neuron circuit that mimics the behaviour of known classes of biological neurons. The circuit has been designed in a 0.35µm CMOS technology. The fir...