Sciweavers

1407 search results - page 46 / 282
» Using Use Cases in Executable Z
Sort
View
WORDS
2005
IEEE
15 years 8 months ago
Experiments with WCET-Oriented Programming and the Single-Path Architecture
The single-path software/hardware architecture has been conceived with the goal to support real-time task execution with highly predictable timing. By using WCET-oriented programm...
Peter P. Puschner
120
Voted
CD
2004
Springer
15 years 8 months ago
Dynamic Deployment of Executing and Simulating Software Components
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...
Alexander Egyed
MICRO
2002
IEEE
159views Hardware» more  MICRO 2002»
15 years 7 months ago
Master/slave speculative parallelization
Master/Slave Speculative Parallelization (MSSP) is an execution paradigm for improving the execution rate of sequential programs by parallelizing them speculatively for execution ...
Craig B. Zilles, Gurindar S. Sohi
110
Voted
ICPR
2006
IEEE
16 years 3 months ago
Uncertainties-driven Surface Morphing: The case of Photo-realistic Transitions between Facial Expressions
Reproduction of facial animation play a fundamental role in applications requiring human-computer interactions The objective of this paper is to introduce a geometric mechanism th...
Charlotte Ghys, Maxime Taron, Nikos Paragios
ICAC
2005
IEEE
15 years 8 months ago
The Case for Automated Planning in Autonomic Computing
Computing systems have become so complex that the IT industry recognizes the necessity of deliberative methods to make these systems self-configuring, self-healing, selfoptimizin...
Biplav Srivastava, Subbarao Kambhampati