6581 search results - page 343 / 1317 » Formalizing Design Patterns |
150
click to vote
APPINF
2003
15 years 8 months ago
2003
Induction and abduction are well known non-deductive inferences. We shall propose that design is also another form of non-deductive inference, and, based on Barwise and Seligman...
178
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
145
click to vote
MEMOCODE
2007
IEEE
16 years 1 months ago
2007
IEEE
This design presents a system optimized for complex matrix multiplications on the XUP Virtex-II board. Utilizing the GEZEL HW/SW co-simulation environment, the resulting system ac...
202
click to vote
MEMOCODE
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier...
201
click to vote
ASIACRYPT
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper reconsiders the established Merkle-Damg˚ard design principle for iterated hash functions. The internal state size w of an iterated n-bit hash function is trea...