1835 search results - page 165 / 367 » Functional Programming of Behavior-Based Systems |
231
click to vote
PLPV
2011
ACM
14 years 7 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
130
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
135
Voted
WSC
1998
15 years 6 months ago
1998
This paper explores the use of discrete-event simulation for the design and control of physical protection systems for fixed-site facilities housing items of significant value. It...
204
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...
152
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...