6836 search results - page 975 / 1368 » Modelling Web-Oriented Architectures |
191
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Today, VLSI systems for computationally demanding applications are being built as Systems-on-Chip (SoCs) with a distributed memory sub-system which is shared by a large number of ...
167
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
177
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
With device counts on modern-day ASICs crossing the 10 million mark, careful planning of an ASIC design project is necessary to meet time deadlines. Two problems arise in this con...
273
Voted
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
Significant efforts are currently invested in application integration to enable the interaction and composition of business processes of different companies, yielding complex, mul...
218
Voted
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
— In this paper1 we address the problem of processing continuous multi-join queries, over distributed data streams. Our approach makes use of existing work in the field of publi...