SC Harvester Papers Database Interface

Preemption Control Using Frequency Scaling in Fixed Priority Scheduling

Abhilash Thekkilakattil, A. Pillai, R. Dobrin, S. Punnekkat. In: 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing. 2010

Micro-electromechanical sensor module as well as corresponding manufacturing method

G. Bischopink, A. Feyh, A. Franke, T. Pirk, T. Wagner. 2010

Outdoor navigation with a spherical amphibious robot

Viktor Kaznov, M. Seeman. In: 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems. 2010

A resource-efficient event algebra

Jan Carlson, B. Lisper. In: Sci. Comput. Program.. 2010

Sysfier: Actor-based formal verification of SystemC

N. Razavi, Razieh Behjati, H. Sabouri, Ehsan Khamespanah, A. Shali et al. In: ACM Trans. Embed. Comput. Syst.. 2010

Progesterone milk residues in goats treated with CIDR-G(®) inserts.

J. Rowe, L. Tell, J. Carlson, R. Griffith, Kelly A. Lee et al. In: Journal of veterinary pharmacology and therapeutics. 2010

Automatically finding the control variables for complex system behavior

Gregory Gay, T. Menzies, M. Davies, K. Gundy-Burlet. In: Automated Software Engineering. 2010

Integrating wireless systems into process industry and business management

Federico Ciccozzi, A. Cicchetti, J. Delsing, T. Seceleanu, J. Åkerberg et al. In: 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010). 2010

Visualizations to support interactive goal model analysis

J. Horkoff, E. Yu. In: 2010 Fifth International Workshop on Requirements Engineering Visualization. 2010

Interactive Goal Model Analysis Applied - Systematic Procedures versus Ad hoc Analysis

J. Horkoff, E. Yu, A. Ghose. In: . 2010

Reducing the Number of Preemptions in Real-Time Systems Scheduling by CPU Frequency Scaling

Abhilash Thekkilakattil, A. Pillai, R. Dobrin, S. Punnekkat. In: . 2010

Utility Reversals: Memory and Contextual Biases with Decision Prospects.

P. Kusev, Petter Johansson, P. Schaik, P. Ayton, N. Chater. In: . 2010

Miniaturization limits of field-effect based MEMS accelerometers

Manuel Engesser, O. Jakovlev, A. Franke, J. Korvink. In: Microsystem Technologies. 2010

Finding Solutions in Goal Models: An Interactive Backward Reasoning Approach

J. Horkoff, E. Yu. In: . 2010

A Formal Framework for Compositional Verification of Organic Computing Systems

F. Nafz, H. Seebach, J. Steghöfer, S. Bäumler, W. Reif. In: . 2010