Sciweavers

6111 search results - page 1080 / 1223
» Time, Hardware, and Uniformity
Sort
View
AICCSA
2006
IEEE
179views Hardware» more  AICCSA 2006»
16 years 16 days ago
Supporting the SPEM with a UML Extended Workflow Metamodel
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
Narayan C. Debnath, Daniel Riesco, Manuel Pé...
CODES
2006
IEEE
16 years 16 days ago
A formal approach to robustness maximization of complex heterogeneous embedded systems
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
Arne Hamann, Razvan Racu, Rolf Ernst
COMPSAC
2006
IEEE
16 years 16 days ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
DFT
2006
IEEE
92views VLSI» more  DFT 2006»
16 years 16 days ago
Low-Cost Hardening of Image Processing Applications Against Soft Errors
Image processing systems are increasingly used in safetycritical applications, and their hardening against soft errors becomes an issue. We propose a methodology to identify soft ...
Ilia Polian, Bernd Becker, Masato Nakasato, Satosh...
EUROMICRO
2006
IEEE
16 years 16 days ago
From PRIMI to PRIMIFaces: Technical Concepts for Selective Information Disclosure
Instant messaging platforms facilitate coordination in workgroups by providing users with mutual information on their presence and availability, allowing for ad-hoc conversations ...
Tom Gross, Christoph Oemig
« Prev « First page 1080 / 1223 Last » Next »