6274 search results - page 908 / 1255 » Proofs, Programs, Processes |
119
Voted
COORDINATION
2005
Springer
15 years 9 months 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 ...
119
Voted
CP
2005
Springer
15 years 9 months 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...
156
Voted
DSVIS
2005
Springer
15 years 9 months 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...
130
click to vote
EGH
2005
Springer
15 years 9 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...
126
Voted
FPGA
2005
ACM
15 years 9 months 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...