Sciweavers

814 search results - page 102 / 163
» Analysis of Modular Arithmetic
Sort
View
116
Voted
DFT
2009
IEEE
189views VLSI» more  DFT 2009»
15 years 9 months ago
Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms
Pre-fabrication design verification and post-fabrication chip testing are two important stages in the product realization process. These two stages consume a large part of resourc...
Meng Zhang, Anita Lungu, Daniel J. Sorin
107
Voted
ECOOP
2007
Springer
15 years 9 months ago
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study
Although one of the main promises of aspect-oriented (AO) programming techniques is to promote better software changeability than objectoriented (OO) techniques, there is no empiri...
Phil Greenwood, Thiago T. Bartolomei, Eduardo Figu...
131
Voted
ICSM
2006
IEEE
15 years 8 months ago
Quantifying the Effects of Aspect-Oriented Programming: A Maintenance Study
One of the main promises of aspect-oriented programming (AOP) is to promote improved modularization of crosscutting concerns, thereby enhancing the software stability in the prese...
Uirá Kulesza, Cláudio Sant'Anna, Ale...
ECAI
2004
Springer
15 years 8 months ago
The KGP Model of Agency
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...
106
Voted
AOSD
2003
ACM
15 years 8 months ago
Back to the future: a retroactive study of aspect evolution in operating system code
The FreeBSD operating system more than doubled in size between version 2 and version 4. Many changes to primary modularity are easy to spot at a high-level. For example, new devic...
Yvonne Coady, Gregor Kiczales