Sciweavers

5159 search results - page 607 / 1032
» Structural Testing of Executables
Sort
View
ACMICEC
2008
ACM
255views ECommerce» more  ACMICEC 2008»
15 years 9 months ago
Business strategy-IT alignment in a multi-actor setting: a mobile e-service case
In this paper we present a framework and methodology for aligning the business strategy and IT/IS for an organization offering an e-service in a multi-organizational setting. We e...
Vincent Pijpers, Jaap Gordijn, Hans Akkermans
CASES
2008
ACM
15 years 9 months ago
Control flow optimization in loops using interval analysis
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau
207
Voted
ASPDAC
2005
ACM
106views Hardware» more  ASPDAC 2005»
15 years 9 months ago
Using loop invariants to fight soft errors in data caches
Ever scaling process technology makes embedded systems more vulnerable to soft errors than in the past. One of the generic methods used to fight soft errors is based on duplicati...
Sri Hari Krishna Narayanan, Seung Woo Son, Mahmut ...
DAC
2005
ACM
15 years 9 months ago
Smart diagnostics for configurable processor verification
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
Sadik Ezer, Scott Johnson
DAC
2005
ACM
15 years 9 months ago
Unified high-level synthesis and module placement for defect-tolerant microfluidic biochips
Microfluidic biochips promise to revolutionize biosensing and clinical diagnostics. As more bioassays are executed concurrently on a biochip, system integration and design complex...
Fei Su, Krishnendu Chakrabarty