3500 search results - page 481 / 700 » Implementing Java on Clusters |
134
Voted
OOPSLA
2010
Springer
15 years 18 days ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
124
click to vote
PPDP
2010
Springer
15 years 18 days ago
2010
Springer
We show how to achieve typed and unambiguous declarative pattern matching on strings using regular expressions extended with a simple recording operator. We give a characterizatio...
146
Voted
SEKE
2010
Springer
15 years 17 days ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
125
click to vote
SPIN
2010
Springer
15 years 17 days ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
128
click to vote
TVCG
2010
15 years 17 days ago
2010
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...