788 search results - page 92 / 158 » Design and use of a system-level specification and verificat... |
152
click to vote
FPGA
2004
ACM
15 years 11 months ago
2004
ACM
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
174
click to vote
GECCO
2007
Springer
16 years 16 days ago
2007
Springer
Selecting the most relevant factors from genetic profiles that can optimally characterize cellular states is of crucial importance in identifying complex disease genes and biomark...
271
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we discuss an application of spatial data mining to predict pedestrian flow in extensive road networks using a large biased sample. Existing out-of-the-box techniqu...
162
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
140
click to vote
WISE
2009
Springer
16 years 3 months ago
2009
Springer
Recently, existing design methodologies targeting traditional Web applications have been extended for Rich Internet Application modeling support. These extended methodologies curre...