36320 search results - page 195 / 7264 » From Code to Models |
155
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
150
click to vote
IWPC
2006
IEEE
16 years 15 days ago
2006
IEEE
For many enterprises, reacting to fast changes to their business process is key to maintaining their competitive edge in the market. However, developers often must manually locate...
156
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
Reduction is a common component of many applications, but can often be the limiting factor for parallelization. Previous reduction work has focused on detecting reduction idioms a...
179
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Most gene finders score candidate gene models with state-based methods, typically HMMs, by combining local properties (coding potential, splice donor and acceptor patt...
149
click to vote
FMCO
2007
Springer
16 years 19 days ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...