3736 search results - page 419 / 748 » Generative Programming |
157
click to vote
MM
2003
ACM
15 years 10 months ago
2003
ACM
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...
165
click to vote
SOUPS
2009
ACM
15 years 11 months ago
2009
ACM
Abstract: Today, most Internet applications still establish user authentication with traditional text based passwords. Designing a secure as well as a user-friendly password-based ...
130
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
152
click to vote
PLDI
2004
ACM
15 years 10 months ago
2004
ACM
Graph-coloring register allocation is an elegant and extremely popular optimization for modern machines. But as currently formulated, it does not handle two characteristics common...
148
Voted
MASCOTS
1998
15 years 6 months ago
1998
A common shortcoming of many network measurement programs is that their metrics are not expressed in terms directly applicable to applications and users. To address this problem, ...