3256 search results - page 453 / 652 » Applications of Formal Methods to System Design and Verifica... |
184
click to vote
CSI
2007
15 years 5 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
142
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
We describe our first efforts to develop a set of off-the-shelf hardware components that ordinary people could connect to build a simple but useful class of embedded systems. The ...
133
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
One of the efficient design methodologies for large scale System on a Chip (SoC) is IP-based design. In this methodology, a system is considered as a set of components and intercon...
139
click to vote
SC
2009
ACM
16 years 7 days ago
2009
ACM
Reconfigurable computing (RC) systems based on FPGAs are becoming an increasingly attractive solution to building parallel systems of the future. Applications targeting such syste...
172
click to vote
CC
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper introduces a method to generate efficient vectorized implementations of small stride permutations using only vector load and vector shuffle instructions. These...