1763 search results - page 188 / 353 » A Formalization of Polytime Functions |
110
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
A common method for constructing a function from a finite set of moments is to solve a constrained minimization problem. The idea is to find, among all functions with the given ...
143
click to vote
ISESE
2006
IEEE
15 years 8 months ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
103
click to vote
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
138
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
119
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: The recent explosion in the availability of complete genome sequences has led to the cataloging of tens of thousands of new proteins and putative proteins. Many of the...