4767 search results - page 433 / 954 » Structures for Abstract Rewriting |
189
click to vote
PST
2004
15 years 8 months ago
2004
Syntax-based vulnerability testing is a static black-box testing method for protocol implementations. It involves testing the Implementation Under Test (IUT) with a large number o...
194
click to vote
WSCG
2004
15 years 8 months ago
2004
Accurately and automatically conveying the structure of a volume model is a problem not fully solved by existing volume rendering approaches. Physics-based volume rendering approa...
221
click to vote
NDDL
2003
15 years 8 months ago
2003
Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools...
187
click to vote
ROOM
2000
15 years 8 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
187
click to vote
EUROPAR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. To resolve difficulties in parallel programming, a large number of studies are conducted on parallel skeletons and optimization theorems over skeleton programs. However, ...