2777 search results - page 275 / 556 » Example centric programming |
140
Voted
ESOP
2010
Springer
15 years 6 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
117
Voted
ESEM
2009
ACM
15 years 6 months ago
2009
ACM
The goal of this work is to visualize inheritance in objectoriented programs to help its comprehension. We propose a single, compact view of all class hierarchies at once using a ...
141
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Multi-core processors, with low communication costs and high availability of execution cores, will increase the use of execution and compilation models that use short threads to e...
140
click to vote
CPAIOR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
138
Voted
DASFAA
2008
IEEE
15 years 5 months ago
2008
IEEE
We study a novel problem of mining significant recurrent rules from a sequence database. Recurrent rules have the form "whenever a series of precedent events occurs, eventuall...