1760 search results - page 213 / 352 » Program Analysis Using Weighted Pushdown Systems |
157
click to vote
SCFBM
2008
15 years 4 months ago
2008
Background: Biological imaging is an emerging field, covering a wide range of applications in biological and clinical research. However, while machinery for automated experimentin...
132
click to vote
AOSD
2010
ACM
15 years 12 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
140
Voted
ICS
1999
Tsinghua U.
15 years 9 months ago
1999
Tsinghua U.
Researchers have recently proposed coupling small- to mediumscale multiprocessors to build large-scale shared memory machines, known as multigrain shared memory systems. Multigrai...
146
click to vote
IEEEPACT
2005
IEEE
15 years 10 months ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
163
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access results in a definite cache hit or miss. This unpredictability i...