3706 search results - page 340 / 742 » The Transformational Approach to Program Development |
132
Voted
ICFP
2002
ACM
16 years 3 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...
148
Voted
NDSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...
117
Voted
CG
2006
Springer
15 years 7 months ago
2006
Springer
While recently the strength of chess-playing programs has grown immensely, their capability of explaining in human understandable terms why some moves are good or bad has enjoyed l...
117
click to vote
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
135
click to vote
FPGA
1995
ACM
15 years 7 months ago
1995
ACM
During the development of computer peripherals which interface to the processor via the system bus it is often necessary to acquire the signals on the bus at the hardware level. I...