2947 search results - page 395 / 590 » Analyzing Program Analyses |
142
Voted
JUCS
2000
15 years 2 months ago
2000
: This paper presents an evaluation of our Scheduled Dataflow (SDF) Processor. Recent focus in the field of new processor architectures is mainly on VLIW (e.g. IA-64), superscalar ...
155
Voted
SIGMOD
2012
ACM
13 years 5 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...
108
Voted
DAC
2004
ACM
16 years 3 months ago
2004
ACM
The increasing complexity of today's mixed-signal integrated circuits necessitates both top-down and bottom-up system-level verification. Time-domain state-space modeling and...
133
Voted
ICML
2007
IEEE
16 years 3 months ago
2007
IEEE
We describe and analyze a simple and effective iterative algorithm for solving the optimization problem cast by Support Vector Machines (SVM). Our method alternates between stocha...
103
Voted
WWW
2008
ACM
16 years 3 months ago
2008
ACM
The term "Web 2.0" is used to describe applications that distinguish themselves from previous generations of software by a number of principles. Existing work shows that...