4081 search results - page 44 / 817 » The Impact of Constraint Programming |
CP
2003
Springer
14 years 1 months ago
2003
Springer
SEW
2003
IEEE
14 years 1 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
ENTCS
2002
13 years 8 months ago
2002
We describe a linear channel inference system for the TyCO programming language, where channel usage is tracked through method invocations as well as procedure calls. We then appl...
VLSID
2005
IEEE
14 years 8 months ago
2005
IEEE
In this paper, we have studied and compared the RF performance metrics, unity gain frequency (ft) and Noise Figure (NF), of the devices with channel engineering consisting of halo...
JMLR
2010
13 years 3 months ago
2010
Security analysis of learning algorithms is gaining increasing importance, especially since they have become target of deliberate obstruction in certain applications. Some securit...