1190 search results - page 23 / 238 » A type and effect system for atomicity |
SIGGRAPH
1993
ACM
13 years 11 months ago
1993
ACM
A physically compact, low cost, high performance 3D graphics accelerator is presented. It supports shaded rendering of triangles and antialiased lines into a double-buffered 24-bi...
CODES
2004
IEEE
13 years 11 months ago
2004
IEEE
High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model c...
ICSE
2007
IEEE-ACM
14 years 1 months ago
2007
IEEE-ACM
We propose an approach to build a changeability assessment model for source code entities. Based on this model, we will assess the changeability of evolving software systems. The ...
FLOPS
1999
Springer
13 years 11 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
CUZA
2004
13 years 7 months ago
2004
We present several significant improvements in the implementation of the quick check pre-unification filter [7] [10], and the potential way in which the design of the quick check [...