314 search results - page 56 / 63 » Generating Path Conditions for Timed Systems |
SIGGRAPH
1995
ACM
13 years 11 months ago
1995
ACM
Most recent rendering research has concentrated on two subproblems: modeling the reflection of light from materials, and calculating the direct and indirect illumination from lig...
CASCON
1992
13 years 8 months ago
1992
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper we present QOMB, a testbed we designed and implemented for the evaluation of wireless network systems, protocols and applications. The testbed uses the wireless ne...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
EDBT
2010
ACM
13 years 11 months ago
2010
ACM
Recently, there has been growing interest in random sampling from online hidden databases. These databases reside behind form-like web interfaces which allow users to execute sear...