1760 search results - page 137 / 352 » Program Analysis Using Weighted Pushdown Systems |
115
click to vote
JTRES
2009
ACM
15 years 8 months ago
2009
ACM
The ScopedMemory class of the RTSJ enables the organization of objects into regions. This ensures time-predictable management of dynamic memory. Using scopes forces the programmer...
115
click to vote
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
As an essential part of in vitro analysis, biological database query has become more and more important in the research process. A few challenges that are specific to bioinformat...
141
Voted
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
128
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
93
Voted
IJCNN
2006
IEEE
15 years 8 months ago
2006
IEEE
—This paper presents the design of an optimal Auxiliary Transient Neurocontroller (ATNC) for the Gate Controlled Series Capacitor (GCSC) in a multi-machine power system. GCSC is ...