Sciweavers

675 search results - page 67 / 135
» A Constraint-Driven Executable Model of Dynamic System Recon...
Sort
View
MOBISYS
2004
ACM
16 years 2 months ago
NWSLite: A Light-Weight Prediction Utility for Mobile Devices
Computation off-loading, i.e., remote execution, has been shown to be effective for extending the computational power and battery life of resource-restricted devices, e.g., hand-h...
Selim Gurun, Chandra Krintz, Richard Wolski
CEE
2007
107views more  CEE 2007»
15 years 3 months ago
A non-preemptive scheduling algorithm for soft real-time systems
Real-time systems are often designed using preemptive scheduling and worst-case execution time estimates to guarantee the execution of high priority tasks. There is, however, an i...
Wenming Li, Krishna M. Kavi, Robert Akl
WSC
1994
15 years 4 months ago
CSIM17: a simulation model-building toolkit
CSIM is a simulation model-building toolkit that is used by C/C++ programmers to implement processoriented, discrete-event simulation models. These models mimic the operation of c...
Herbert D. Schwetman
FM
2009
Springer
190views Formal Methods» more  FM 2009»
15 years 9 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
ICRA
2005
IEEE
141views Robotics» more  ICRA 2005»
15 years 9 months ago
Sensor Data Fusion for Body State Estimation in a Hexapod Robot with Dynamical Gaits
— We report on progress toward a continuous time full 6 DOF translational body state estimator for a hexapod robot executing a jogging gait (with 4 consecutive phases: tripod sta...
Pei-Chun Lin, Haldun Komsuoglu, Daniel E. Koditsch...