983 search results - page 136 / 197 » A Region-Oriented Hardware Implementation for Membrane Compu... |
162
click to vote
CN
1999
15 years 5 months ago
1999
Powerful servers for computation and storage, high-speed networking resources, and high-performance 3D graphics workstation, which are typically available in scientific research e...
137
click to vote
TODAES
1998
15 years 5 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
185
click to vote
HICSS
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose XTRec, a primitive that can record the instruction-level execution trace of a commodity computing system. Our primitive is resilient to compromise to provide integrity ...
166
click to vote
ASAP
2008
IEEE
16 years 20 days ago
2008
IEEE
RNA structure prediction, or folding, is a computeintensive task that lies at the core of several search applications in bioinformatics. We begin to address the need for high-thro...
152
click to vote
ISCAS
2007
IEEE
16 years 14 days ago
2007
IEEE
— This paper presents performance and area evaluation of a homogeneous multiprocessor communication system based on network-on-chip (NoC) in FPGA platforms. Two homogenous chip m...