Sciweavers

7580 search results - page 335 / 1516
» Prometheus design tool
Sort
View
ASPDAC
2012
ACM
265views Hardware» more  ASPDAC 2012»
14 years 1 months ago
Improving validation coverage metrics to account for limited observability
—In both pre-silicon and post-silicon validation, the detection of design errors requires both stimulus capable of activating the errors and checkers capable of detecting the beh...
Peter Lisherness, Kwang-Ting Cheng
AINA
2008
IEEE
16 years 19 days ago
Transparently Adding Security Properties to Service Orchestration
In this paper, we present a tool allowing the design of orchestration at a high level of abstraction. This tool also allows specifying security properties, also in an way, as anno...
Stéphanie Chollet, Philippe Lalanda, Andr&e...
DATE
2005
IEEE
84views Hardware» more  DATE 2005»
15 years 11 months ago
A Decompilation Approach to Partitioning Software for Microprocessor/FPGA Platforms
In this paper, we present a software compilation approach for microprocessor/FPGA platforms that partitions a software binary onto custom hardware implemented in the FPGA. Our app...
Greg Stitt, Frank Vahid
EUROMICRO
2004
IEEE
15 years 10 months ago
A Framework for Interactive Visualization of Component-Based Software
In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate ho...
Alexandru Telea, Lucian Voinea
AIS
2007
Springer
15 years 6 months ago
A multi-agent based framework for the simulation of human and social behaviors during emergency evacuations
Many computational tools for the simulation and design of emergency evacuation and egress are now available. However, due to the scarcity of human and social behavioral data, thes...
Xiaoshan Pan, Charles S. Han, Ken Dauber, Kincho H...