2251 search results - page 74 / 451 » Specification and Implementation Problems for C |
128
click to vote
CARDIS
2008
Springer
15 years 5 months ago
2008
Springer
In recent years more and more security sensitive applications use passive smart devices such as contactless smart cards and RFID tags. Cost constraints imply a small hardware footp...
140
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper is motivated by the desire to provide an efficient and scalable software cache implementation of OpenMP on multicore and manycore architectures in general, and...
182
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
122
Voted
CCE
2004
15 years 3 months ago
2004
: This paper describes the implementation of a meta-heuristic optimization approach, Tabu Search (TS), for Heat Exchanger Networks (HEN) synthesis and compares this approach to oth...
126
Voted
SIAMNUM
2011
14 years 10 months ago
2011
A simultaneous space-time variational formulation of a parabolic evolution problem is solved with an adaptive wavelet method. This method is shown to converge with the best possibl...