13109 search results - page 351 / 2622 » The design and implementation of AspectC |
143
click to vote
FLAIRS
2008
15 years 9 months ago
2008
The paper is dedicated to an analysis of the classic business rules study called UServ. The importance of this study comes from the fact, that it serves as a benchmark example for...
196
click to vote
JSS
2008
15 years 6 months ago
2008
Software architecture documentation helps people in understanding the software architecture of a system. In practice, software architectures are often documented after the fact, i...
191
click to vote
PVM
1997
Springer
15 years 11 months ago
1997
Springer
We present Ensemble, a message-passing implementation methodology, applied to PVM. Ensemble overcomes problems and complexities in developing applications in messagepassing enviro...
158
click to vote
DDECS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Self-timed full adder designs based on commercial synchronous resources (standard cells), constructed using a mix of complete delay-insensitive codes adopted for inputs are desc...
165
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...