5591 search results - page 721 / 1119 » Design patterns: between programming and software design |
228
click to vote
PAMI
2012
13 years 9 months ago
2012
—The problem of automatic and optimal design of embedded object detector cascades is considered. Two main challenges are identified: optimization of the cascade configuration and...
153
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Recent advances in programming environments have focused on improving programmer productivity by utilizing the inherent structure in computer programs. However, because these envi...
177
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A program that uses incremental computation is able to...
196
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
211
click to vote
CL
2007
Springer
15 years 6 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...