26151 search results - page 72 / 5231 » Parameterized system design |
193
click to vote
CASCON
1992
15 years 6 months ago
1992
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...
166
click to vote
HASKELL
2008
ACM
15 years 6 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
155
click to vote
ICIP
1994
IEEE
16 years 7 months ago
1994
IEEE
We describe the implementation of a graphical programming tool in the object-oriented language, Smalltalk80, that allows a user to construct a radiographic measurement model. The ...
155
click to vote
FMSD
2000
15 years 5 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
132
click to vote
UIST
1995
ACM
15 years 9 months ago
1995
ACM
This paper exploresthe useof visualoperatorsfor solidsmodeling. We focus on designing interfaces for free-form operators such as blends, sweeps, and deformations, because these op...