4647 search results - page 642 / 930 » Analysis and design of OFDM-IDMA systems |
158
click to vote
TACAS
2007
Springer
16 years 26 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
172
click to vote
COMPSAC
2006
IEEE
16 years 25 days ago
2006
IEEE
Service-Oriented Architecture (SOA) is a system architecture in which a collection of loosely coupled services communicate with each other using standard interfaces and message-ex...
146
click to vote
DATE
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper presents an efficient method to find the optimal intra-task voltage/frequency scheduling for single tasks in practical real-time systems using statistical workload in...
155
click to vote
ESCIENCE
2006
IEEE
16 years 25 days ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
162
click to vote
ETFA
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper presents the incorporation of an auto-tuning real-time garbage collector into a feedback-based on-line scheduling system. The studied feedback scheduler is designed to ...