6020 search results - page 974 / 1204 » A New Approach to Model Counting |
161
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper discusses a technique to model software patternsfor supporting pattern based software development. Software development can be considered as the evolution of the artifa...
156
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. Conventional performance environments are based on pro ling and event instrumentation. It becomes problematic as parallel systems scale to hundreds of nodes and beyond. A...
180
click to vote
ICDCS
1996
IEEE
15 years 10 months ago
1996
IEEE
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...
179
click to vote
HPDC
1993
IEEE
15 years 10 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
168
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
We present a new particle-based approach to sampling and controlling implicit surfaces. A simple constraint locks a set of particles onto a surface while the particles and the sur...