988 search results - page 103 / 198 » The Frontiers of Data Programmability |
95
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
119
click to vote
RSP
2005
IEEE
15 years 6 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
112
click to vote
MSR
2005
ACM
15 years 6 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
103
Voted
EGH
2005
Springer
15 years 6 months ago
2005
Springer
The growing application of user-defined programs within graphics processing units (GPUs) has transformed the fixed-function display pipeline into a largely programmable pipeline...
76
Voted
IBPRIA
2005
Springer
15 years 6 months ago
2005
Springer
In the last decade, consumer graphics cards have increased their power because of the computer games industry. These cards are now programmable and capable of processing huge amoun...