3792 search results - page 130 / 759 » Techniques for Trusted Software Engineering |
139
click to vote
SAC
2009
ACM
16 years 26 days ago
2009
ACM
Code libraries are characterized by feature-richness — and, consequently, high overhead. The library specialization problem is the problem of obtaining a low-overhead version of...
142
click to vote
TCAD
2010
15 years 23 days ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
176
click to vote
ISORC
2006
IEEE
16 years 2 days ago
2006
IEEE
Service overlays that support distributed stream processing applications are increasingly being deployed in wide-area environments. The inherent heterogeneous, dynamic and large-s...
150
click to vote
ER
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. This paper presents techniques for reverse engineering of relational database applications. The target of such an effort is the definition of a fully equipped object-orie...
149
click to vote
COLING
2000
15 years 7 months ago
2000
This paper explores the usefltllmss of a technique from software engineering, (:ode instrumentation, tbr the developlnent of large-scale natural language grammars, hltbrlnation ab...