2853 search results - page 247 / 571 » On Coherence in Computer Algebra |
126
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Total Order Broadcast protocols are important tools to ensure coherence across distributed systems. Contrarily to classical distributed systems, pervasive systems bring important ...
197
click to vote
CGF
2011
14 years 8 months ago
2011
The SQuad data structure represents the connectivity of a triangle mesh by its “S table” of about 2 rpt (integer references per triangle). Yet it allows for a simple implement...
138
click to vote
SIGCOMM
2012
ACM
13 years 7 months ago
2012
ACM
There has been a great interest in defining a new network architecture that can meet the needs of a future Internet. One of the main challenges in this context is how to realize ...
157
click to vote
CIE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present transformations of linearly ordered sets into ordered abelian groups and ordered fields. We study effective properties of the transformations. In particular, w...
143
click to vote
FOSSACS
2010
Springer
15 years 12 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...