97 search results - page 7 / 20 » Computer Algebra System Maple: A New Software Library |
DSN
2002
IEEE
13 years 11 months ago
2002
IEEE
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inpu...
FM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
DATE
2006
IEEE
14 years 24 days ago
2006
IEEE
— Embedded multiprocessors pose new challenges in the design and implementation of embedded software. This has led to the need for programming interfaces that expose the capabili...
IMCSIT
2010
13 years 4 months ago
2010
Abstract--There are numerous formats for writing spellcheckers for open-source systems and there are many descriptions for languages written in these formats. Similarly, for word h...
CPHYSICS
2007
13 years 6 months ago
2007
A new software code for computing selected eigenvalues and associated eigenvectors of a real symmetric matrix is described. The eigenvalues are either the smallest or those closes...