6248 search results - page 187 / 1250 » Programming in a data factory |
158
click to vote
JLP
2002
15 years 6 months ago
2002
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...
157
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
182
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Vision algorithms utilizing camera networks with a common field of view are becoming increasingly feasible and important. Calibration of such camera networks is a challenging and ...
165
click to vote
CBMS
2009
IEEE
16 years 1 months ago
2009
IEEE
Given the heterogeneity of healthcare software systems, data from each system is often incompatible inhibiting interoperability. To enable the sharing and exchange of healthcare i...
153
click to vote
SAS
2007
Springer
16 years 19 days ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...