Sciweavers

20066 search results - page 192 / 4014
» T Spaces
Sort
View
SAC
2010
ACM
16 years 1 months ago
Extraction of component-environment interaction model using state space traversal
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
Pavel Parizek, Nodir Yuldashev
DATE
2009
IEEE
86views Hardware» more  DATE 2009»
16 years 1 months ago
A formal approach to design space exploration of protocol converters
In the field of chip design, hardware module reuse is a standard solution to the increasing complexity of chip architecture and the pressures to reduce time to market. In the abs...
Karin Avnit, Arcot Sowmya
DATE
2009
IEEE
139views Hardware» more  DATE 2009»
16 years 1 months ago
Cross-architectural design space exploration tool for reconfigurable processors
—Processors that deploy fine-grained reconfigurable fabrics to implement application-specific accelerators ondemand obtained significant attention within the last decade. They tr...
Lars Bauer, Muhammad Shafique, Jörg Henkel
IAT
2009
IEEE
16 years 1 months ago
A New Semantics of Social Commitments Using Branching Space-Time Logic
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
SIBGRAPI
2009
IEEE
16 years 1 months ago
A Study of the Effect of Illumination Conditions and Color Spaces on Skin Segmentation
—This work aims at investigating the influence of luminance information and environment illumination on skin classification. We explore Bayesian approaches to perform automatic...
Diogo Kuiaski, Hugo Vieira Neto, Gustavo B. Borba,...