2132 search results - page 366 / 427 » Automated software winnowing |
146
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
Computing reliable gene expression levels from microarray experiments is a sophisticated process with many potential pitfalls. Quality control is one of the most important steps i...
125
click to vote
NSPW
2006
ACM
15 years 10 months ago
2006
ACM
In considering new security paradigms, it is often worthwhile to anticipate the direction and nature of future attack paradigms. We identify a class of attacks based on the idea o...
153
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...
101
click to vote
ICAC
2005
IEEE
15 years 9 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
130
click to vote
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...