4281 search results - page 114 / 857 » How to Disembed a Program |
121
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
107
Voted
EH
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper reviews the use of genetic programming as an automated invention machine for the synthesis of both the topology and sizing of analog electrical circuits. The paper focu...
132
Voted
CSFW
1998
IEEE
15 years 6 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
135
click to vote
AMAI
2006
Springer
15 years 2 months ago
2006
Springer
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In...
120
Voted
INFORMATICALT
2007
15 years 2 months ago
2007
Internationalization of compilers and localization of programming languages is not a usual phenomenon yet; however, due to a rapid progress of software and programming technologies...