988 search results - page 50 / 198 » The Frontiers of Data Programmability |
ENTCS
2008
15 years 19 days 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...
102
Voted
CN
1998
15 years 7 days 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...
EGH
2009
Springer
14 years 10 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,...
75
Voted
MSE
2005
IEEE
15 years 6 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...
93
Voted
CSCW
2006
ACM
15 years 6 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...