Sciweavers

3341 search results - page 318 / 669
» A Communication Virtual Machine
Sort
View
IFIP
2010
Springer
14 years 11 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
FAST
2011
14 years 8 months ago
A Scheduling Framework That Makes Any Disk Schedulers Non-Work-Conserving Solely Based on Request Characteristics
Exploiting spatial locality is critical for a disk scheduler to achieve high throughput. Because of the high cost of disk head seeks and the non-preemptible nature of request serv...
Yuehai Xu, Song Jiang
FPT
2005
IEEE
198views Hardware» more  FPT 2005»
15 years 10 months ago
From TLM to FPGA: Rapid Prototyping with SystemC and Transaction Level Modeling
We describe a communication-centric design methodology with SystemC that allows for efficient FPGA prototype generation of transaction level models (TLM). Using a framework compr...
Wolfgang Klingauf, Robert Günzel
ATAL
2004
Springer
15 years 10 months ago
Integrating Autonomous Behavior and User Control for Believable Agents
Autonomous agents can help users by taking on a substantial workload, and performing tasks that are too complex for a human. However, in some systems complete autonomy is undesira...
Marco Gillies, Daniel Ballin
ICC
2007
IEEE
123views Communications» more  ICC 2007»
15 years 8 months ago
Diversity-Multiplexing Tradeoff in Cooperative Multiple Access Channels
Cooperative transmission schemes can offer benefits in terms of diversity and multiplexing gain compared with conventional direct transmission by forming a virtual antenna array. I...
Zhiguo Ding, Tharmalingam Ratnarajah, Colin Cowan