Kishinevsky, K.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Lazy transition systems and asynchronous circuit synthesis with relative timing assumptions

Cortadella, J., Kishinevsky, M., Burns, S.M., Kondratyev, A., Lavagno, L., Stevens, K.S., Taubin, A., Yakovlev, A.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2002

Language:

english

File:

PDF, 512 KB

english, 2002

52

Logic decomposition of speed-independent circuits

Kondratyev, A., Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.

Journal:

Proceedings of the IEEE

Year:

1999

Language:

english

File:

PDF, 437 KB

english, 1999

53

Guest Editors' Introduction: GALS Design and Validation

Kishinevsky, M., Shukla, S.K., Stevens, K. S.

Journal:

IEEE Design & Test of Computers

Year:

2007

Language:

english

File:

PDF, 130 KB

english, 2007

54

Modification of glass cell walls by rubidium vapor

Ma, J., Kishinevski, A., Jau, Y.-Y., Reuter, C., Happer, W.

Journal:

Physical Review A

Year:

2009

Language:

english

File:

PDF, 482 KB

english, 2009

55

[ACM Press the International Workshop - San Francisco, California (2012.06.03-2012.06.03)] Proceedings of the International Workshop on System Level Interconnect Prediction - SLIP '12 - Energy-guided exploration of on-chip network design for exa-scale computing

Ogras, Umit Y., Emre, Yunus, Xu, Jianping, Kam, Timothy, Kishinevsky, Michael

Year:

2012

Language:

english

File:

PDF, 1.11 MB

english, 2012

56

Microarchitectural Transformations Using Elasticity

Galceran-Oms, Marc, Gotmanov, Alexander, Cortadella, Jordi, Kishinevsky, Mike

Journal:

ACM Journal on Emerging Technologies in Computing Systems

Year:

2011

Language:

english

File:

PDF, 846 KB

english, 2011

57

Plant-derived visual signals may protect beetle herbivores from bird predators

Tamar Keasar, Miriam Kishinevsky, Avi Shmida…

Journal:

Behavioral Ecology and Sociobiology

Year:

2013

Language:

english

File:

PDF, 395 KB

english, 2013

58

Catalytic Transformation of Carbon Black to Carbon Nanotubes

Kishinevsky, Stanislav, Nikitenko, Sergey I., Pickup, David M., van-Eck, Ernst R. H., Gedanken, Aharon

Journal:

Chemistry of Materials

Year:

2002

Language:

english

File:

PDF, 226 KB

english, 2002

59

[IEEE 2012 Sixth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - Lyngby, Denmark (2012.05.9-2012.05.11)] 2012 IEEE/ACM Sixth International Symposium on Networks-on-Chip - In-network Monitoring and Control Policy for DVFS of CMP Networks-on-Chip and Last Level Caches

Chen, Xi, Xu, Zheng, Kim, Hyungjun, Gratz, Paul, Hu, Jiang, Kishinevsky, Michael, Ogras, Umit

Year:

2012

Language:

english

File:

PDF, 415 KB

english, 2012

60

[IEEE 2010 Fourth ACM/IEEE International Symposium on Networks-on-Chip - Grenoble, France (2010.05.3-2010.05.6)] 2010 Fourth ACM/IEEE International Symposium on Networks-on-Chip - Physical-Aware Link Allocation and Route Assignment for Chip Multiprocessing

Nikitin, Nikita, Chatterjee, Satrajit, Cortadella, Jordi, Kishinevsky, Mike, Ogras, Umit

Year:

2010

Language:

english

File:

PDF, 302 KB

english, 2010

61

[IEEE 2006 IEEE/ACM International Conference on Computer Aided Design - Double Tree Hotel, San Jose, CA,USA (2006.11.5-2006.11.9)] 2006 IEEE/ACM International Conference on Computer Aided Design - Performance analysis of concurrent systems with early evaluation

Julvez, Jorge, Cortadella, Jordi, Kishinevsky, Michael

Year:

2006

Language:

english

File:

PDF, 9.65 MB

english, 2006

62

Estimation of electron potential emission yield dependence on metal and ion parameters

Kishinevsky, L. M.

Journal:

Radiation Effects

Year:

1973

Language:

english

File:

PDF, 370 KB

english, 1973

63

Human iPSC-Based Modeling of Late-Onset Disease via Progerin-Induced Aging

Miller, Justine D., Ganat, Yosif M., Kishinevsky, Sarah, Bowman, Robert L., Liu, Becky, Tu, Edmund Y., Mandal, Pankaj K., Vera, Elsa, Shim, Jae-won, Kriks, Sonja, Taldone, Tony, Fusaki, Noemi, Tomishi

Journal:

Year:

2013

Language:

english

File:

PDF, 5.19 MB

english, 2013

64

[IEEE 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08) - Anaheim, CA, USA (2008.06.5-2008.06.7)] 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design - A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study

Haynal, Steve, Kam, Timothy, Kishinevsky, Michael, Shriver, Emily, Wang, Xinning

Year:

2008

Language:

english

File:

PDF, 682 KB

english, 2008

65

Impulsivity predicts less executive system activation on difficult decisions in obese women performing a delay discounting task

Weller, RE, Murdaugh, D.L, Stoeckel, L.E, Kishinevsky, F.I, Cook, E.W., Cox, J.E

Journal:

Year:

2009

Language:

english

File:

PDF, 137 KB

english, 2009

66

[IEEE 2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09) - Nice (2009.04.20-2009.04.24)] 2009 Design, Automation & Test in Europe Conference & Exhibition - Variable-latency design by function speculation

Baneres, D., Cortadella, J., Kishinevsky, M.

Year:

2009

Language:

english

File:

PDF, 220 KB

english, 2009

67

Toroidally linked mirrors

Strauss, H. R., Friedland, L., Kishinevsky, M.

Journal:

Physics of Fluids

Year:

1985

Language:

english

File:

PDF, 529 KB

english, 1985

68

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - Synchronous Elastic Networks

Krstic, Sava, Cortadella, Jordi, Kishinevsky, Mike, O'Leary, John

Year:

2006

Language:

english

File:

PDF, 419 KB

english, 2006

69

[IEEE 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation - Orlando, FL, USA (12-15 Oct. 1997)] 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation - Application of Petri net unfoldings to asynchronous design

Taubin, A., Kondratyev, A., Kishinevsky, M.

Year:

1997

Language:

english

File:

PDF, 701 KB

english, 1997

70

[IEEE 2006 Design Automation Conference - San Francisco, CA, USA ()] 2006 43rd ACM/IEEE Design Automation Conference - Synthesis of synchronous elastic architectures

Cortadella, J., Kishinevsky, M., Grundmann, B.

Year:

2006

Language:

english

File:

PDF, 5.43 MB

english, 2006

71

[ACM 33rd Design Automation Conference - Las Vegas, NV, USA (3-7 June 1996)] 33rd Design Automation Conference Proceedings, 1996 - Methodology and tools for state encoding in asynchronous circuit synthesis

Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.

Year:

1996

Language:

english

File:

PDF, 474 KB

english, 1996

72

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Scheduling Synchronous Elastic Designs

Carmona, Josep, Julvez, Jorge, Cortadella, Jordi, Kishinevsky, Michael

Year:

2009

Language:

english

File:

PDF, 305 KB

english, 2009

73

[IEEE Comput. Soc. Press Second International Symposium on Advanced Research in Asynchronous Circuits and Systems - Fukushima, Japan (18-21 March 1996)] Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems - Complete state encoding based on the theory of regions

Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.

Year:

1996

Language:

english

File:

PDF, 1.34 MB

english, 1996

74

[IEEE 2007 IEEE/ACM International Conference on Computer-Aided Design - San Jose, CA, USA (2007.11.4-2007.11.8)] 2007 IEEE/ACM International Conference on Computer-Aided Design - A general model for performance optimization of sequential systems

Bufistov, Dmitry, Cortadella, Jord, Kishinevsky, Mike, Sapatnekar, Sachin

Year:

2007

Language:

english

File:

PDF, 663 KB

english, 2007

75

[IEEE 2008 8th International Conference on Application of Concurrency to System Design - Xian, China (2008.06.23-2008.06.27)] 2008 8th International Conference on Application of Concurrency to System Design - Time elastic digital systems and Petri Nets

Kishinevsky, Mike, Cortadella, Jordi

Year:

2008

Language:

english

File:

PDF, 54 KB

english, 2008

76

[IEEE Comput. Soc 1998 International Conference on Application of Concurrency to System Design - Fukushima, Japan (23-26 March 1998)] Proceedings 1998 International Conference on Application of Concurrency to System Design - Identifying state coding conflicts in asynchronous system specifications using Petri net unfoldings

Kondratyev, A., Kishinevsky, M., Taubin, A., Cortadella, J., Lavagno, L., Yakovlev, A.

Year:

1998

Language:

english

File:

PDF, 174 KB

english, 1998

77

[IEEE 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers - San Jose, CA, USA (7-11 Nov. 1999)] 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) - Synthesis of asynchronous control circuits with automatically generated relative timing assumptions

Cortadella, J., Kishinevsky, M., Burns, S.M., Stevens, K.

Year:

1999

Language:

english

File:

PDF, 1013 KB

english, 1999

78

[IEEE Comput. Soc. Press European Design and Test Conference. ED & TC 97 - Paris, France (17-20 March 1997)] Proceedings European Design and Test Conference. ED & TC 97 - Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis

Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.

Year:

1997

Language:

english

File:

PDF, 847 KB

english, 1997

79

[IEEE Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) - San Jose, CA, USA (1997.11.13-1997.11.13)] Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ICCAD-97 - Decomposition and technology mapping of speed-independent circuits using Boolean relations

Cortadella,, Kishinevsky,, Kondratyev,, Lavagno,, Pastor,, Yakovlev,

Year:

1997

Language:

english

File:

PDF, 1.05 MB

english, 1997

80

Novel technology for non-invasive thoracic fluid measurement: an animal model comparative study

G Karp,M Jonas,T Mandelbaum,E Kishinevsky,N Adi

Journal:

Critical Care (BioMed Central)

Year:

2014

Language:

english

File:

PDF, 4.84 MB

english, 2014

81

[IEEE 1999 Design Automation Conference - New Orleans, LA, USA (21-25 June 1999)] Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) - Automatic synthesis and optimization of partially specified asynchronous systems

Kondratyev, A., Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.

Year:

1999

Language:

english

File:

PDF, 693 KB

english, 1999

82

[IEEE Comput. Soc. Press European Conference on Design Automation. - Amsterdam, Netherlands (25-28 Feb. 1991)] Proceedings of the European Conference on Design Automation. - Formal method for self-timed design

Kishinevsky, M.A., Kondratyev, A.Y., Taubin, A.R.

Year:

1991

Language:

english

File:

PDF, 435 KB

english, 1991

83

[Nihon Gakkai Jimu Senta ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair - Chiba, Japan (29 Aug.-1 Sept. 1995)] Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair - On hazard-free implementation of speed-independent circuits

Kondratyev, A., Kishinevsky, M., Yakovlev, A.

Year:

1995

Language:

english

File:

PDF, 892 KB

english, 1995

84

xMAS: Quick Formal Modeling of Communication Fabrics to Enable Verification

Chatterjee, Satrajit, Kishinevsky, Michael, Ogras, Umit Y.

Journal:

IEEE Design & Test of Computers

Year:

2012

Language:

english

File:

PDF, 503 KB

english, 2012

85

[IEEE 2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012) - Arlington, VA, USA (2012.07.16-2012.07.17)] Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) - Compositional performance verification of NoC designs

Holcomb, Daniel E., Gotmanov, Alexander, Kishinevsky, Michael, Seshia, Sanjit A.

Year:

2012

Language:

english

File:

PDF, 1.56 MB

english, 2012

86

In-network monitoring and control policy for DVFS of CMP networks-on-chip and last level caches

Chen, Xi, Xu, Zheng, Kim, Hyungjun, Gratz, Paul, Hu, Jiang, Kishinevsky, Michael, Ogras, Umit

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2013

Language:

english

File:

PDF, 1.61 MB

english, 2013

87

[IEEE Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) - San Jose, CA, USA (1997.11.13-1997.11.13)] Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ICCAD-97 - Partial scan delay fault testing of asynchronous circuits

Kishinevsky,, Kondratyev,, Lavagno,, Saldanha,, Taubin,

Year:

1997

Language:

english

File:

PDF, 1.07 MB

english, 1997

88

[IEEE 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2013.11.18-2013.11.21)] 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Managing mobile platform power

Ogras, Umit Y., Ayoub, Raid Z., Kishinevsky, Michael, Kadjo, David

Year:

2013

Language:

english

File:

PDF, 707 KB

english, 2013

89

Nanosecond spark calibrator for Thomson scattering system

Kishinevsky, M., Wukitch, S.

Journal:

Review of Scientific Instruments

Year:

1995

Language:

english

File:

PDF, 586 KB

english, 1995

90

Alfvén ion–ion hybrid wave heating in the Phaedrus-T tokamak

Intrator, T., Probert, P. H., Vukovic, M., Wukitch, S., Elfimov, A., Durst, R., Breun, R. A., Brouchous, D., Diebold, D., Doczy, M., Fonck, R., Hershkowitz, N., Kishinevsky, M., Litwin, C., Majeski, R

Journal:

Physics of Plasmas

Year:

1996

Language:

english

File:

PDF, 396 KB

english, 1996

91

Rhizobium strain identification in Arachis hypogaea nodules by enzyme-linked immunosorbent assay (ELISA)

Kishinevsky, B., Bar-Joseph, M.

Journal:

Canadian Journal of Microbiology

Year:

1978

Language:

english

File:

PDF, 442 KB

english, 1978

92

Use of unresolved transition arrays for plasma diagnostics

Zigler, A., Givon, M., Yarkoni, E., Kishinevsky, M., Goldberg, E., Arad, B., Klapisch, M.

Journal:

Physical Review A

Year:

1987

Language:

english

File:

PDF, 474 KB

english, 1987

93

Experimental Evidence of Low Frequency Current Drive in the Phaedrus-T Tokamak

Wukitch, S., Vukovic, M., Breun, R., Brouchous, D., Diebold, D. A., Doczy, M., Elfimov, A., Edgell, D., Hershkowitz, N., Intrator, T., Kishinevsky, M., Litwin, C., Moroz, P., Probert, P.

Journal:

Physical Review Letters

Year:

1995

Language:

english

File:

PDF, 246 KB

english, 1995

94

[IEEE 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Grenoble, France (2010.07.26-2010.07.28)] Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Elastic systems

Cortadella, Jordi, Galceran-Oms, Marc, Kishinevsky, Mike

Year:

2010

Language:

english

File:

PDF, 576 KB

english, 2010

95

[IEEE International Conference on Plasma Science (papers in summary form only received) - Madison, WI, USA (1995.06.5-1995.06.8)] International Conference on Plasma Science (papers in summary form only received) - Experimental evidence of low frequency current drive in the Phaedrus-T tokamak

Wukitch, S., Vukovic, M., Breun, R., Brouchous, D., Diebold, D.A., Doczy, M., Elfimov, A., Edgell, D., Hershkowitz, N., Intrator, T., Kishinevsky, M., Litwin, C., Moroz, P., Probert, P.

Year:

1995

Language:

english

File:

PDF, 119 KB

english, 1995

96

Alfvén wave experiments in the Phaedrus-T tokamak

Majeski, R., Probert, P., Moroz, P., Intrator, T., Breun, R., Brouchous, D., Che, H. Y., DeKock, J. R., Diebold, D., Doczy, M., Fonck, R., Hershkowitz, N., Johnson, R. D., Kishinevsky, M., McKee, G.,

Journal:

Physics of Fluids B Plasma Physics

Year:

1993

Language:

english

File:

PDF, 945 KB

english, 1993

97

[IEEE 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2010.11.7-2010.11.11)] 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Symbolic performance analysis of elastic systems

Galceran-Oms, Marc, Cortadella, Jordi, Kishinevsky, Mike

Year:

2010

Language:

english

File:

PDF, 616 KB

english, 2010

98

[IEEE International Conference on Plasma Science (papers in summary form only received) - Madison, WI, USA (1995.06.5-1995.06.8)] International Conference on Plasma Science (papers in summary form only received) - A tokamak with inclined toroidal field coils

Moroz, P.E., Brouchous, D., Kishinevsky, M., Breun, R., Hershkowitz, N., Georgievskij, A.V.

Year:

1995

Language:

english

File:

PDF, 117 KB

english, 1995

99

[IEEE Comput. Soc. Press 1994 IEEE Symposium on Advanced Research in Asynchronous Circuits and Systems - Salt Lake City, UT, USA (3-5 Nov. 1994)] Proceedings of 1994 IEEE Symposium on Advanced Research in Asynchronous Circuits and Systems - Characterizing speed-independence of high-level designs

Kishinevsky, M., Staunstrup, J.

Year:

1994

Language:

english

File:

PDF, 928 KB

english, 1994

100

[IEEE Comput. Soc. Press Third International Symposium on Advanced Research in Asynchronous Circuits and Systems - Eindhoven, Netherlands (7-10 April 1997)] Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems - Technology mapping for speed-independent circuits: Decomposition and resynthesis

Kondratyev, A., Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.

Year:

1997

Language:

english

File:

PDF, 1.49 MB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски