16844 search results - page 3307 / 3369 » How to Design Programs |
132
click to vote
FPGA
2006
ACM
15 years 6 months ago
2006
ACM
Abstract--Field-programmable gate-array (FPGA) logic synthesis and technology mapping have been studied extensively over the past 15 years. However, progress within the last few ye...
126
click to vote
ICDCS
2010
IEEE
15 years 6 months ago
2010
IEEE
—The adoption of portable wireless devices is rapidly rising. The demand for efficient communication protocols amongst these devices is pressing. In this paper, we present a con...
126
click to vote
CSFW
1995
IEEE
15 years 6 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
145
Voted
VW
2000
Springer
15 years 6 months ago
2000
Springer
This article describes a 3D biomechanical simulation of a salamander to be used in experiments in computational neuroethology. The physically-based simulation represents the salama...
132
click to vote
SIGSOFT
1995
ACM
15 years 6 months ago
1995
ACM
—We conducted a long-term experiment to compare the costs and benefits of several different software inspection methods. These methods were applied by professional developers to ...