5972 search results - page 457 / 1195 » Extending Design Environments to Software Architecture Desig... |
192
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
155
click to vote
COLCOM
2005
IEEE
16 years 14 days ago
2005
IEEE
The trusted computing bases (TCBs) of applications running on today’s commodity operating systems have become extremely large. This paper presents an architecture that allows to...
161
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
We describe a family of reconfigurable parallel architectures for logic emulation. They are supposed to be applicable like conventional FPGAs, while covering a larger range of circ...
209
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
We address the problem of instruction selection for Multi-Output Instructions (MOIs), producing more than one result. Such inherently parallel hardware instructions are very commo...
164
Voted
FPGA
1997
ACM
15 years 11 months ago
1997
ACM
Programmable logic architectures increase in capacity before commercial circuits are designed for them, yielding a distinct problem for FPGA vendors: how to test and evaluate the ...