Sciweavers

933 search results - page 141 / 187
» How compilers and tools differ for embedded systems
Sort
View
POPL
2011
ACM
12 years 11 months ago
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Pe...
ECIS
2003
13 years 10 months ago
A multi-model algorithm for the cost-oriented design of the information technology infrastructure
Multiple combinations of hardware and network components can be selected to design an information technology (IT) infrastructure that satisfies performance requirements. The profe...
Danilo Ardagna, Chiara Francalanci, Marco Trubian
NN
2008
Springer
163views Neural Networks» more  NN 2008»
13 years 8 months ago
Central pattern generators for locomotion control in animals and robots: A review
The problem of controlling locomotion is an area in which neuroscience and robotics can fruitfully interact. In this article, I will review research carried out on locomotor centr...
Auke Jan Ijspeert
HICSS
2006
IEEE
90views Biometrics» more  HICSS 2006»
14 years 2 months ago
The Role of Perceived Control, Attention-Shaping, and Expertise in IT Project Risk Assessment
This study investigates how individuals assess risks in IT development projects under different conditions. We focus on three conditions: the perceived control over the IT project...
Stephen Du, Mark Keil, Lars Mathiassen, Yide Shen,...
ARGMAS
2007
Springer
14 years 22 days ago
Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents
Argumentation can serve as an effective computational tool and as a useful abstraction for various agent activities and in particular for agent reasoning. In this paper we further ...
Dorian Gaertner, Francesca Toni