124
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
The optimization of integrated spiral inductors has great practical importance. Previous optimization methods used in this field are either too slow or depend on very simplified a...
126
Voted
CBSE
2006
Springer
15 years 7 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
91
Voted
CBSE
2006
Springer
15 years 7 months ago
2006
Springer
158
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
A strong level of trust in the software running on an embedded processor is a prerequisite for its widespread deployment in any high-risk system. The expanding field of software p...
100
Voted
CBSE
2006
Springer
15 years 7 months ago
2006
Springer
We investigate the impact of Operating System's Virtual Memory Managers (VMMs) on performance of enterprise applications. By taking various popular branches of the Linux kerne...