988 search results - page 50 / 198 » The Frontiers of Data Programmability |
110
Voted
ENTCS
2008
15 years 3 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
125
Voted
CN
1998
15 years 3 months ago
1998
We propose a new approach to programming web applications that increases the web's computational power, the web's flexibility, and web programmer productivity. Whereas w...
127
Voted
EGH
2009
Springer
15 years 1 months ago
2009
Springer
The latest generation of graphics hardware provides direct access to multisample anti-aliasing (MSAA) rendering data. By taking advantage of these existing pixel subsample values,...
97
Voted
MSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Tools have been developed that enable in-circuit testing of content processing hardware. The tools automate test and verification of new circuits using data from a predefined te...
120
Voted
CSCW
2006
ACM
15 years 9 months ago
2006
ACM
Groupware communicates by sending messages across the network, and groupware programmers use a variety of formats for these messages, such as XML, plain text, or serialized object...