Sciweavers

8 search results - page 1 / 2
» Overhead-Free Polymorphism in Network-on-Chip Implementation...
Sort
View
DATE
2004
IEEE
121views Hardware» more  DATE 2004»
13 years 8 months ago
Overhead-Free Polymorphism in Network-on-Chip Implementation of Object-Oriented Models
We unify virtual-method despatch (polymorphism implementation) and network packet-routing operations; virtual-method calls correspond to network packets, and network addresses are...
Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft
GI
1997
Springer
13 years 9 months ago
Functional Object-Oriented Programming with Object-Gofer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
Wolfram Schulte, Klaus Achatz
SPIN
2004
Springer
13 years 10 months ago
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
Iulian Ober, Susanne Graf, Ileana Ober
ICFP
2000
ACM
13 years 9 months ago
Functional programming in C++
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
Brian McNamara, Yannis Smaragdakis
DATE
1999
IEEE
139views Hardware» more  DATE 1999»
13 years 9 months ago
OpenJ: An Extensible System Level Design Language
There is an increasing research interest in system level design languages which can carry designers from specification to implementation of system-on-a-chip. Unfortunately, two of...
Jianwen Zhu, Daniel Gajski