Sciweavers

10700 search results - page 235 / 2140
» Generative Design Patterns
Sort
View
159
Voted
DATE
1999
IEEE
194views Hardware» more  DATE 1999»
15 years 7 months ago
Algorithms for Solving Boolean Satisfiability in Combinational Circuits
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
Luís Guerra e Silva, Luis Miguel Silveira, ...
124
Voted
ICWS
2003
IEEE
15 years 4 months ago
Design and Implementation of an Asynchronous Invocation Framework for Web Services
Abstract Asynchronous invocations are an important functionality in the context of distributed object frameworks, because in many situations clients should not block during remote ...
Uwe Zdun, Markus Völter, Michael Kircher
108
Voted
SIGSOFT
2009
ACM
16 years 3 months ago
ConcernMorph: metrics-based detection of crosscutting patterns
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...
Eduardo Figueiredo, Jon Whittle, Alessandro F. Gar...