4061 search results - page 178 / 813 » Framework Evolution Tool |
175
Voted
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
125
click to vote
JUCS
2010
14 years 10 months ago
2010
: Semantic wikis have been regarded as an important collaboration tool among a number of experts from multiple domains. This wiki platform can play a role of collaborative knowledg...
189
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Different materials reflect light in different ways, and reflectance
interacts with shape, lighting, and viewpoint to
determine an object’s image. Common materials exhibit dive...
138
click to vote
PADL
2005
Springer
15 years 9 months ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
116
Voted
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...