Sciweavers

446 search results - page 64 / 90
» Dynamic Processor Allocation with the Solaris Operating Syst...
Sort
View
LCTRTS
2001
Springer
14 years 28 days ago
Evaluating and Optimizing Thread Pool Strategies for Real-Time CORBA
Strict control over the scheduling and execution of processor resources is essential for many fixed-priority real-time applications. To facilitate this common requirement, the Re...
Irfan Pyarali, Marina Spivak, Ron Cytron, Douglas ...
FPGA
2008
ACM
136views FPGA» more  FPGA 2008»
13 years 10 months ago
HybridOS: runtime support for reconfigurable accelerators
We present HybridOS, a set of operating system extensions for supporting fine-grained reconfigurable accelerators integrated with general-purpose computing platforms. HybridOS spe...
John H. Kelm, Steven S. Lumetta
NOSSDAV
2005
Springer
14 years 2 months ago
Platform Overlays: enabling in-network stream processing in large-scale distributed applications
The purpose of this research is to explore the capabilities of future, multi-core heterogeneous systems, with specialized communication support, to be used as efficient and flex...
Ada Gavrilovska, Sanjay Kumar, Srikanth Sundaragop...
AMAST
2010
Springer
13 years 3 months ago
Matching Logic: An Alternative to Hoare/Floyd Logic
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
Grigore Rosu, Chucky Ellison, Wolfram Schulte
EOR
2007
272views more  EOR 2007»
13 years 8 months ago
A dynamic logistics coordination model for evacuation and support in disaster response activities
This paper describes an integrated location-distribution model for coordinating logistics support and evacuation operations in disaster response activities. Logistics planning in ...
Wei Yi, Linet Özdamar