13109 search results - page 160 / 2622 » The design and implementation of AspectC |
159
click to vote
FORTE
2001
15 years 7 months ago
2001
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...
154
click to vote
PR
2000
15 years 6 months ago
2000
In this work an analog implementation of non-linear filters based on a current-mode sorting/selection network is presented. Three non-linear filters, an erosion/dilation, a median...
309
click to vote
PC
2007
15 years 6 months ago
2007
This paper presents the implementation of MPICH2 over the Nemesis communication subsystem and the evaluation of its shared-memory performance. We describe design issues as well as...
160
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
We demonstrate a tool to incrementally synchronize an Acme architectural model described in the Acme Architectural Description Language (ADL) with an implementation in ArchJava, a...
134
click to vote
ISCAS
2006
IEEE
16 years 15 days ago
2006
IEEE
— In this paper an architecture, signal reconstruction algorithm and first-ever implementation of an asynchronous delta-sigma converter are presented. The signal reconstruction ...