1675 search results - page 198 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
126
click to vote
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
187
click to vote
JAVACARD
2000
15 years 7 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
120
click to vote
COR
2006
15 years 4 months ago
2006
The objective of the present paper is to select the best compromise irrigation planning strategy for the case study of Jayakwadi irrigation project, Maharashtra, India. Four-phase...
150
click to vote
EPK
2004
15 years 5 months ago
2004
: This paper presents an approach to map EPC business process models available in EPML to Scalable Vector Graphics (SVG) and websites. This mapping has been implemented as an XSLT ...
165
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Since experimental determination of protein folding pathways remains difficult, computational techniques are often used to simulate protein folding. Most current techn...