Sciweavers

2068 search results - page 162 / 414
» On Effectiveness of Application-Layer Coding
Sort
View
MOMPES
2009
IEEE
15 years 11 months ago
Reliable operating modes for distributed embedded systems
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
Wolfgang Haberl, Stefan Kugele, Uwe Baumgarten
FMCO
2007
Springer
103views Formal Methods» more  FMCO 2007»
15 years 11 months ago
Safety Guarantees from Explicit Resource Management
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
David Aspinall, Patrick Maier, Ian Stark
ANSS
2006
IEEE
15 years 11 months ago
Grid-Boxing for Spatial Simulation Performance Optimisation
— Computer simulations of complex systems such as physical aggregation processes or swarming and collective behaviour of life-forms, often require order N-squared computational c...
Kenneth A. Hawick, Heath A. James, C. J. Scogings
IWPC
2006
IEEE
15 years 11 months ago
An Approach for Extracting Workflows from E-Commerce Applications
For many enterprises, reacting to fast changes to their business process is key to maintaining their competitive edge in the market. However, developers often must manually locate...
Ying Zou, Maokeng Hung
144
Voted
VTC
2006
IEEE
124views Communications» more  VTC 2006»
15 years 11 months ago
Linear Dispersion for Single-Carrier Communications in Frequency Selective Channels
Abstract— Linear dispersion coded orthogonal frequency division multiplexing (LDC-OFDM) has recently been proposed to improve joint frequency and time diversity. This paper inves...
Jinsong Wu, Steven D. Blostein