7124 search results - page 1189 / 1425 » Programming Languages and Operating Systems |
168
click to vote
BIRTHDAY
2005
Springer
16 years 4 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
152
click to vote
CC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
180
click to vote
CSL
2005
Springer
16 years 4 days ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
193
click to vote
DCOSS
2005
Springer
16 years 4 days ago
2005
Springer
The widespread dissemination of small-scale sensor nodes has sparked interest in a powerful new database abstraction for sensor networks: Clients “program” the sensors through ...
171
click to vote
EGH
2005
Springer
16 years 4 days 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...