Sciweavers

4839 search results - page 742 / 968
» A survey of computational complexity results in systems and ...
Sort
View
HICSS
2002
IEEE
91views Biometrics» more  HICSS 2002»
15 years 11 months ago
Neuroimaging Studies Give New Insight to Mental Rotation
This paper summarizes the recent findings of mental rotation studies which use neuroimaging techniques. Though many results differed, almost all the reviewed studies concurred tha...
Wendy S. Ark
ATAL
2009
Springer
16 years 1 months ago
Actor-agent application for train driver rescheduling
This paper describes the design, implementation, visualizations, results and lessons learned of a novel real-world socio-technical research system for the purpose of rescheduling ...
Erwin J. W. Abbink, David G. A. Mobach, Pieter-Jan...
ISSTA
2004
ACM
16 years 3 days ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
RTSS
2009
IEEE
16 years 1 months ago
Multiprocessor Extensions to Real-Time Calculus
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
Hennadiy Leontyev, Samarjit Chakraborty, James H. ...
RTSS
2008
IEEE
16 years 1 months ago
Optimistic Reliability Aware Energy Management for Real-Time Tasks with Probabilistic Execution Times
Reliability-aware power management (RAPM) schemes have been recently studied to save energy while preserving system reliability. The existing RAPM schemes, however, provision for ...
Dakai Zhu, Hakan Aydin, Jian-Jia Chen