5591 search results - page 271 / 1119 » Design patterns: between programming and software design |
200
click to vote
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
133
click to vote
PEPM
2007
ACM
15 years 11 months ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
139
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
153
click to vote
ECLIPSE
2006
ACM
15 years 11 months ago
2006
ACM
Recent research has shown that developers spend significant amounts of time navigating around code. Much of this time is spent on redundant navigations to code that the developer ...
154
click to vote
HPCA
2009
IEEE
16 years 6 months ago
2009
IEEE
Heterogeneous multicores, such as Cell BE processors and GPGPUs, typically do not have caches for their accelerator cores because coherence traffic, cache misses, and latencies fr...