Sciweavers

843 search results - page 31 / 169
» Introducing the Iteration in sPBC
Sort
View
WWW
2004
ACM
16 years 6 months ago
Service Model for Collaborating Distributed Design and Manufacturing
This paper presents a Service-Oriented Process Model (SOM) to build a web-services based process management system, called MIDAS that would support distributed Design and Manufact...
Moon-Jung Chung, Woongsup Kim, Ravi Gopalan, Hong ...
ECRTS
2008
IEEE
16 years 14 days ago
Period and Deadline Selection for Schedulability in Real-Time Systems
Task period adaptations are often used to alleviate temporal overload conditions in real-time systems. Existing frameworks assume that only task periods are adjustable and that ta...
Thidapat Chantem, Xiaofeng Wang, Michael D. Lemmon...
ICC
2007
IEEE
112views Communications» more  ICC 2007»
16 years 10 days ago
Multiuser Interference Balancing for General Interference Functions - A Convergence Analysis
Abstract—We address the problem of maximizing the minimum signal-to-interference ratio (SIR) in a multiuser system. In the context of resource allocation, this is referred to as ...
Holger Boche, Martin Schubert
VTC
2007
IEEE
16 years 8 days ago
Power Optimization of IDMA Systems with Different Target BER Constraints
— Interleave Division Multiple Access (IDMA) is a promising air interface for future wireless networks. Optimization of access schemes regarding cross user aspects is also a topi...
Petra Weitkemper, Karl-Dirk Kammeyer
SAS
2007
Springer
106views Formal Methods» more  SAS 2007»
16 years 3 days ago
Guided Static Analysis
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
Denis Gopan, Thomas W. Reps