1481 search results - page 229 / 297 » Enriching the Software Development Process by Formal Methods |
HPCA
2003
IEEE
16 years 7 days ago
2003
IEEE
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
DEXAW
2000
IEEE
15 years 4 months ago
2000
IEEE
Given their simple nature, the success of keyword based retrieval systems is astonishing. Although these methods seemingly only process words (and their word counts), they rely on...
102
click to vote
IS
2008
14 years 12 months ago
2008
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...
106
click to vote
AVSS
2003
IEEE
15 years 3 months ago
2003
IEEE
We develop a new filter which combines spatially adaptive noise filtering in the wavelet domain and temporal filtering in the signal domain. For spatial filtering, we propose a ne...
ESWA
2006
14 years 12 months ago
2006
Communication is a critical success factor in design. It can be seen as the social and cognitive process by which information is selected, messages are exchanged between interacti...