2149 search results - page 124 / 430 » Form over Substance |
141
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
Interpreters designed for efficiency execute a huge number of indirect branches and can spend more than half of the execution time in indirect branch mispredictions. Branch target...
127
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...
135
Voted
HYBRID
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
149
click to vote
ACSC
2002
IEEE
15 years 10 months ago
2002
IEEE
Although spreadsheets have been around for over thirty years, we are only just realising their importance. Most companies use spreadsheets in their decision-making processes, but ...
125
Voted
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
Since the advent of the world-wide web, academic researchers have constructed web pages to present a view of themselves, their work, their associations and their interests. This n...