1071 search results - page 117 / 215 » Programming with enumerable sets of structures |
110
click to vote
FLOPS
2006
Springer
15 years 6 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
113
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
132
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Many classes of images have the characteristics of sparse structuring of statistical dependency and the presence of conditional independencies among various groups of variables. S...
140
click to vote
ECOOP
1999
Springer
15 years 7 months ago
1999
Springer
We discuss aspects of inlining of virtual method invocations. First, we introduce a new method test to guard inlinings of such invocations, with a di erent set of tradeo s from the...
125
Voted
ENTCS
2007
15 years 2 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...