2836 search results - page 489 / 568 » Model Checking for Software Architectures |
154
click to vote
DAC
2005
ACM
15 years 7 months ago
2005
ACM
Grid-warping is a recent placement strategy based on a novel physical analogy: rather than move the gates to optimize their location, it elastically deforms a model of the 2-D chi...
159
click to vote
DAC
2000
ACM
16 years 6 months ago
2000
ACM
The Esprit/OMI-COSY project defines transaction-levels to set-up the exchange of IP's in separating function from architecture and body-behavior from proprietary interfaces. ...
154
click to vote
SAC
2009
ACM
16 years 8 days ago
2009
ACM
Parallel architectures are the way of the future, but are notoriously difficult to program. In addition to the low-level constructs they often present (e.g., locks, DMA, and non-...
146
click to vote
IPPS
2009
IEEE
16 years 3 days ago
2009
IEEE
With the increasing trend of microprocessor manufacturers to rely on parallelism to increase their products’ performance, there is an associated increasing need for simple techn...
152
click to vote
SEKE
2007
Springer
15 years 11 months ago
2007
Springer
A number of enterprises are turning towards the Service Oriented Architecture (SOA) approach for their systems due to the number of benefits it offers. A key enabling technology ...