5591 search results - page 239 / 1119 » Design patterns: between programming and software design |
158
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...
138
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...
147
Voted
ICRA
1999
IEEE
15 years 9 months ago
1999
IEEE
Developing automated assembly systems normally happens in two distinct stages: rst an o -line" stage in which the system is designed and programmed in simulated and then an o...
199
click to vote
TVLSI
2010
15 years 4 days ago
2010
Program code in a computer system can be altered either by malicious security attacks or by various faults in microprocessors. At the instruction level, all code modifications are ...
208
click to vote
WOSP
1998
ACM
15 years 9 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...