2853 search results - page 266 / 571 » On Coherence in Computer Algebra |
119
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We report on our experiences in redesigning Scala’s collection libraries, focussing on the role that type systems play in keeping software architectures coherent over time. Type ...
156
Voted
ICTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
135
Voted
MFCS
2005
Springer
15 years 10 months ago
2005
Springer
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
106
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper studies the performance of selected chaos-based communication systems whose spectrum overlaps with that of conventional narrowband systems. Such a scenario may occur in...
148
click to vote
PAAMS
2010
Springer
15 years 9 months ago
2010
Springer
Applications that operate in highly dynamic environments must deal with real-time changes of circumstances in order to be consistent and coherent. In this work, we propose an exten...