1711 search results - page 28 / 343 » Completing pseudojump operators |
110
click to vote
KBSE
2000
IEEE
15 years 5 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...
111
click to vote
CADE
2006
Springer
15 years 5 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
15 years 6 months 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...
113
click to vote
COMPGEOM
2004
ACM
15 years 5 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...
113
click to vote
GI
2009
Springer
14 years 11 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...