5377 search results - page 680 / 1076 » Programming Languages For Interactive Computing |
130
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
181
click to vote
HVC
2007
Springer
15 years 9 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
140
click to vote
PPDP
2000
Springer
15 years 8 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
148
click to vote
CDES
2008
15 years 6 months ago
2008
- The Cell Matrix Architecture is a massive array of dynamically self-configurable, uniformly connected, identical computational units. This architecture can enable efficient, prac...
155
click to vote
TCS
2011
15 years 19 hour ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...