7529 search results - page 136 / 1506 » The Modula-3 Type System |
146
click to vote
JOT
2007
15 years 4 months ago
2007
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
129
Voted
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
191
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
261
Voted
GIS
2004
ACM
16 years 5 months ago
2004
ACM
act Model of Three-Dimensional Spatial Data Types Markus Schneider & Brian E Weinrich University of Florida Department of Computer & Information Science & Engineering G...
117
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...