Sciweavers

5639 search results - page 470 / 1128
» Timed Abstract Non-interference
Sort
View
APLAS
2009
ACM
16 years 1 months ago
Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation
We present a simple algorithmic extension of the classical call-strings approach to mitigate substantial performance degradation caused by spurious interprocedural cycles. Spuriou...
Hakjoo Oh
212
Voted
BIBM
2008
IEEE
159views Bioinformatics» more  BIBM 2008»
16 years 1 months ago
Probe Design for Compressive Sensing DNA Microarrays
Abstract—Compressive Sensing Microarrays (CSM) are DNAbased sensors that operate using group testing and compressive sensing (CS) principles. In contrast to conventional DNA micr...
Wei Dai, Olgica Milenkovic, Mona A. Sheikh, Richar...
153
Voted
TRIDENTCOM
2008
IEEE
16 years 1 months ago
A flexible dual frequency testbed for RFID
This paper presents the setup of a testbed developed for the fast evaluation of RFID systems in two frequency domains. At the one hand the 13.56 MHz and at the other hand the 868 ...
Christoph Angerer, Martin Holzer 0002, Bastian Kne...
162
Voted
DSD
2007
IEEE
116views Hardware» more  DSD 2007»
16 years 1 months ago
Evaluating the Model Accuracy in Automated Design Space Exploration
Design space exploration is used to shorten the design time of System-on-Chips (SoCs). The models used in the exploration need to be both accurate and fast to simulate. This paper...
Kalle Holma, Mikko Setälä, Erno Salminen...
AE
2007
Springer
16 years 1 months ago
An Evolutionary Algorithm for the Block Stacking Problem
Abstract. How has a stack of n blocks to be arranged in order to maximize its overhang over a table edge while being stable? This question can be seen as an example application for...
Tim Hohm, Matthias Egli, Samuel Gaehwiler, Stefan ...