3836 search results - page 89 / 768 » Optimizing the Use of High Performance Software Libraries |
130
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
We combine interactive evolutionary computation (IEC) with existing evolutionary synthesis software for the design of micromachined resonators and evaluate its effectiveness using...
149
Voted
ASAP
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper reviews a set of techniques for compiling dataflow-based, graphical programs for embedded signal processing applications into efficient implementations on programmable ...
139
click to vote
HIPEAC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In transactional memory, aborted transactions reduce performance, and waste computing resources. Ideally, concurrent execution of transactions should be optimally ordered...
125
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
This paper provides an objective evaluation of the performance impacts of binary XML encodings, using a fast stream-based XQuery processor as our representative application. Inste...
133
click to vote
SIGSOFT
1996
ACM
15 years 7 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...