Sciweavers

1396 search results - page 58 / 280
» DATES: Design Analysis Tool for Enterprise Systems
Sort
View
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
16 years 1 months ago
Overcoming limitations of the SystemC data introspection
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
Christian Genz, Rolf Drechsler
DATE
2009
IEEE
129views Hardware» more  DATE 2009»
16 years 1 months ago
Energy minimization for real-time systems with non-convex and discrete operation modes
—We present an optimal methodology for dynamic voltage scheduling problem in the presence of realistic assumption such as leakage-power and intra-task overheads. Our contribution...
Foad Dabiri, Alireza Vahdatpour, Miodrag Potkonjak...
CAISE
2008
Springer
15 years 8 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
DATE
2006
IEEE
147views Hardware» more  DATE 2006»
16 years 10 days ago
Quantitative analysis of transaction level models for the AMBA bus
The increasing complexity of embedded systems pushes system designers to higher levels of abstraction. Transaction Level Modeling (TLM) has been proposed to model ation in systems...
Gunar Schirner, Rainer Dömer
CCGRID
2010
IEEE
15 years 7 months ago
A Capabilities-Aware Programming Model for Asymmetric High-End Systems
In this research, we investigate and address the challenges of asymmetry in High-End Computing (HEC) systems comprising heterogeneous architectures with varying I/O and computation...
M. Mustafa Rafique