2853 search results - page 277 / 571 » On Coherence in Computer Algebra |
130
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
d Abstract) Gordon Plotkin1, LFCS, School of Informatics, University of Edinburgh, UK. The application of ideas from universal algebra to computer science has long been a major the...
185
click to vote
ISARCS
2010
15 years 6 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
158
click to vote
DOLAP
2008
ACM
15 years 6 months ago
2008
ACM
The development of data warehouses is based on a threestage process that starts specifying both the static and dynamic properties of on-line analytical processing (OLAP) applicati...
178
click to vote
VIS
2009
IEEE
16 years 5 months ago
2009
IEEE
Abstract--In this paper we present a method for vortex core line extraction which operates directly on the smoothed particle hydrodynamics (SPH) representation and, by this, genera...
143
Voted
IEEEPACT
2008
IEEE
15 years 11 months ago
2008
IEEE
Both commercial and scientific workloads benefit from concurrency and exhibit data sharing across threads/processes. The resulting sharing patterns are often fine-grain, with t...