Sciweavers

1446 search results - page 121 / 290
» Hardware Software Co-Design Using Functional Languages
Sort
View
PLDI
2006
ACM
15 years 11 months ago
Continuations and transducer composition
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
Olin Shivers, Matthew Might
116
Voted
EMSOFT
2005
Springer
15 years 10 months ago
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
Matthieu Moy, Florence Maraninchi, Laurent Maillet...
151
Voted
SAFECOMP
1998
Springer
15 years 9 months ago
An Agenda for Specifying Software Components with Complex Data Models
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
Kirsten Winter, Thomas Santen, Maritta Heisel
141
Voted
MDAFA
2004
Springer
135views Hardware» more  MDAFA 2004»
15 years 10 months ago
Developing a UML Profile for Modelling Knowledge-Based Systems
Knowledge engineers have favoured a diagrammatic approach for developing knowledge-based systems by adopting those used in software engineering. However, these modelling techniques...
Mohd Syazwan Abdullah, Chris Kimble, Richard F. Pa...
ECLIPSE
2004
ACM
15 years 8 months ago
Teaching object-oriented concepts with Eclipse
Object-oriented software development is a subject area difficult to teach, especially to beginners. They face a lot of abstraction and (from a beginners point of view) isolated to...
Matthias Meyer, Lothar Wendehals