3330 search results - page 217 / 666 » software 2010 |
AOSD
2010
ACM
14 years 5 months ago
2010
ACM
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...
DSS
2007
13 years 11 months ago
2007
To facilitate the analysis of real and simulated data on groups, organizations and societies, tools and measures are needed that can handle relational or network data that is mult...
BC
2010
13 years 8 months ago
2010
We present two alternative mappings between a macroscopic neural mass model and a reduction of a conductance-based model. These provide possible explanations of the relationship b...
ENTCS
2010
13 years 8 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
TC
2010
13 years 5 months ago
2010
Using a general polynomial approximation approach, we present an arithmetic library generator for the logarithmic number system (LNS). The generator produces optimized LNS arithmet...