Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(42)
Alberto L. Sangi...
34
Robert Brayton
23
Patrick C. McGeer
12
Luciano Lavagno
12
Kenneth L. McMillan
6
Conferences
(8)
DAC
16
ICCAD
11
ICCAD
5
VLSI Design
2
CAV
1
Journals
(2)
TCAD
6
Applied Mathematics and Computer Science
1
Keywords
(83)
Embed
Subscribe
Academic
Authors
Alexander Saldanha
Edit
Alexander Saldanha
University of California Berkeley
Publications: 55
|
Citations: 1674
|
G-Index: 40
|
H-Index: 18
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Hardware & Architecture
,
Engineering
,
Mathematics
View FAQ about top research area and research interests
Collaborated with
42 co-authors
from 1988 to 2007
; Cited by
1576 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(55)
BibTeX
|
RIS
|
RefWorks
Download
FSM Encoding for BDD Representations
(
Citations: 2
)
Wilsin Gosti
,
Tiziano Villa
,
Alexander Saldanha
,
Alberto L. Sangiovanni-vincentelli
Journal:
Applied Mathematics and Computer Science
, vol. 17, no. 1, pp. 113-124, 2007
A Methodology for Correct-by-Construction Latency-Insensitive Design
(
Citations: 73
)
Luca P. Carloni
,
Kenneth L. Mcmillan
,
Alexander Saldanha
Conference:
International Conference on Computer Aided Design - ICCAD
, 2003
Timing Analysis with Implicitly Specified False Paths
(
Citations: 5
)
Eugene Goldberg
,
Alexander Saldanha
Conference:
VLSI Design
, pp. 518-522, 2000
A methodology for correct-by-construction latency insensitive design
(
Citations: 69
)
Luca P. Carlonit
,
Kenneth L. McMillan
,
Alexander Saldanha
,
Alberto L. Sangiovanni-Vincentelli
Conference:
International Conference on Computer Aided Design - ICCAD
, pp. 309-315, 1999
Functional timing optimization
(
Citations: 2
)
Alexander Saldanha
Conference:
International Conference on Computer Aided Design - ICCAD
, pp. 539-543, 1999
Order by:
Citations
(1674 times by 1382 publications)
Sulfur-metabolizing bacterial populations in microbial mats of the Nakabusa hot spring, Japan
Kyoko Kubo
,
Katrin Knittel
,
Rudolf Amann
,
Manabu Fukui
,
Katsumi Matsuura
Journal:
Microprocessors and Microsystems
, vol. 34, no. 4, pp. 293-302, 2011
Coupling latency-insensitivity with variable-latency for better than worst case design: a RISC case study
Mario R. Casu
,
Stefano Colazzo
,
Paolo Mantovani
Conference:
ACM Great Lakes Symposium on VLSI
, pp. 163-168, 2011
Throughput optimization for latency-insensitive system with minimal queue insertion
Juinn-Dar Huang
,
Yi-Hang Chen
,
Ya-Chien Ho
Conference:
Asia and South Pacific Design Automation Conference - ASP-DAC
, pp. 585-590, 2011
An approximation algorithm for cofactoring-based synthesis
Anna Bernasconi
,
Valentina Ciriani
,
Valentino Liberali
,
Gabriella Trucco
,
Tiziano Villa
Conference:
ACM Great Lakes Symposium on VLSI
, pp. 193-198, 2011
Test Vector Generation for Post-Silicon Delay Testing Using SAT-Based Decision Problems
Desta Tadesse
,
R. Iris Bahar
,
Joel Grodstein
Journal:
Journal of Electronic Testing
, vol. 27, no. 2, pp. 123-136, 2011
Comments