Sciweavers

13101 search results - page 2415 / 2621
» The design and implementation of microdrivers
Sort
View
AUTONOMICS
2008
ACM
15 years 8 months ago
Verification and semantic parallelization of goal-driven autonomous software
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
Damian Dechev, Nicolas Rouquette, Peter Pirkelbaue...
BPM
2008
Springer
130views Business» more  BPM 2008»
15 years 8 months ago
BPM and Social Software
Due to many success stories, social software received much attention in public and academia. Although it is widely used for business support, its relationship with business proces...
Rainer Schmidt, Selmin Nurcan
CAISE
2008
Springer
15 years 8 months ago
Process Flexibility: A Survey of Contemporary Approaches
Abstract. Business processes provide a means of coordinating interactions between workers and organisations in a structured way. However the dynamic nature of the modern business e...
Helen Schonenberg, Ronny Mans, Nick Russell, Natal...
CARDIS
2008
Springer
113views Hardware» more  CARDIS 2008»
15 years 8 months ago
The Trusted Execution Module: Commodity General-Purpose Trusted Computing
This paper introduces the Trusted Execution Module (TEM); a high-level specification for a commodity chip that can execute usersupplied procedures in a trusted environment. The TEM...
Victor Costan, Luis F. G. Sarmenta, Marten van Dij...
CC
2008
Springer
15 years 8 months ago
Generating SIMD Vectorized Permutations
Abstract. This paper introduces a method to generate efficient vectorized implementations of small stride permutations using only vector load and vector shuffle instructions. These...
Franz Franchetti, Markus Püschel
« Prev « First page 2415 / 2621 Last » Next »