Sciweavers

3454 search results - page 208 / 691
» Modern computer algebra
Sort
View
ISSAC
1997
Springer
105views Mathematics» more  ISSAC 1997»
15 years 10 months ago
Guarded Expressions in Practice
Computer algebra systems typically drop some degenerate cases when evaluating expressions, e.g., x=x becomes 1 dropping the case x = 0. We claim that it is feasible in practice to...
Andreas Dolzmann, Thomas Sturm
JSC
2007
119views more  JSC 2007»
15 years 6 months ago
Equisingular calculations for plane curve singularities
We present an algorithm which, given a deformation with section of a reduced plane curve singularity, computes equations for the equisingularity stratum (that is, the µ-constant s...
Antonio Campillo, Gert-Martin Greuel, Christoph Lo...
BIRTHDAY
2009
Springer
16 years 1 months ago
Algorithms for Energy Saving
Energy has become a scarce and expensive resource. There is a growing awareness in society that energy saving is a critical issue. This paper surveys algorithmic solutions to reduc...
Susanne Albers
GI
2008
Springer
15 years 7 months ago
Explicit Language and Infrastructure Support for Context-aware Services
: Dealing with context information is an important concern for mobile service computing. However, modern frameworks and programming languages do not directly support context-depend...
Malte Appeltauer, Robert Hirschfeld
IPPS
2009
IEEE
16 years 1 months ago
Compiler-enhanced incremental checkpointing for OpenMP applications
As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety ...
Greg Bronevetsky, Daniel Marques, Keshav Pingali, ...