Sciweavers

3750 search results - page 532 / 750
» Code Optimization for Code Compression
Sort
View
131
Voted
IFL
2005
Springer
107views Formal Methods» more  IFL 2005»
15 years 9 months ago
With-Loop Fusion for Data Locality and Parallelism
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
Clemens Grelck, Karsten Hinckfuß, Sven-Bodo ...
125
Voted
GI
2004
Springer
15 years 9 months ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
DATE
2003
IEEE
109views Hardware» more  DATE 2003»
15 years 9 months ago
Data Space Oriented Scheduling in Embedded Systems
With the widespread use of embedded devices such as PDAs, printers, game machines, cellular telephones, achieving high performance demands an optimized operating system (OS) that ...
Mahmut T. Kandemir, Guangyu Chen, Wei Zhang 0002, ...
ICMCS
2000
IEEE
109views Multimedia» more  ICMCS 2000»
15 years 8 months ago
Source-Channel Matching Space-Time Diversity for Multimedia Communications
A source-channel matching space-time diversity technique is presented for reliable delivery of layer coded multimedia services through wireless channels. The transmission system i...
Haitao Zheng, K. J. Ray Liu
118
Voted
FSE
1997
Springer
81views Cryptology» more  FSE 1997»
15 years 8 months ago
XMX: A Firmware-Oriented Block Cipher Based on Modular Multiplications
Abstract. This paper presents xmx, a new symmetric block cipher optimized for public-key libraries and microcontrollers with arithmetic coprocessors. xmx has no S-boxes and uses on...
David M'Raïhi, David Naccache, Jacques Stern,...