7167 search results - page 200 / 1434 » A Technique for Invariant Generation |
234
click to vote
PPOPP
2006
ACM
16 years 1 months ago
2006
ACM
Large-scale simulations and computational modeling using molecular dynamics (MD) continues to make significant impacts in the field of biology. It is well known that simulations...
227
click to vote
IPPS
2003
IEEE
16 years 14 days ago
2003
IEEE
Component-based models represent a dominant trend in the construction of wide-area network applications, making possible the integration of diverse functionality contained in modu...
254
click to vote
RTSS
1998
IEEE
15 years 11 months ago
1998
IEEE
The energy efficiency of systems-on-a-chip can be much improved if one were to vary the supply voltage dynamically at run time. In this paper we describe the synthesis of systems-...
209
click to vote
ACSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
Buffer overflow vulnerabilities are caused by programming errors that allow an attacker to cause the program to write beyond the bounds of an allocated memory block to corrupt oth...
235
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Visualization of DNA microarray data in two or three dimensional spaces is an important exploratory analysis step in order to detect quality issues or to generate new ...