1926 search results - page 170 / 386 » Modeling and Model Checking Software Product Lines |
154
click to vote
CGF
1998
15 years 6 months ago
1998
In this paper, we present an e cient algorithm for contact determination between spline models. We make use of a new hierarchy, called ShellTree, that comprises of spherical shell...
184
click to vote
ICC
2007
IEEE
16 years 22 days ago
2007
IEEE
With the advent of cognitive radio technology, new paradigms for spectrum access can achieve near-optimal spectrum utilisation by letting each user sense and utilise available s...
156
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
190
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
155
click to vote
WSC
2001
15 years 7 months ago
2001
The purpose of this research was to identify the factors in a wafer fabrication facility that significantly affect the cycle times of two main technologies that are currently in p...