871 search results - page 21 / 175 » Modeling Architectural Patterns' Behavior Using Architectura... |
IPPS
2002
IEEE
14 years 29 days ago
2002
IEEE
This paper examines the explicit communication characteristics of several sophisticated scientific applications, which, by themselves, constitute a representative suite of publicl...
COMPSAC
2010
IEEE
13 years 6 months ago
2010
IEEE
Web services and service-oriented architecture (SOA) have become the de facto standard for designing distributed and loosely coupled applications. Many servicebased applications de...
DAC
2003
ACM
2003
ACM
A complexity effective communication model for behavioral modeling of signal processing applications
14 years 9 months ago
In this paper, we argue that the address space of memory regions that participate in inter task communication is over-specified by the traditional communication models used in beh...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
EUROMICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
— Many software development methodologies are based on modeling the real world. In some of these methodologies, real-world models are gradually transformed into software models, ...