Sciweavers

5838 search results - page 543 / 1168
» A File System for System Programming in Ubiquitous Computing
Sort
View
TWC
2008
98views more  TWC 2008»
15 years 6 months ago
Resource Allocation for Delay Differentiated Traffic in Multiuser OFDM Systems
Abstract-- Most existing work on adaptive allocation of subcarriers and power in multiuser OFDM systems has focused on homogeneous traffic consisting of delay-constrained data (gua...
Meixia Tao, Ying-Chang Liang, Fan Zhang
SCP
1998
138views more  SCP 1998»
15 years 6 months ago
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
Roberto Bagnara
LPAR
2010
Springer
15 years 4 months ago
Verifying Pointer and String Analyses with Region Type Systems
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
Lennart Beringer, Robert Grabowski, Martin Hofmann
SIGSOFT
2010
ACM
15 years 4 months ago
Building scalable software systems in the multicore era
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
Hridesh Rajan
PEPM
2009
ACM
16 years 3 months ago
Self-adjusting computation: (an overview)
Many applications need to respond to incremental modifications to data. Being incremental, such modification often require incremental modifications to the output, making it po...
Umut A. Acar