2748 search results - page 137 / 550 » Generating Object-Z Specifications from Use Cases |
114
Voted
RSP
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, an efficient design flow integrating Mentor Graphics Precesion C and HDL designer is derived. In this hybrid prototyping environment, efficient FPGA architectures a...
91
Voted
JFP
2006
15 years 15 days ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
122
click to vote
PDP
2010
IEEE
14 years 11 months ago
2010
IEEE
—In the virtual execution environment, dynamic computing resource adjustment technique, configuring the computing resource of virtual machines automatically according to the actu...
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
99
Voted
MSS
2000
IEEE
15 years 5 months ago
2000
IEEE
The InTENsity PowerWall is a display system used for high-resolution visualization of very large volumetric data sets. The display is linked to two separate computing environments...