Sciweavers

336 search results - page 48 / 68
» Task-Queue Based Hybrid Parallelism: A Case Study
Sort
View
EMSOFT
2008
Springer
15 years 1 months ago
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
MOBIHOC
2007
ACM
15 years 11 months ago
Capacity of a wireless ad hoc network with infrastructure
In this paper we study the capacity of wireless ad hoc networks with infrastructure support of an overlay of wired base stations. Such a network architecture is often referred to ...
Benyuan Liu, Patrick Thiran, Donald F. Towsley
CAISE
2010
Springer
15 years 24 days ago
Interaction-Driven Self-adaptation of Service Ensembles
Abstract. The emergence of large-scale online collaboration requires current information systems to be apprehended as service ensembles comprising human and software service entiti...
Christoph Dorn, Schahram Dustdar
FUIN
2000
76views more  FUIN 2000»
14 years 11 months ago
A Foundation for Refining Concurrent Objects
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
Martin Büchi, Emil Sekerinski
IWMM
2011
Springer
254views Hardware» more  IWMM 2011»
14 years 2 months ago
Short-term memory for self-collecting mutators
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...
Martin Aigner, Andreas Haas, Christoph M. Kirsch, ...