MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Bounded Specifications." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

764 documents found, showing 1 through 10. Next 10 →

ATOM

On Bounded Specifications
by Orna Kupferman, Moshe Y. Vardi — 2002 — In Proc. of the Int. Conference on Logic for Programming and Automated Reasoning (LPAR’01), LNAI
…On Bounded Specifications Orna Kupferman 1? and Moshe Y. Vardi 2?? 1 Hebrew University, School…
Cited by 9 (4 self) – Add To MetaCart

Improved Resolution Lower Bounds for the Weak Pigeonhole Principle
by Alexander A. Razborov — 2001 — Electronic Colloquium on Computational Complexity
… numerical bounds. Specifically, we show that every resolution proof of PHP m n must have size exp \Gamma…
Cited by 14 (2 self) – Add To MetaCart

SET-MEMBERSHIP ADAPTIVE FILTERING WITH PARAMETER-DEPENDENT ERROR BOUND TUNING
by unknown authors
… considers set-membership filtering (SMF) when the error-bound specification is hard to determine. Improper…
Add To MetaCart

Astrolabe: A Robust and Scalable Technology for Distributed System Monitoring, Management, and Data Mining
by Robbert Van Renesse, Kenneth P. Birman, Werner Vogels — 2001 — ACM Transactions on Computer Systems
… zones to avoid confusion, and associates attributes with each zone. Unlike DNS, zones are not bound…
Cited by 205 (10 self) – Add To MetaCart

On-demand bound computation for best-first constraint optimization
by Martin Sachenbacher, Brian C. Williams — 2004 — In Proc. International Conference on Principles and Practice of Constraint Programming
…On-demand Bound Computation for Best-First Constraint Optimization Martin Sachenbacher and Brian C…
Cited by 4 (3 self) – Add To MetaCart

T.: Monitoring and Instrumentation Requests for Fortran, Java, C and C++ Programs
by Clovis Seragiotto, Hong-linh Truong, Michael Gerndt, Tianchao Li, Technische Universität München, Thomas Fahringer, Bernd Mohr, Forschungszentrum Jülich Gmbh — 2004
…. Commonly instrumentation engines are often bound to specific compilers for specific programming languages…
Cited by 1 (1 self) – Add To MetaCart

Monitoring and Instrumentation Requests for Fortran, Java, C and C++ Programs
by Apart Workpackage Http, Clovis Seragiotto, Hong-linh Truong, Michael Gerndt, Tianchao Li, Technische Universität München, Thomas Fahringer, Bernd Mohr, Forschungszentrum Jülich Gmbh — 2004
…. Commonly instrumentation engines are often bound to specific compilers for specific programming languages…
Add To MetaCart

Lyapunov Stability of a Tracking Filter with the Uncertainty of Measurement Origin
by Yong-Shik Kim Keum-Shik, Keum-shik Hong
… and observation noises are bounded, specific tracking error bounds are established. Keywords: Target tracking…
Add To MetaCart

Two new bounds for the random-edge simplex algorithm
by Bernd Gärtner, Volker Kaibel — 2005
…. We also describe a refined analysis that potentially yields much better bounds for specific classes…
Cited by 1 (0 self) – Add To MetaCart

On Bounding-Schemas for LDAP Directories
by Sihem Amer-yahia, H. V. Jagadish, Laks V. S. Lakshmanan, Divesh Srivastava, Divesh — 1999
… and upper bound specifications for the content and structure of an LDAP directory. Given a bounding…
Cited by 5 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB