1522 search results - page 23 / 305 » Practical Exception Specifications |
109
click to vote
ICCD
1992
IEEE
15 years 1 months ago
1992
IEEE
Current synthesis methodologies based on hardwaredescription languages focus mainly on two distinct levels: behavior and register-transfer levels. In many practical cases, however...
CVPR
2004
IEEE
15 years 11 months ago
2004
IEEE
The problem of deciding whether two pixels in an image have the same real world color is a fundamental problem in computer vision. Many color spaces are used in different applicat...
ELPUB
2006
ACM
15 years 3 months ago
2006
ACM
Open access publishing strategies have traditionally been directed towards what has been regarded as a homogenous scientific community of universities, researchers and libraries. ...
FDL
2003
IEEE
15 years 2 months ago
2003
IEEE
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
68
Voted
CADE
2006
Springer
15 years 1 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...