6348 search results - page 669 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
192
click to vote
ASWEC
2004
IEEE
15 years 11 months ago
2004
IEEE
"Totally Functional Programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practi...
188
click to vote
ARCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
201
click to vote
ARCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper presents a scalable and partitionable asynchronous bus arbiter for use with chip multiprocessors (CMP) and its corresponding pre-layout simulation results usin...
191
click to vote
ARCS
2006
Springer
15 years 11 months ago
2006
Springer
We present a new concept as well as the implementation of a reconfiguration manager for a FPGA-based reconfigurable platform, the Erlangen Slot Machine (ESM). One main advantage of...
219
click to vote
CODES
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...