6274 search results - page 908 / 1255 » Proofs, Programs, Processes |
160
click to vote
COORDINATION
2005
Springer
16 years 7 days ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
159
click to vote
CP
2005
Springer
16 years 7 days ago
2005
Springer
Conditional symmetry arises in a sub-problem of a constraint satisfaction problem, where the sub-problem satisfies some condition under which additional symetries hold. Typically...
196
click to vote
DSVIS
2005
Springer
16 years 7 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
177
click to vote
EGH
2005
Springer
16 years 7 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...
169
click to vote
FPGA
2005
ACM
16 years 7 days ago
2005
ACM
We present an automatic logic synthesis method targeted for highperformance asynchronous FPGA (AFPGA) architectures. Our method transforms sequential programs as well as high-leve...