Sciweavers

5241 search results - page 924 / 1049
» Embedded Programming with C
Sort
View
MICRO
1998
IEEE
111views Hardware» more  MICRO 1998»
14 years 1 months ago
Precise Register Allocation for Irregular Architectures
This paper proposes a precise approach to register allocation for irregular-register architectures which is based on 0-1 integer programming (IP). Prior work shows that IP registe...
Timothy Kong, Kent D. Wilken
WOWMOM
1998
ACM
106views Multimedia» more  WOWMOM 1998»
14 years 1 months ago
A Systems Approach to Prediction, Compensation and Adaptation in Wireless Networks
This paper presents a framework for provisioning application and channel dependent quality of service in wireless networks. The framework is based on three di erent adaptation mec...
Javier Gomez, Andrew T. Campbell, Hiroyuki Morikaw...
FMCAD
1998
Springer
14 years 1 months ago
Symbolic Simulation: An ACL2 Approach
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
J. Strother Moore
RECOMB
1998
Springer
14 years 1 months ago
A polyhedral approach to RNA sequence structure alignment
Ribonucleic acid (RNA) is a polymer composed of four bases denoted A, C, G, and U. It is a generally single-stranded molecule where the bases form hydrogen bonds within the same m...
Hans-Peter Lenhof, Knut Reinert, Martin Vingron
IPPS
1997
IEEE
14 years 1 months ago
Semantics and Implementation of a Generalized forall Statement for Parallel Languages
In this paper we present a generalized forall statement for parallel languages. The forall statement occurs in many (data) parallel languages and specifies which computations can...
Paul Dechering, Leo C. Breebaart, Frits Kuijlman, ...