3056 search results - page 53 / 612 » Open Implementation Analysis and Design |
107
Voted
ISSAC
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we describe the design of a C library named PTPol implementing arithmetic operations for univariate polynomials and report on practical experiments showing the rele...
109
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
136
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: In the post-genome era, most research scientists working in the field of proteomics are confronted with difficulties in management of large volumes of data, which they...
113
Voted
JCIT
2007
15 years 2 months ago
2007
M-commerce is one of the ways IT can significantly contribute to boosting economy of the developing countries. M-commerce project has a high potential in the developing countries ...
120
Voted
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Electric Power Systems (EPS) become more and more critical for our society, since they provide vital services for the human activities. At the same time, obtaining dependable beha...