Sciweavers

1521 search results - page 6 / 305
» On Sampled Semantics of Timed Systems
Sort
View
TC
2010
13 years 2 months ago
Generating Reliable Code from Hybrid-Systems Models
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
Madhukar Anand, Sebastian Fischmeister, Yerang Hur...
ARCS
2009
Springer
14 years 1 months ago
Evaluating Sampling Based Hotspot Detection
In sampling based hotspot detection, performance engineers sample the running program periodically and record the Instruction Pointer (IP) addresses at the sampling. Empirically, f...
Qiang Wu, Oskar Mencer
ISCAS
2005
IEEE
150views Hardware» more  ISCAS 2005»
14 years 29 days ago
High speed pilot-less sampling frequency acquisition for DMT systems
—This paper presents a sampling frequency offset estimation in time domain for discrete multitone (DMT) systems. Cyclic prefix (CP) enables this estimation without pilots. The pr...
Ching-Chi Chang, Chorng-Kuang Wang
ECBS
2009
IEEE
164views Hardware» more  ECBS 2009»
14 years 2 months ago
Semantically Enhanced Containers for Concurrent Real-Time Systems
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
Damian Dechev, Peter Pirkelbauer, Nicolas Rouquett...
SASO
2007
IEEE
14 years 1 months ago
Continuous Space-Time Semantics Allow Adaptive Program Execution
Jonathan Bachrach, Jacob Beal, Takeshi Fujiwara