6581 search results - page 226 / 1317 » Formalizing Design Patterns |
130
Voted
ICWS
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract Asynchronous invocations are an important functionality in the context of distributed object frameworks, because in many situations clients should not block during remote ...
124
click to vote
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
Crosscutting concerns can hinder maintainability of a design because they do not adhere to a system's underlying modular structure. Developers, therefore, may wish to refacto...
124
Voted
MICRO
2010
IEEE
15 years 1 months ago
2010
IEEE
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, t...
101
Voted
TC
2002
15 years 3 months ago
2002
131
Voted
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...