1711 search results - page 13 / 343 » Completing pseudojump operators |
ESA
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We describe a data structure for three-dimensional Nef complexes, algorithms for boolean operations on them, and our implementation of data structure and algorithms. Nef ...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
CP
2007
Springer
14 years 1 months ago
2007
Springer
Probabilistic Choice Operators (PCOs) are convenient tools to model uncertainty in CP. They are useful to implement randomized algorithms and stochastic processes in the concurrent...
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
A control part ? data path partition based sequential circuit verification scheme aimed at avoiding state explosion comprises two major modules namely, a data path verifier and a ...
EUROPAR
2007
Springer
14 years 1 months ago
2007
Springer
STL dictionaries like map and set are commonly used in C++ programs. We consider parallelizing two of their bulk operations, namely the construction from many elements, and the ins...