1711 search results - page 28 / 343 » Completing pseudojump operators |
KBSE
2000
IEEE
13 years 11 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
CADE
2006
Springer
13 years 11 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
ASYNC
1997
IEEE
14 years 1 days ago
1997
IEEE
This paper presents an in-depth case study in highperformance asynchronous adder design. A recent method, called “speculative completion”, is used. This method uses single-rai...
COMPGEOM
2004
ACM
13 years 11 months ago
2004
ACM
The Bentley-Ottmann sweep-line method can be used to compute the arrangement of planar curves provided a number of geometric primitives operating on the curves are available. We d...
GI
2009
Springer
13 years 5 months ago
2009
Springer
: Over the last years the telecommunications industry has shifted from technology driven and incumbent operators to business driven service providers. There is a need for mature, c...