398 search results - page 47 / 80 » On the Inference of Configuration Structures from Source Cod... |
CSC
2006
15 years 3 months ago
2006
s Normal mode Rossby waves are simulated with an efficient Double Fourier Series (DFS) spectral model, and their structures are investigated by the Empirical Orthogonal Function (E...
121
Voted
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
122
click to vote
APSEC
2002
IEEE
15 years 7 months ago
2002
IEEE
Software often needs to be modified for accommodating requirements changes through the software life cycle. To deal with several accidental requirements changes related to softwa...
141
Voted
CODES
2005
IEEE
15 years 4 months ago
2005
IEEE
Caches may consume half of a microprocessor’s total power and cache misses incur accessing off-chip memory, which is both time consuming and energy costly. Therefore, minimizing...
145
Voted
WOTUG
2008
15 years 3 months ago
2008
Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan I...